『関数型プログラミング勉強会 shinosaka.hs #4』に参加した。

「ラムダ計算と型システムについて」といういかにもデカすぎるテーマだった。ラムダ計算の基本っぽいのを聞いたり、ワイワイ言いながら問題を解いてみたりした。

主催者が大阪から離れてしまうようなので、当分なさそう。うーん。次に開催するころにはいい感じに Haskell を使えているといいな。