Entries from 2022-10-12 to 1 day
CPL で Stateモナド を作ってみた。ちゃんと出来てるかどうかは分からない。 参考記事 圏論プログラミング言語CPL入門 - うさぎ小屋 コード # State Monad # newtype State s a = State { runState :: s -> (s, a) } right object State(S, A) with state is…
CPL で Stateモナド を作ってみた。ちゃんと出来てるかどうかは分からない。 参考記事 圏論プログラミング言語CPL入門 - うさぎ小屋 コード # State Monad # newtype State s a = State { runState :: s -> (s, a) } right object State(S, A) with state is…