くー

サーバーサイドエンジニア(Scala)。
型の表現力が豊かな言語とすみっコぐらしとじんべえさんが好きです。

[くー @l955a6]

Lazy Kだ... #fp_matsuri_b

[くー @l955a6]

ラムダ計算では多引数計算は λx. λy. Mのように表せる #fp_matsuri_b

[くー @l955a6]

`add = (+)` #fp_matsuri_b

[くー @l955a6]

抽象と適用 #fp_matsuri_b

[くー @l955a6]

動的型付け言語を正当化するための活動 #fp_matsuri_b

[くー @l955a6]

Nixのセッション行くかラムダ計算のセッションに行くか悩む #fp_matsuri

[くー @l955a6]

どっちかというと純粋な関数の枠組みで純粋でない計算をやるという捉え方だったなぁ #fp_matsuri_a

[くー @l955a6]

Scalaも`_ <- someEffect()`とかみたいに明示的に捨てなくてよくなると嬉しいが... #fp_matsuri_a

[くー @l955a6]

異常を表す型を共通の持ち上げる話とか出てくるのかな？ #fp_matsuri_a

[くー @l955a6]

やっぱりFP in Scalaにもちょろっと出てきたTheorems for Free!の話だったか #fp_matsuri_a

[くー @l955a6]

関数関係難しいな... #fp_matsuri_a

[くー @l955a6]

Parametricityに住む人 #fp_matsuri_a

[くー @l955a6]

Theorems for Free!あたりの話だろうか #fp_matsuri_a

[くー @l955a6]

マイナー言語を実際に使っている話はなんぼあってもいいですからね #fp_matsuri_c

[くー @l955a6]

- 元の関数の性質の証明を書く
- 新しい実装を書いて、それが元の関数と等しいことを証明する
- 元の関数の性質の証明が新しい実装の関数にも適用できる
#fp_matsuri_b

[くー @l955a6]

リファクタなんかもうまいこと自動でできたりするのかな #fp_matsuri_a

[くー @l955a6]

最近人気のLeanの話 #fp_matsuri_a

[くー @l955a6]

ValidationとかSTLに入っているのいいなぁ #fp_matsuri_a

[くー @l955a6]

Haskellの小文字から型の名前を始めれば型パラメータになるっていう仕様すき #fp_matsuri_a

[くー @l955a6]

FP in Scala、個人的には「『Theorems for Free!(https://t.co/M4pfIqiedC)』を読んできて〜について考えなさい」みたいな演習問題が一番そんな無茶な...と思った #fp_matsuri_a