北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

層圏トポス寄せ鍋 - Math::Category のスライド

2009-11-21層圏トポス寄せ鍋用のスライドです。Math::Category は自分の勉強用に実装した、 Perlで主に射の概念を抽象的に扱うためのモジュールです。現在、関手、自然変換、モナドの概念に対応してます。極限や随伴とかは実装してません。


ソースはgithub上にあります。

参考までに、github上でAcme::Monadsなんての書いてる方も居るみたいです。どちらかと言えばHaskell的なシンタックスにこだわってるみたい。Acme::Monadsの内容を紹介したスライドはこちら