[Haskell-cafe] Haskell.org GSoC
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?
More information about the Haskell-Cafe