『関数型プログラミング勉強会 shinosaka.hs #4』に参加した。 「ラムダ計算と型システムについて」といういかにもデカすぎるテーマだった。ラムダ計算の基本っぽいのを聞いたり、ワイワイ言いながら問題を解いてみたりした。 主催者が大阪から離れてしまう…