[Haskell-cafe] Sifflet type checker

Henning Thielemann lemming at henning-thielemann.de
Mon Jul 9 20:34:27 CEST 2012

On Mon, 9 Jul 2012, gdweber at iue.edu wrote:

> data Type = TypeVar TypeVarName          -- named type variable
>          | TypeCons TypeConsName [Type] -- constructed type
>            deriving (Eq)
> Do you still think my type checker would be useful to you,
> or to Haskellers generally?

I see. Then it is probably not very useful for me. :-(

>> [1] http://www.youtube.com/watch?v=sXywCHR9WwE
> Ah, I enjoyed the performance!

Nice to hear that you like it!

More information about the Haskell-Cafe mailing list