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