On Jun 25, 2009, at 13:31 , Henry Laxen wrote:
It reminds me of a saying I heard once. If carpenters built houses
the way
programmers write programs, you could walk into any house, remove
any single
nail, and the structure would collapse into pieces no larger than
toothpicks.
Weinberg's
On Thu, Jun 25, 2009 at 3:27 AM, wren ng thorntonw...@freegeek.org wrote:
If certain warnings truly are spurious and unavoidable, then it's best to
document this explicitly in the code by pragmas to disable the relevant
warnings. This way the spurious nature of the warning is documented (for
Am Freitag 26 Juni 2009 11:30:32 schrieb david48:
On Thu, Jun 25, 2009 at 3:27 AM, wren ng thorntonw...@freegeek.org wrote:
If certain warnings truly are spurious and unavoidable, then it's best to
document this explicitly in the code by pragmas to disable the relevant
warnings. This way
On 22/06/2009 23:48, Bulat Ziganshin wrote:
Hello Marcin,
Tuesday, June 23, 2009, 2:31:13 AM, you wrote:
Now this took an odd turn, because the simulation started crashing with
out-of-memory errors _after_ completing (during bz2 compression). I'm fairly
certain this is a GC/FFI bug,
Incidentally, I am looking for someone well versed in the JVM who wants
to help spearhead a JVM back end for jhc.
I would love to see this! With the current advent of all those languages
targeting at the JVM (Groovy, Scala, Clojure) I think a JVM backend for a
Haskell compiler could,
Although I don't know what the current JVM lacks to properly act as a
functional backend, it appears that JVM 1.7 will be at least better
suitable to support dynamic languages.
See: The Da Vinci Machine Project
http://openjdk.java.net/projects/mlvm/
Arvid
On Fri, Jun 26, 2009 at 2:09 PM, Timo
On 26 Jun 2009, at 14:09, Timo B. Hübel wrote:
And here comes my question: If there is anybody with proper
knowledge about
this issue, I would really like to know what are those things that are
missing? For example, Clojure lacks proper tail recrusion
optimization due to
some missing
There has been a scheme with tail recursion on the JVM for a long time
IIRC. SISC right?
At least I am fairly certain it does.
On Friday, June 26, 2009, Timo B. Hübel t...@gmx.info wrote:
Incidentally, I am looking for someone well versed in the JVM who wants
to help spearhead a JVM back end
Is it possible to write a Haskell script that
uses a module that is also going to be interpreted?
Like, say:
#!/usr/bin/runhaskell
module Main (main) where
import OtherModule
main = (...)
where OtherModule is available in, say, OtherModule.hs
and not in the already compiled and installed
Hi Timo,
On Fri, Jun 26, 2009 at 5:09 AM, Timo B. Hübel t...@gmx.info wrote:
Incidentally, I am looking for someone well versed in the JVM who wants
to help spearhead a JVM back end for jhc.
I would love to see this! With the current advent of all those languages
targeting at the JVM
On Fri, Jun 26, 2009 at 7:12 AM, David Leimbach leim...@gmail.com wrote:
There has been a scheme with tail recursion on the JVM for a long time
IIRC. SISC right?
Ah SISC is interpreted. Clojure is compiled. At least that may be the key
difference to making it work or not.
At least I am
For example, Clojure lacks proper tail recrusion optimization due to
some missing functionality in the JVM. But does anybody know the
details?
|Basically, the JVM lacks a native ability to do tail calls. It does
|not have an instruction to remove/replace a stack frame without
|executing
Agreed. I wound up having to add a horrible Num instance for Bool in
'monoids' in order to support a decent Boolean Ring type.
http://comonad.com/haskell/monoids/dist/doc/html/monoids/Data-Ring-Boolean.html
I would much rather be able to get rid of it!
The only problem with eliminating the
Since the JVM doesn't seem to support tail call optimization, I
suppose one could could directly manipulate the bytecodes generated by
jhc to do TCO.
One challenge would be the garbage collector, since Haskell and Java
have very different working sets of what is still being used.
--
Regards,
JVM 7 has tail calls, and if you don't want to wait for that, goto
works perfectly well for self-recursive functions. Other techniques
can deal with mutual recursion, albeit at the cost of performance.
Regards,
John A. De Goes
N-Brain, Inc.
The Evolution of Collaboration
Maybe the JVM could be abused so that all of the haskell code is
within one function, so as to avoid java's notion of a function
boundary and implement our own using just goto? Or does the JIT
operate on entire functions at a time?
On Fri, Jun 26, 2009 at 1:23 PM, John A. De Goesj...@n-brain.net
On Fri, Jun 26, 2009 at 10:44 AM, Daniel Peeblespumpkin...@gmail.com wrote:
Maybe the JVM could be abused so that all of the haskell code is
within one function, so as to avoid java's notion of a function
boundary and implement our own using just goto? Or does the JIT
operate on entire
JVM 7 has tail calls,
Source, please? JSR-292 seems the most likely candidate so far,
and its draft doesn't seem to mention tail calls yet. As of March
this year, the people working on tail calls for mlvm [1], which
seems to be the experimentation ground for this, did not seem to
expect any
I don't have a source, but I know tail calls have been implemented (in
a patch) and tested, and at the JVM Summit everyone was saying this
was definitely going to be released in JVM 7.
Regards,
John A. De Goes
N-Brain, Inc.
The Evolution of Collaboration
http://www.n-brain.net|
As long as OtherModule is in the same directory, Main should have no
trouble finding it.
Do you mean like this?
$ ls
Greet.hs hello*
$ cat hello
#!/usr/bin/env runghc
module Main where
import Greet
main = putStrLn (greet world)
$ cat Greet.hs
module Greet (greet) where
greet
Hello Cafe,
I'm looking to make it possible for people to use urls directly in my
haskell program (TxtSushi) and I'd like your suggestions if you have
any. I really like the API's for download and download-curl, but I'm
wondering what the practical differences are between the two? Is
keithshep:
Hello Cafe,
I'm looking to make it possible for people to use urls directly in my
haskell program (TxtSushi) and I'd like your suggestions if you have
any. I really like the API's for download and download-curl, but I'm
wondering what the practical differences are between the
Hi,
The package seems to have a connection problem on my machine.
Prelude import System.Vacuum.Ubigraph
Prelude System.Vacuum.Ubigraph view (0,1)
Loading package syb ... linking ... done.
Loading package base-3.0.3.1 ... linking ... done.
Loading package parsec-2.1.0.1 ... linking ... done.
On Fri, Jun 26, 2009 at 03:26:34PM +0200, Maarten Hazewinkel wrote:
On 26 Jun 2009, at 14:09, Timo B. Hübel wrote:
And here comes my question: If there is anybody with proper knowledge
about
this issue, I would really like to know what are those things that are
missing? For example,
From:
Darryn djr...@aapt.net.au
To:
beginn...@haskell.org
Subject:
Rigid type variables match error
Date:
Sat, 27 Jun 2009 10:18:13 +0930
Hi, I wonder if anyone can explain
25 matches
Mail list logo