Re: MPTCs and functional dependencies

holding off on MPTCs altogether if we don't also have fundeps or associated types? -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: Existential types: want better syntactic support (autoboxing?)

still pretty ugly. I don't like special-casing classes that happen to have a particular kind signature. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: Scoped type variables

Ben Rudiak-Gould wrote: Simon PJ thinks that Haskell' should include scoped type variables, and I tend to agree. But I'm unhappy with one aspect of the way they're implemented in GHC. What I don't like is that given a signature like x :: a - a there's no way to tell, looking at it in

Re: Restricted Data Types: A reformulation

should allow this. But your instance implementation of return and (=) made assumptions about their arguments that foo does not stick to. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo

Re: superclass implications

_always_ declares the class. A sensible gloss should begin Declare MonadPlus to be a class on m such that (Monad m) and... with the understanding that m is quantified by Declare MonadPlus to be a class on m. -- Ashley Yakeley ___ Haskell-prime mailing

Re: realToFrac issues

against this, but it does fundamentally change the semantics of Ratio. Has all the behaviour been worked out for this? -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: overlapping instances and constraints

Ben Rudiak-Gould wrote: I think all of these problems would go away if overlap was permitted within a module but forbidden across modules. Are there uses of overlapping instances for which this isn't flexible enough? I dislike this on principle. I like the idea that modules can be

Re: Infix expressions

programming in Haskell. There should be a link to Idioms above the grey boxes? -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell

Re: Infix expressions

have an idioms or programming techniques article as well, of course. It only needs to be written. -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org

Re: Infix expressions

just copy it across for copyright reasons. -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Time Library

with default-packages. More info: http://semantic.org/TimeLib/ -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: Time Library

a to Fixed is free, we don't particularly want to hide away the HasResolution constraint on it somehow. Of course, once it's specialised as a particular type (e.g. Fixed E12), then it's not needed anymore. -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD

MonadPlus Reform

://haskell.org/haskellwiki/MonadPlus_reform_proposal -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: unsafePerformIO and cooperative concurrency

, unsafePerformIO rarely is. -- Ashley Yakeley, Seattle WA WWEWDD? http://www.cs.utexas.edu/users/EWD/ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: All Monads are Functors

. I think joining up the classes is a good idea, and there may be other cases too. Alternative and MonadPlus? -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: map and fmap

in instances of the current MonadPlus. See: http://haskell.org/haskellwiki/MonadPlus http://haskell.org/haskellwiki/MonadPlus_reform_proposal -- Ashley Yakeley Seattle WA ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org

Re: Exceptions

://www.informatik.uni-bonn.de/~loeh/OpenDatatypes.pdf -- Ashley Yakeley Seattle, WA ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: Exceptions

values to types, which means a function still can't return a value of an open type determined at run-time. -- Ashley Yakeley Seattle WA ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: Exceptions

be entirely possible to implement extensible exceptions using inheritance in O'Haskell. I believe O'Haskell (like OOHaskell) doesn't provide the required dynamic downcasting operation either. AFAICT the extensions are essentially syntactic sugar: the subtyping is strictly static. -- Ashley Yakeley

Trac Ticket Component Field?

What do the various values of the Component field mean? Most issues have Proposal, but some have HaskellPrime. -- Ashley Yakeley Seattle WA ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime

Re: Trac Ticket Component Field?

isaac jones wrote: On Wed, 2006-09-27 at 16:27 -0700, Ashley Yakeley wrote: What do the various values of the Component field mean? Most issues have Proposal, but some have HaskellPrime. If it is a proposal for something to go into/be removed from the language, then it should be listed

Re: All Monads are Functors

Jon Fairbairn wrote: I think joining up the classes is a good idea, Definitely -- as is slicing them into finer layers (of which this is also an example). I have added a ticket for joined-up classes: http://hackage.haskell.org/trac/haskell-prime/ticket/113 -- Ashley Yakeley Seattle WA

Re: All Monads are Functors

extension for superclass defaults is not on the cards for Haskell Prime, but really, just how hard is it to write the necessary instances? Especially as we can provide helper functions. -- Ashley Yakeley Seattle WA ___ Haskell-prime mailing list

Re: String literals

Lennart Augustsson wrote: I think it's time that string literals got overloaded just like numeric literals. I'm suspicious, but as long as a Char is never ever implicitly coverted to an integer type such as Word8, I suppose it might be OK. I will rant about this on request. -- Ashley

Re: character literal question

Neil Mitchell wrote: This is what Ada does. I think that's a reason enough to keep things the way they are. More obscure languages such as C/C++ and Java also happen to do the same thing. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell

Re: help from the community?

(This a,That a) = ThisThat a This will be useful for GADTs: data MyGADT a where IntGADT :: MyGADT Int never :: MyGADT Char - t never x = case x -- no bottom needed -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http

Re: help from the community?

Malcolm Wallace wrote: I find the program-generated code argument rather weak. One might satisfy both camps by having a compiler flag to allow auto-generated ugliness. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org

Re: Polymorphic strict fields

`` because ``undefined`` is converted to a function that expects its implict evidence argument. It's the same with functions: myseq :: (forall a. Eq a = a) - b - b myseq = seq myseq undefined True == True -- Ashley Yakeley ___ Haskell-prime

PROPOSAL: Make Applicative a superclass of Monad

= ap (fmap f a) b -- etc. class Applicative m = Monad m where (=) :: m a - (a - m b) - m b fail :: String - m a fail s = error s -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo

Re: PROPOSAL: Make Applicative a superclass of Monad

I wrote: Proposal: Make Applicative (in Control.Applicative) a superclass of Monad (in Control.Monad). So does the silence = approval rule apply here? -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http

Re: Outlaw tabs

Duncan Coutts wrote: If there is consensus on the tabs issue then we could ask for -fwarn-tabs to be included in -Wall. Does -fwarn-tabs complain about tabs in {;}-style? It should not. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime

Re: [Proposal] Move most of Control.Monad to Control.Applicative

Oops, I don't seem to be paying attention to dates on posts. -- Ashley Yakeley ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime