[Haskell-cafe] A Mascot

Hans Aberg haberg-1 at telia.com
Thu Nov 17 00:36:18 CET 2011


On 16 Nov 2011, at 23:49, heathmatlock wrote:

> I took Jerzy's suggestions into consideration and made the lamb skinnier, maybe it looks less like a penguin now. 
> 
> http://imgur.com/4oeJz

A formula that is Haskell specific is
  \x -> ⊥ ≠ ⊥
It is mentioned in the Haskell 98 Report, sec. 6.2, "Strict Evaluation", p. 82. The LHS and RHS are different, because they can be distinguished by seq.

Hans





More information about the Haskell-Cafe mailing list