[Haskell-cafe] Ensuring all values of an ADT are explicitly handled OR finding all occurrences of type X in my app

Saurabh Nanda saurabhnanda at gmail.com
Tue Jan 31 06:45:52 UTC 2017


Btw, what about the other approach -- listing all possible occurrences of
type X throughout the app?

-- Saurabh.

On Tue, Jan 31, 2017 at 12:15 PM, Saurabh Nanda <saurabhnanda at gmail.com>
wrote:

> We want this at my company too, so we don't write fall-through cases.
>>
>
> That's a short-term workaround, yes. However it doesn't fit into Haskell's
> overall story of language-enforced correctness.
>
> -- Saurabh.
>



-- 
http://www.saurabhnanda.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170131/f0c4efa9/attachment.html>


More information about the Haskell-Cafe mailing list