|
|
|
|
|
|
by fallintothis
6026 days ago
|
|
|
Provably safe at compile time Is this true? I was under the impression that the Haskell standard didn't formally specify its type semantics. Do works like http://web.cecs.pdx.edu/~mpj/thih/ "count" (i.e., is it the canonical reason we presume Haskell's type system is provably sound)? Honest question. |
|
|