On 4/10/06, Ross Paterson [EMAIL PROTECTED] wrote:
What other libraries should Haskell' support, and what are their
requirements?
http://hackage.haskell.org/trac/ghc/wiki/CollectionClassFramework
There are two range arguments here, IIUC.
Jim
___
On 3/29/06, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
Proposal: make all pattern bindings completely monomorphic
(regardless of type signatures)
...
My bet is that this is a
feature that is tricky to implement, but which is virtually never used.
If this proposal
On 3/28/06, isaac jones [EMAIL PROTECTED] wrote:
The only topics that should remain open are concurrency and
the class system.
What happene to bullet 3, perhaps standard libraries?
Jim
___
Haskell-prime mailing list
Haskell-prime@haskell.org
Has this list yet discussed John's supertyping proposal?
http://repetae.net/john/recent/out/supertyping.html
Jim
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
I have created a ticket to make a standard collection interface. It is here:
http://hackage.haskell.org/trac/haskell-prime/ticket/97
Obviously, it will be tough to figure out what the library can look
like without knowing what MPTC's will look like.
Jim
On 2/8/06, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
It seems we can emulate the restricted data types in existing
Haskell.
I have proposed this for Haskell' libraries. See
http://hackage.haskell.org/trac/haskell-prime/ticket/98
Jim
___
On 3/1/06, Johannes Waldmann [EMAIL PROTECTED] wrote:
But my point was that I want to use
do notation for Sets (in fact, for any kind of collection)
so I'd need the original Functor and Monad.
I understand this for Monad. Why not just redefine Functor, Oleg-style?
I couldn't use ghc's
On 2/28/06, Johannes Waldmann [EMAIL PROTECTED] wrote:
Malcolm Wallace wrote:
But if contexts-on-datatypes worked correctly,
data Set a = Ord a =
then even the real map from Data.Set:
map :: (Ord a, Ord b) = (a - b) - Set a - Set b
could be an instance method of
Sometimes I'd like to use a smart constructor but have pattern
matching as well. There has been talk elsewhere of allowing export of
data constructors for /matching/ but not for /construction/:
module One-
data Picky a = Nil | One a
picky x = if some_complex_thing x then One x
Have we considered Restricted Data Types?
http://www.cs.chalmers.se/~rjmh/Papers/restricted-datatypes.ps
Or even absracting over contexts, as described in section 7.5 (p.
14/15) of the above?
Jim
___
Haskell-prime mailing list
... read the JFP journal submission that Martin Sulzmann and Peter
Stuckey and I have been working on.
http://research.microsoft.com/%7Esimonpj/papers/fd-chr
Has this list discussed using CHRs instead of fundeps?
Jim
___
Haskell-prime
11 matches
Mail list logo
