On Tue, Jan 04, 2011 at 02:24:21AM -0800, o...@okmij.org wrote:
I'd like to argue in opposition of making Functor a super-class of
Monad. I would argue that superclass constraints are not the right
tool for expressing mathematical relationship such that all monads are
functors and
Don Stewart wrote:
Tom Lokhorst suggests[1]
Haskell'10
[1] http://twitter.com/tomlokhorst/statuses/2539313506
How pessimistic.
Some people expect Haskell and/or Haskell'
not to be around anymore in 2110?
Wolfram
___
Isaac Dupree [EMAIL PROTECTED] wrote:
Adde wrote:
tmp - foo
return Bar {
barFoo = tmp
}
There is a feature being worked on in GHC HEAD that would let you do
do
tmp - foo
return Bar{..}
which captures fields from everything of the same name that's
After a particularly bad week in a very busy term
I am just now getting around to have a first look
at Claus Reinke's [EMAIL PROTECTED] lambda-match proposal
and at his message from 29 Oct 2006:
- matchings are not first-class expressions in PMC
the only syntactically correct way to
Brandon Moore [EMAIL PROTECTED] wrote in his answer to my PMC syntax
proposal:
Maybe the '\' could be reiterated to introduce the layout group:
take' = \
0 _ - []
n \[] - []
(x:x) - x : take (pred n) xs
Definitely not, since the lambda gets us back into expressions,
destroying the
Brandon asked me to forward this --- I already posted a small
clarification.
Wolfram
--- Start of forwarded message ---
Date: Mon, 02 Oct 2006 00:07:17 -0700
From: Brandon Moore [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
CC: haskell-prime@haskell.org
Subject: Re: [Haskell] Replacing and
Malcolm.Wallace wrote:
(But then, how would you guarantee that the first three characters
in the file must be {-# ?)
In particular, what do you propose for literate source?
(I hardly have any .hs files.)
As far as I can see,
it seems to be possible to get LaTeX to work with UTF8;
the
Bulat.Ziganshin responded to Claus Reinke:
CR yes, this would add one constraint on where to place definitions. but
CR grouping logically related definitions together is not quite what one
CR might think anyway: aren't the definitions making up the interface
CR most strongly related,