2012年9月3日深夜〜早朝の #Scalaz

部分レンズはどう使うのだろう。 orElse的なものがあるのかな。

2012-09-03 03:41:27

ねこはる先生が argonaut 選んで、LensとPartialLensに目覚めてきて面白い展開になってきたw 流石や…

2012-09-03 03:41:35

あー Optionで返るだけかな。

2012-09-03 03:42:39

たしか、scalaz作者の人が書いたLensの論文というかpdfのdocumentあったはずなので、自分ももう一回読み直そう

2012-09-03 03:43:54

部分って単語で思ったけど、LensはCategoryなのか。

2012-09-03 03:44:31

LensはStateモナドの文脈で便利なシンタックスを提供してくれるもの程度にしか使ってなかったからLens同士の合成とかイメージ湧かない。

2012-09-03 03:47:15

@halcat0x15a 複雑なデータ構造上で合成すると良いかなとか。順序木とかで、たとえば「Child(n): n番目の子供」ってのを合成するとChild(1) andThen Child(2)とかで木をもぐって特定のノードだけにフォーカスするLensができるとか。

2012-09-03 03:52:03

type JsonField = String

2012-09-03 03:53:10

Bidirectional Lensとかってなんなの。。。よぉしパパ勉強しちゃうもんね〜〜！って子供は居ないんですが^^; http://t.co/ITMwXP1q

2012-09-03 03:54:52

@halcat0x15a そうですそうです。それをgetしたり、setしたりできるLensになるってことですね。

2012-09-03 03:56:01

@halcat0x15a いえいえ！絡みたいのになかなか追いつけないのが申し訳なく＞＜ scala-machineも面白いですよね！

2012-09-03 03:58:02

@everpeace おぉここにもscala-machine仲間が(?)自分もIterateeさえまだよくわかってないけど、面白そうですよねあれ

2012-09-03 04:02:05

PLens# :=を使うとPStateが返るのか。

2012-09-03 04:02:32

type PState[A, B] = StateT[Id, A, Option[B]]

2012-09-03 04:03:51

StateT[Option, A, B]を予想してた。

2012-09-03 04:04:16

ただのStateモナドか・・・・ Optionをどう処理するんだろう。

2012-09-03 04:05:01

@xuwei_k 仲間に入れていただけるなら光栄です！@halcat0x15a さん含めいつも面白いネタいただいてますm(-_-)m scala-machine 面白いです！Iterateeより、もうちょっと「計算」に寄っている感じがして。今はAutomaton作ってみてます。

2012-09-03 04:06:12

あーなんかどこでもいいから、ふらっと海外旅行に行って、海外のScalaistと交流したいわー

2012-09-03 04:06:45

ムズイ・・・ OptionとかStateになる前にLensでどうにかするのだろうけど・・・・

2012-09-03 04:13:15

@halcat0x15a 飽きさせてくれない、はそうですよねー　ただ追いつけないのがもどかしい^^;

2012-09-03 04:15:46

深夜の異常なScalaz率

2012-09-03 04:22:24

頭がパンクしてた。うむ、簡単だ。

2012-09-03 04:22:33

Partial Lensって例えば木のあるノードに対する"n番目の子"ってLensはPartial Lensなんだな。居るかどうかわかんないもんね。Node=>Option[Node]ならPartialじゃなくなるのかな。

2012-09-03 04:24:30

簡単だと…なにを言っているんだ…

2012-09-03 04:25:50