43 ms·
> Haskell or Ada (both of which can in some cases be formally verified to follow the spec) Haskell doesn't even have a spec
by tome 11y ago
> Haskell or Ada (both of which can in some cases be formally verified to follow the spec)
Haskell doesn't even have a spec
- PeCaN 11y agoSorry, I was referring to the spec for the program, not the spec for the language. And Haskell does actually have a spec[1], but almost everyone uses GHC extensions so I suppose that's kind of moot. 1. https://wiki.haskell.org/Language_and_library_specification https://wiki.haskell.org/Language_and_library_specification