People in the Haskell community get awfully excited about Haskell's type
system.
When I was first learning Haskell, I found this rather odd. After all, a
"type" is just a flat name that tells the compiler how many bits to
allocate and which operations to allow, right?
As I read further, I qu
Andrew Coppin wrote:
What we're really trying to do here is attach additional information to
a value - information which exists only in the type checker's head, but
has no effect on runtime behaviour (other than determining whether we
*get* to runtime). As far as I can tell, Haskell does not pr
On Wed, Dec 9, 2009 at 7:47 PM, wren ng thornton wrote:
> Andrew Coppin wrote:
>
>> What we're really trying to do here is attach additional information to a
>> value - information which exists only in the type checker's head, but has no
>> effect on runtime behaviour (other than determining whet
