Type Checking with Open Type Functions (PDF)

UNSW Engineering Fearless thinking. World changing action.

[hengsu]

Instant Generics (IG) is an approach to datatype-generic programming in Haskell based on type classes and type families. Datatype-generic functions operate on entire families of datatypes in a non-parametric, but uniform manner, guided by the type structure of consumed and produced data structures.

[bellbind]

open type + GADT

[r-west]

Haskellプログラミングお助けbot。/Tomcat並に萌えないマスコットｗ

[okagawa]

Haskell用ベンチマークプログラム集。*hcでの実行結果もある。

[henjin1go]

木変換のＴＨＥＳＩＳ

[hchbaw]

reminder

[sshi]

lispではなくhaskellで拡張するエディタ