Creatable a => a -> IO b

Haskellと数学とちょびっと音楽

2014-12-01から1ヶ月間の記事一覧

ハトクラモナドをごにょごにょ - モナドで問題をどう解決するか

ボドゲ楽しいよね。 最近、家族で遊べないかなぁと思ってドミニオンの標準パックを買ってみたところ、 わりと好評だったのでほくほくしてます。 はい、てなわけで、ちゅーんさんですおばんです。 さて、今日ははる君(@haru2036)が書いた、ハトクラのモナドの…

型「の」計算にレッツチャレンジ

はいどーも、ちゅーんさんです。 最近「楽園追放」見てきたのですが、楽しかったです。(小学生並のry いやあの、普通に良作でしたので、興味のある方なんかは、是非劇場で見に行くと良いと思います。 ハデだし。 いえい はい、で、この記事はあれです。 H…