[Haskell-cafe] Type checking string literal in Haskell?

Richard A. O'Keefe ok at cs.otago.ac.nz
Mon Mar 3 20:29:53 UTC 2014

On 3/03/2014, at 4:59 PM, John Lato wrote:

> Yes.  In Haskell, types are your friends.  You should define new types liberally.

I believe the original poster was asking about a *static* check.

Newtypes with "smart constructors" are a good way to plug in
a *dynamic* check, which is valuable but different.

More information about the Haskell-Cafe mailing list