Hi,
upd_noupd n =
let l = myenum' 0 n
in last l + length l
This could be rewritten as
upd_noupd n =
let l n = myenum' 0 n
in last (l n) + length (l n)
Or a special form of let could be introduced to define locally-scoped
I have one unbearable doubt, how do you accent CoCoCo? CóCoCo? CoCóCo? CoCoCó?
Facundo
Date: Thu, 16 Aug 2012 21:40:28 +0200
From: Doaitse Swierstra doai...@swierstra.net
Subject: [Haskell-cafe] [Announce] Compositional Compiler
Construction, Oberon0 examples available
To:
Sorry, fixed the subject.
On Fri, Aug 17, 2012 at 11:11 AM, Facundo Domínguez
facundoming...@gmail.com wrote:
I have one unbearable doubt, how do you accent CoCoCo? CóCoCo? CoCóCo? CoCoCó?
Facundo
Date: Thu, 16 Aug 2012 21:40:28 +0200
From: Doaitse Swierstra doai...@swierstra.net
Subject
That precedent supports the view that e.g. a command-line flag
shouldn't affect behavior without the type reflecting it, e.g. by
doing IO, but the de facto use of the unsafe IO trick means not
everyone agrees.
For those interested, here's [1] a case where treating command line
arguments as
Hi,
scopeLookup :: String - Q Exp
The example provided here [1] fails at runtime is no name can be
found in scope. Would it make more sense to have
scopeLookup :: [String] - Q Exp
and have compilation fail if no name in the list is in scope?
By the way, the library brings an interesting
which is capable of producing elements one-by-one. So the whole thing
probably should run in constant space as well.
Besides reducing the amount of GC calls, performance would also
improve because the GC calls that remain are cheaper. The original
program may run in constant space, but the
Dear haskellers,
I was reading the terms of service of the Haskell Community Server
and found this statement:
Users residing in countries on the United States Office of Foreign
Assets Control sanction list, including Cuba, Iran, Libya, North
Korea, Sudan and Syria, may not post or access