Re: Haskell, anyone?

["Nasser M. Abbasi" <nma@12000.org>]

On 11/15/2015 4:11 PM, mockturtle wrote:
> I just installed ghc & C. and I am giving a try to the tutorials.
>The syntax is a bit... intimidating, though :-).  I mean, I find more intutive something like
>
>     function add(X, Y: Integer) return Integer;
>
> rather than
>
>      add :: Integer -> Integer -> Integer
>

If this is how Haskell look, then thanks but no thanks, I'll skip ;)

On Ada, One of the best features is the ability to define subtypes very
easily. I have not seen any other language with this feature. (one has
to make Class in other languages, and define all the operations each time).

This is for me what makes Ada for me. One can define a type
that matche the range of the physical quantity being modeled.
This helps catch many errors.

Can one do this in Haskell?  Say define a new integer subtype that
can only take values from only 1...20.  And have the compiler
and run time check for this?

>
> Riccardo
>

--Nasser