Creatable a => a -> IO b

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

2015-02-03から1日間の記事一覧

「圏論を学んで得られる事、得られない事」に対する補足

はいどうも、萌え豚にはなるまいと思っていた数年前の自分はどこへやら、今ではゆゆ式が生きがいのちゅーんさんです。 以前 プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b こんな感じの記事を書きました所、主…