ekmett勉強会 #ekmett_conf

PAB@おくみんの妹 @pab_tech

Scalazでは、ArrowはProfunctorを継承してるな。 #ekmett_conf

XENO @xenophobia__

ちゅーんさんによるControl.Lensの発表！ #ekmett_conf

XENO @xenophobia__

Lens: データ型へのアクセサを得るためのライブラリ #ekmett_conf

XENO @xenophobia__

タプルの例だけ考えても、複雑にネストした構造にアクセスするのは普通に書くとものすごく煩雑。 #ekmett_conf

XENO @xenophobia__

ほんとだ3.9.0.2だ。 #ekmett_conf

パスフィアイコンの人 @pasberth

#ekmett_conf アップデート速すぎるのぜ

しょこす @shokos

おー！タプルが便利に扱える方法知りたかった！ #ekmett_conf

ねこはる @halcat0x15a

LensといえばClojureですね。 #ekmett_conf

Hideyuki Tanaka @tanakh

Lensによるスライドの最新版のバージョンがすでに古い！ #ekmett_conf

XENO @xenophobia__

タプルtへのアクセスがt^._1、t^._2とかでできる。 #ekmett_conf

nushio @nushio

#ekmett_conf にリアルあるいはリモートでご参加の方にはIRCチャンネル　#haskell-lens　もおすすめ　ekmett本人がいます

ふみ (DJ Monad) @fumieval

_1～_9でタプルの内部に簡単にアクセス #ekmett_conf

XENO @xenophobia__

^._1^._2で「1つめの要素の2つめの要素」にアクセスしたりできて便利 #ekmett_conf

でこすけ @dekosuke

ekmettさんの言葉に対して一言返したほうがいいと思う（彼が日本語分からないとすると） #ekmett_conf

Nebuta @nebutalab

Lensのアクセサ、バウンダリーチェックはされるのでしょうか。 #ekmett_conf

パスフィアイコンの人 @pasberth

#ekmett_conf Prelude Control.Lens> (1,2,(3,4,(5, 6, 7)))^._3._3._3 7

XENO @xenophobia__

タプルに対してはバウンダリチェックされますね。型エラーになる。 #ekmett_conf

パスフィアイコンの人 @pasberth

#ekmett_conf ちゅーんさんイケメンだな

ねこはる @halcat0x15a

TemplateHaskellと組み合わせるのか。 Scalaだとマクロと組み合わせる例がありますね。 #ekmett_conf

XENO @xenophobia__

データ型に対するLensはTHで自動作成できる。 #ekmett_conf

ruichi @ruicc

THでトップレベルの展開にはsplice$()が要らない #ekmett_conf

パスフィアイコンの人 @pasberth

#ekmett_conf fmap!

Seizan Shimazaki @seizans

資料、後ろの席からだとスライドの下方が見えないので事前共有してもらえると助かります #ekmett_conf

パスフィアイコンの人 @pasberth

#ekmett_conf おおお

ふみ (DJ Monad) @fumieval

GetterもSetterも、片方はCPSにし、もう片方はIdで包むことによって一つの関数に一般化できる！ #ekmett_conf