[Haskell-cafe] if-then without -else?

Rodrigo Stevaux roehst at gmail.com
Fri Aug 31 20:02:39 UTC 2018


>
> which cannot be prohibited statically
> if we want both the language to be Turing complete,
> and type inference to be decidable.
>
>
Could you be so kind as to give a hint on literature that could help me
understand this statement?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180831/caf6b3bf/attachment.html>


More information about the Haskell-Cafe mailing list