19 Feb
2009
19 Feb
'09
3:37 a.m.
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