Re: [Haskell-cafe] Martin Odersky on "What's wrong with Monads"

2012-07-03 Thread Alvaro Gutierrez
On Thu, Jun 28, 2012 at 2:53 PM, Dominique Devriese wrote: > 2012/6/27 Tillmann Rendel : >> How would you implement this requirement in Haskell without changing the >> line "amount (Leaf x) = x"? > > I may be missing the point here, but having worked on large code bases > with a wide variety contr

Re: [Haskell-cafe] Martin Odersky on "What's wrong with Monads"

2012-07-03 Thread Alvaro Gutierrez
On Tue, Jun 26, 2012 at 6:19 PM, Tillmann Rendel wrote: > How would you implement this requirement in Haskell without changing the > line "amount (Leaf x) = x"? The hflags library [http://hackage.haskell.org/package/hflags] seems to do that, however... > (I actually see three ways of doing this

Re: [Haskell-cafe] existential types and cast

2012-07-03 Thread MigMit
Actually, using cast seems to be a perfect solution here. I can't see anything wrong with it. Отправлено с iPad 03.07.2012, в 20:33, Corentin Dupont написал(а): > Hi all, > I read somewhere (here: > http://stackoverflow.com/questions/2300275/how-to-unpack-a-haskell-existential-type) > that i

[Haskell-cafe] Using "syntactic" to implement the lambda calculus

2012-07-03 Thread Alex Rozenshteyn
(This is intended as a simplification of the problem I actually need to solve.) I'm trying to implement the lambda calculus (with CBV evaluation) using the "syntactic" package, in such a way that a simple extension is also simple to implement. I am stuck on the fact that it seems that the Value t

[Haskell-cafe] Haskell Implementors' Workshop talk proposals due in one week!

2012-07-03 Thread Johan Tibell
Call for Talks ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012 Copenhagen, Denmark, September 14th, 2012 The workshop will be held in conjunction with ICFP 2012

[Haskell-cafe] Bad interface problem.

2012-07-03 Thread Magicloud Magiclouds
Hi, This had never happened to me. And I have no idea what to do. $ cabal --upgrade-dependencies --enable-documentation --force-reinstalls --solver=topdown QuickCheck-2.5 Test/QuickCheck/All.hs:15:1: Bad interface file: /home/magicloud/.cabal/lib/template-haskell-2.6.0.0/ghc-7.4.2/Language/H