matsuokaさんとこのscheme-modeを、以前からGauche用に書き換えて使っていたりする。 どうせだからコードの書き換え方を公開しておこうかな、と思ったのだけど、よく見ると本家におんなじことしてるサイトにリンクが貼ってある。なーんだじゃあいいかぁ…と思…

unitは×の単位元(1)で、voidは＋の単位元(0) おーそうだったのかぁ、と思いつつ、ふと疑問が。…（Xは任意の型） はどうなるのでしょう？ 状況からして、直積、直和があってそれぞれに単位元1、0があるような圏を考える訳ですよね。こっからは当て推量ですけ…