Quoting "Wolfgang Jeltsch" :
Am Mittwoch, den 28.12.2011, 12:48 + schrieb Simon Peyton-Jones:
Only that BOX is a sort (currently the one and only sort), whereas
Constraint is a kind. I'm not sure that BOX should ever be displayed
to users.
Okay, this makes sense then. However, note that
On Sun, Jan 04, 2009 at 07:40:38PM -0500, Isaac Dupree wrote:
> - does anyone use mapException?
I was the one who originally requested it, since it was mentioned in
the paper and looked reasonable, but was missing from GHC. My
motivation was that it could be used by a pure function to hide the
exc
en for ST (or a generalization thereof), since
one can always use stToIO if operation in the IO monad is really
required.
Lauri Alanko
[EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgo
t it?
I for one find it extremely convenient that I can write "purely
imperative" code with a simple syntax like do { foo; bar; baz }. I'd
like similar simplicity when dealing with arrows, too.
Lauri Alanko
[EMAIL PROTECTED]
___
Glasg
s much more attractive to me. Consistency and predictable
typing is important, and it's ok for things to look funny because,
after all, funny things _are_ going on when special optimizations are
applied.
Lauri Alanko
[EMAIL PROTECTED]
___
Glasgow-has
en how about
allowing A.B/C.hs for module A.B.C? Then you don't need to have a
long, mostly empty dummy hierarchy.
Lauri Alanko
[EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
te
representations. With heavy specialization, of course. This would be
especially useful if the FFI (especially withCString) supported it.
Or alternatively, maybe the foldr/build rewriting trick could be used to
eliminate some redundant conversions between representations?
Just throwing ideas
ll
ghc5" to get the latest package from the nearest mirror...
Lauri Alanko
[EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On Fri, May 11, 2001 at 02:14:24PM +0200, Marcin 'Qrczak' Kowalczyk wrote:
> On Fri, 11 May 2001, Lauri Alanko wrote:
>
> > Why? This makes composing and "subtyping" impossible:
> >
> > instance (MonadTrans t, MonadState s m, Monad (t m))
> >
mized versions of all
the common libs...
Lauri Alanko
[EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
10 matches
Mail list logo