|
![](/i/fill.gif) |
>> For what it's worth, people do crazy stuff similar to this with Haskell.
>
> Yeah, that's kind of why functional languages were invented - to do
> crazy analysis stuff with. :-)
I understand that the invention of functional programming languages
predates the invention of computers...
Out of the box, GHC can tell you whether you have incomplete or
overlapping pattern matches. You can do stuff with type-level
programming to statically guarantee that array index bounds are never
exceeded. And null pointers can't occur in the first place. And yet,
when a *popular* program does one tenth of this, everybody thinks it's
really cool, but Haskell does this every single day and nobody is even
slightly interested. :-(
Post a reply to this message
|
![](/i/fill.gif) |