There are still a few days left to write a short talk proposal
for the ML workshop 2013! Since there are no official proceedings,
this is an ideal venue if you are working on a full submission
for some other conference but want to talk about the work early
on and get useful community
Hi list,
I have stumbled upon a strange annoyance:
{-# LANGUAGE GADTs #-}
data Foo v where
Foo :: Foo (Maybe v)
-- This doesn't work
foo1 :: a - Foo a - Int
foo1 Nothing Foo = undefined
foo1 (Just x) Foo = undefined
-- This does
foo2 :: a - Foo
Francesco Mazzoli f at mazzo.li writes:
I have stumbled upon a strange annoyance:
{-# LANGUAGE GADTs #-}
Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
with GADTs. I suggest you take the type signature off of foo1, and see
what type ghc infers for it. It
At Wed, 19 Jun 2013 10:03:27 + (UTC),
AntC wrote:
Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
with GADTs. I suggest you take the type signature off of foo1, and see
what type ghc infers for it. It isn't :: a - Foo a - Int.
[...]
Yep, that message explains
On Wed, Jun 19, 2013 at 11:11:16AM +0100, Francesco Mazzoli wrote:
At Wed, 19 Jun 2013 10:03:27 + (UTC),
AntC wrote:
Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
with GADTs. I suggest you take the type signature off of foo1, and see
what type ghc infers for
This is great fun, more people should come and join us! =)
http://www.nomyx.net:8000/Nomyx
we are playing game demo3.
-Brent
On Fri, Jun 14, 2013 at 05:57:57PM +0200, Corentin Dupont wrote:
Hello everybody!
Here it comes, the second beta release [1] of Nomyx, the only game where
You can
At Wed, 19 Jun 2013 06:59:00 -0400,
Brent Yorgey wrote:
Yes, I was going to suggest switching the argument order before
reading your message. This is an interesting way in which you can
observe that Haskell does not really have multi-argument functions.
All multi-argument functions are really
Thanks Brent! I'm glad you like it.
You will win a lot of money if new players come :)
Indeed Brent proposed a rule that allows sponsorship: if you invite a
player in, you win 50 ECU...
The game is still in beta-phase, so expect bugs...
There is some learning material in the links in my mail
Hi Cafe,
How to hand over the maintenance of a hackage package?
Thanks
Corentin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
As far as I know, Hackage does not enforce control of a given package at
all. You can just have the new maintainer upload a new version of the
package, changing the maintainer field of the .cabal file.
On Jun 19, 2013 7:10 AM, Corentin Dupont corentin.dup...@gmail.com
wrote:
Hi Cafe,
How to
On Wed, Jun 19, 2013 at 01:18:54PM +0200, Corentin Dupont wrote:
Thanks Brent! I'm glad you like it.
You will win a lot of money if new players come :)
Indeed Brent proposed a rule that allows sponsorship: if you invite a
player in, you win 50 ECU...
Joined a game, though I don't really have
Thanks Tobias, I'm looking forward to see you in the game!
I'll try to fix the text/plain part of the mails. I had quite some problems
with the haskell command *simpleMail* some time ago.
Best,
Corentin
On Wed, Jun 19, 2013 at 3:48 PM, Tobias Dammers tdamm...@gmail.com wrote:
On Wed, Jun 19,
Brent, maybe I'm misunderstanding what you're saying, but I don't
think that the order of the arguments is playing any role here besides
defining the order in which the pattern matches are desugared.
To illustrate,
-- This does work
foo1' :: a - Foo a - Int
foo1' m Foo = case m of
We are happy to announce Ajhc 0.8.0.6.
Major change on the release is supporting THREAD. Yeah!
You can get Ajhc using cabal install ajhc command.
Ajhc's project web site is found at http://ajhc.metasepi.org/.
You find the source code at https://github.com/ajhc/ajhc/tags.
Welcome sending any bugs
Good point. I stand corrected.
-Brent
On Wed, Jun 19, 2013 at 11:42:23AM -0300, Felipe Almeida Lessa wrote:
Brent, maybe I'm misunderstanding what you're saying, but I don't
think that the order of the arguments is playing any role here besides
defining the order in which the pattern matches
Hi,
This is just to let you know the promising results of some experimentation:
Formlets are about applicative instances, but what about monadic instances?
What a Monad instance of formlets means? I recently experimented with this
and the results are very interesting and powerful- It mixes the
I don´t know how, but the google mail has changed the applicative functor
operator after (,) Left and Rigth by -.
2013/6/19 Alberto G. Corona agocor...@gmail.com
Hi,
This is just to let you know the promising results of some experimentation:
Formlets are about applicative instances, but
I want to use TH to generate functions like
foo :: c - h
foo ... = ...
foo ... = ...
...
from lists of pairs :: [(c, h)]
For example, $(genFoo ''Int ''Bool [(0,False), (1,True)])
would generate
foo 0 = False
foo 1 = True
The problem is, I don't know how to generate the function's clauses.
foo 0
Hi,
I'm trying to install Leksah from hackage on my Debian testing laptop,
which has ghc 7.6.3 and the Haskell Platform 2013. I fixed a bunch of
errors about catch not being exported from the Prelude, but now I'm
stuck on these two errors in leksah-server-0.8.0.5:
[10 of 13] Compiling
19 matches
Mail list logo
