2025/1/18 λ Kansai in Winter 2025
https://gyazo.com/9edf90f448c504e01804d41c94170b99
λ Kansai in Winter 2025 - connpass
λ Kansai
13人ぐらい？
普通にちゃんとレベル高くてよかったmrsekut.icon*2
Haskellで抽象的なプログラムを書く練習をする
mrsekut (まる) (@mrsekut)
2025/1/18 Haskellで抽象的なプログラムを書く練習をする @λ Kansai
1分オーバーぐらいだったmrsekut.icon
日本語プログラミング言語Nuko
@kmizu(kmizu)
自作プログラミング言語
日本語っぽくかける
https://github.com/kmizu/nuko
SComb
scombというparser combinatorを自作して使っているらしい
parser combinatorの自作いいなあmrsekut.icon
https://github.com/kmizu/scomb
LT
@kakkun61
モナドドリル
https://slide.kakkun61.com/monad-drill-help/#1
https://gyazo.com/cf1ba85afaebdd71785ff9ed6f684b86
いいmrsekut.icon
OCaml を始めるには時期が良い
yuki(@lmdexpr
https://github.com/lmdexpr/slides/blob/main/2025-01-18_about-recently-ocaml/about-recently-ocaml.pdf
Haskellの型推論は闇に堕ちてる、くさmrsekut.icon
これが面白いらしい
https://discuss.ocaml.org/t/io-monad-for-ocaml/4618/11
https://gyazo.com/73ca1ae3f7f983353cdc5a1ec2e97592
いい発表だmrsekut.icon*2
https://gyazo.com/f033ce3eeb04483212655259a70145b3
5.3でもめっちゃ変わったらしい
syntaxが簡潔になった
https://gyazo.com/631d97b0390fba7a333e92697efb4a6d
play groundの例が面白いらしい
https://ocaml.org/play
Kokaやるより、Ocamlで練習したほうが良さそう？mrsekut.icon
しかし、OCamlのEffectにはまだ型がついてないらしい、ガーン
github上でスライドの最後の方読み込めないが最後の方に良い資料のURLがあった
後で見ておこう
ocaml公式のalgebraic effectsの解説があったような？
『OCaml Programming: Correct + Efficient + Beautiful』
Pythonでdo記法
@usabarashi
Pythonで鉄道思考プログラミングの人
なんかPythonの知らない記法がいっぱい出てくるなmrsekut.icon
generatorでdo記法っぽいことするのってあるあるなんだなmrsekut.icon
effect-tsとか
https://github.com/usabarashi/pycategory
代数的データ型
@kotolabdev
主催の方
ホワイトボードで即興