[Haskell-cafe] Haskell.org GSoC

[Wolfgang Jeltsch]

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,
Wolfgang