|
|
|
|
|
|
by jfischoff
4423 days ago
|
|
|
Yeah its a bullshit line. There are certain class of functions in Haskell that can be completely derived from their signature (see djinn) but Haskell's type is not strong enough for automatic formal verification. I would prefer is people just said "I program faster in Haskell" |
|
|