Edsko de Vries wrote:
See "What is a purely functional language" by Sabry. Not quite a formal
proof about *Haskell*, but then we would first need a formal semantics
of Haskell to be able to do that proof ;-)
Thanks for the reference, and also to everyone who replied - all very
useful and int
Hi,
Is a formal proof that the Haskell language is referentially
transparent? Many people state "haskell is RT" without backing up that
claim. I know that, in practice, I can't write any counter-examples but
that's a bit handy-wavy. Is there a formal proof that, for all possible
haskell pr
Hi,
I've recently started using Yi, the haskell editor. I found it slightly
non-trivial to get started, so I've written up my installation method
and a "beginners guide" tutorial which I hope will be of interest to
other people who'd like to try Yi. It lives at:
http://nobugs.org/developer