[Haskell-cafe] Haskell.org GSoC

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Thu Feb 19 03:37:22 EST 2009

Am Donnerstag, 19. Februar 2009 02:22 schrieb sylvain:
> Haskell is a nice, mature and efficient programming language.
> By its very nature it could also become a nice executable formal
> specification language, provided there is tool support.

Wouldn’t it be better to achieve the goals you describe with a dependently 
typed programming language?

Best wishes,

More information about the Haskell-Cafe mailing list