Rustでもモナドは実装できるのか？（再） - Don't Repeat Yourself

2020/12/25 6 users モナド rust Don't Repeat Yourself

この記事は言語実装Advent Calendar 2020 25日目の記事です。 前提知識 高階カインド型 モナド 従来のエミュレーション方法 Generic Associated Types を用いたエミュレーション（new!） 型クラスを定義する Functor を用意する Pointed を用意する Applicative を用意する Monad を用意する いくつか型を実装していく ... 続きを読む

GHC Generic Programming と代数的データ型 - khibino blog

2017/12/26 15 users 代数的データ型 直和 記述 エントリー 構造

2017 - 12 - 26 GHC Generic Programming と代数的データ型 Haskell Advent Calendar 2016 の 12日目のエントリーです。 代数的データ型と Functor Generic Programming は代数的データ型の構造を Functor の直積と直和のネスト構造に対応付けることで、 任意の代数的データ型に対する操作の記述を可能にする仕... 続きを読む

Freeモナド in Scala - ( ꒪⌓꒪) ゆるよろ日記

2012/11/16 37 users Freeモナド Haskell よろ日記 モナド Scala

2012-11-16 Freeモナド in Scala scalaz scala 関数型言語 haskell 噂のFreeモナドをScalaで写経してみた。 Freeモナドは、取り込む型SのFunctorと組み合わせて、Functorの特性に応じたモナドを得ることができるものらしい。 そろそろFreeモナドに関して一言いっとくか - fumievalの日記 Freeモナドって何なのさっ！？ - c... 続きを読む