ML: haskell-jp / quickml.com
新メンバー: sakai / tom.sfc.keio.ac.jp

さかいです。
# 登録アドレスを変更します。

メーリングリスト復活おめでとうございます。

ところで、先日 "Generic Haskell: practice and theory"
<http://www.cs.uu.nl/~johanj/publications/GH.pdf>
を眺めていたのですが、これまで想像もしなかったような型が
たくさん出て来て驚いてしまいました。

型構築子の不動点を表す、
  newtype Fix f = In (f (Fix f))
くらいは私も見たことがあったのですが、
完全バランス木を表す
  data Fork a = Fork a a
  data Perfect a = ZeroP a | SuccP (Perfect (Fork a))
のような型や、
Okasaki's binary random-access lists と呼ばれている
  data Sequ a = EndS
  	      | ZeroS (Sequ (Fork a))
  	      | OneS a (Sequ (Fork a))
のような型には本当に驚きました。

型って本当に奥が深いですね...

--
酒井 政裕 / Masahiro Sakai
慶応義塾大学総合政策学部2年

--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/

このMLを退会する方法:
- 本文が空のメールを <haskell-jp / quickml.com> に送ってください
- 本文が空のメールを送れない場合は、
  本文に「退会」とだけ書いたメールを <haskell-jp / quickml.com> に送ってください
  (署名やhotmailの広告などがついて空メールを送れない場合など)

<haskell-jp / quickml.com> のメンバー:
nobsun / s...
shiro / l...
kanaya / s...
spiral / s...
takana / b...
hiroyuki / k...
s01397ms / s...
kawaji / h...
shelarcy / c...
sakai / t...