Re: [Haskell-beginners] Check constructor's field numeric value at compile time

On Wed, Sep 3, 2014 at 2:32 AM, Dmitriy Matrosov wrote:

How can i write this constraints so they're checked at compile time, not at runtime?

Smart constructors won't check them at compile time but it does the next best thing, which is validate at the earliest possible moment. -- Kim-Ee