shinosaka.hs

shinosaka.hsは関数型言語全般に関する活動を行う大阪のコミュニティです。

関数型を盛り上げていきましょーヽ(○´∀｀)人(´∀｀○)ﾉ

内容

今回は関数型プログラミングの基礎理論の一部である、ラムダ計算と型システムについてみんなで勉強しようと思います。できるだけ数学的な証明は抜きで、haskellを用いて緩い感じで説明する予定です。

LT募集！

ライトニングトークをしてみたい方がいらっしゃいましたら@techno_tanoCまでお願いします。内容はhaskellに限らず、関数型言語や関数型プログラミングに関わるものなら何でもOKです。

持参するもの

ノートパソコン

事前にStackのセットアップを行っていただけるとありがたいです。

会場に電源、WiFiあります。

本番(a.k.a 飲み会)

17:00から付近で任意参加の飲み会を行います。