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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
