On Fri, Jun 26, 2009 at 8:48 PM, Darryn wrote:
> From:
> Darryn
>To:
> beginn...@haskell.org
> Subject:
> Rigid type variables match error
> Date:
> Sat, 27 Jun 2009 10:18:13 +0930
From:
Darryn
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 what is going on he
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 examp
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.
Loa
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 th
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
download-curl
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
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|877
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 fas
On Fri, Jun 26, 2009 at 10:44 AM, Daniel Peebles 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 functions at a time?
>
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 Goes wrote:
>
> JVM
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
http://www.n-br
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,
Casey
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 const
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 an
On Fri, Jun 26, 2009 at 7:12 AM, David Leimbach 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 fairly certai
Hi Timo,
On Fri, Jun 26, 2009 at 5:09 AM, Timo B. Hübel 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 (Groovy, Sc
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
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 wrote:
>> Incidentally, I am looking for someone well versed in the JVM who wants
>> to help spearhead a JVM back end for jhc.
>
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 functi
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 B.
> 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, togeth
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, b
Am Freitag 26 Juni 2009 11:30:32 schrieb david48:
> On Thu, Jun 25, 2009 at 3:27 AM, wren ng thornton 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
On Thu, Jun 25, 2009 at 3:27 AM, wren ng thornton 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
> future maintai
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
26 matches
Mail list logo
