1

Martin Erwing の帰納的グラフの実装を試してみたいと思います。しかし、特に抽象データ型の定義に関しては、私はまだ Haskell の型システムに慣れていません。Haskell でグラフを実装するためのこのアプローチの明確で自明に近い例を誰かが提供してくれることを期待していました。

ここにその背後にあるドキュメント彼の論文があります

ありがとう

4

1 に答える 1