[Haskell-beginners] Are these statements about Haskell correct?

[Tom Murphy]

A big chunk of Haskell can be represented with a typed Lambda Calculus, but
it would be very tricky to turn, say, hGetLine into a Lambda expression.

Tom / amindfv


On Tue, Oct 25, 2011 at 7:58 AM, Costello, Roger L. <costello at mitre.org>wrote:

> Hi Folks,
>
> Are these statements accurate:
>
> 1. The Haskell language is a layer of abstraction on top of Lambda
> Calculus.
>
> 2. Haskell programs may be expressed entirely using Lambda expressions.
>
> 3. The non-Lambda stuff in Haskell is syntactic sugar to make Haskell
> programs easier to write.
>
> 4. The field of Lambda Calculus is formal and rich and enables powerful
> properties of Lambda expressions to be proven.
>
> 5. A Haskell program may be translated to consist entirely of Lambda
> expressions. Then, Lambda Calculus may be employed to prove powerful
> properties about the program.
>
> /Roger
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20111025/082bd433/attachment.htm>