コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2018-09-13 to 1 day

IdrisでStateモナド

本記事では、関数型言語に触れているよくでてくる モナド について書きます。 Stateモナドを数学的に実装する Idrisでやってみた。 Control.Monad.Stateにもある。そこではモナド変換子として実装されている。 module MyState %default total -- %language E…