This is basically what you get by default already with the raw proposal we've
been talking about -- the Preludes in the haskell98 and haskell2010 remain
unmodified by this proposal and are available for teaching use.
Sent from my iPhone
On May 27, 2013, at 8:53 PM, Andrew Farmer wrote:
> I ge
I generally agree with Iavor's points, but if this is such an issue, why
not make Prelude more general by default and have a special 'Prelude.Basic'
with the more specific type signatures for beginners? The general Prelude
would be implicitly imported as now, unless the module imported
Prelude.Basi
I agree that it would be unfortunate to complicate the Prelude
definitions of foldr and such by generalizing to type classes like
Foldable. This proposal seems attractive to me as a way to reconcile
abstraction when it's needed, and simplicity for beginners. However,
it does seem like a common pa
Hi Iavor,
On May 27, 2013, at 6:18 PM, Iavor Diatchki wrote:
> Hello,
>
>
> On Fri, May 24, 2013 at 12:42 AM, Daniel Gorín wrote:
> On May 24, 2013, at 9:28 AM, Simon Peyton-Jones wrote:
>
>> > How about (in Haskell98)
>> >
>> > module Data.List ( foldr, ...)
>> > import qualified
I made some strictifying changes and started getting this msg from ghc:
match_co: needs more cases
vector-0.10.0.1:Data.Vector.Generic.Mutable.MVector{tc r46}
(Sym <(vector-0.10.0.1:Data.Vector.TFCo:R:MutableVector{tc r45})>)
It's not just TimeVectorStorable.Sample (which is inde
Hello,
On Fri, May 24, 2013 at 12:42 AM, Daniel Gorín wrote:
> On May 24, 2013, at 9:28 AM, Simon Peyton-Jones wrote:
>
> > How about (in Haskell98)
> >
> > module Data.List ( foldr, ...)
> > import qualified Data.Foldable
> > foldr :: (a -> b -> b) -> b -> [a] -> b
> >
