[Caml-list] Balancing algorithm of Set/Map implementation

2010-05-14 Thread Yoriyuki Yamagata
Hi, list. When I read the balancing function of stdlib's Set/Map several years ago, I thought I have understand how it works. But now, I read it again and I'm less confident now. Could someone answer my questions? Here is the snippet of the code. let bal l v r = let hl = match l with

RE: [Caml-list] 8-bit characters on command line

2010-05-14 Thread Paul Steckler
From: Dmitry Bely [dmitry.b...@gmail.com] I believe that's because there are actually two current code pages in Windows: OEM code page for console input/output and ANSI one for everything else. I'm not sure that's the issue, because 1) 8-bit characters are read and written OK to the OCaml

Re: [Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Paolo Donadeo
Of course, it's worth to remember that Camomile is heavily used in Batteries. -- Paolo ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list:

Fwd: [Caml-list] Balancing algorithm of Set/Map implementation

2010-05-14 Thread Julien Signoles
Sorry miss the Cc-ing to the caml list. -- Forwarded message -- From: Julien Signoles julien.signo...@gmail.com Date: 2010/5/14 Subject: Re: [Caml-list] Balancing algorithm of Set/Map implementation To: Yoriyuki Yamagata yoriyuk...@gmail.com Hello, 2010/5/14 Yoriyuki Yamagata

Re: [Caml-list] 8-bit characters on command line

2010-05-14 Thread Dmitry Bely
On Fri, May 14, 2010 at 10:20 AM, Paul Steckler paul.steck...@nicta.com.au wrote:  2) if I write the equivalent C program and compile it on Windows, 8-bit characters are passed as arguments and spat back just fine Just tested with MSVC 9.0 - exactly the same problem. Try this #include stdio.h

Re: [Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Dmitry Bely
How heavy-weight is Camomile? I was a bit scared with the size of its distribution. Currently I use under Windows the following my own simple Unicode-support module (implemented via WideCharToMultiByte/MultiByteToWideChar Win32 API functions). Maybe it's time to switch to Camomile? (** Wide

RE: [Caml-list] about OcamIL

2010-05-14 Thread Jon Harrop
Xavier Clerc wrote: Limiting myself to the JVM... Moreover, at least Scala and Bigloo deliver excellent performances. I have benchmarks where the JVM is well over 10x slower than .NET. So I do not regard any JVM-based language as high performance. Cheers, Jon.

Re: [Caml-list] about OcamIL

2010-05-14 Thread Eray Ozkural
On Fri, May 14, 2010 at 1:40 PM, Jon Harrop jonathandeanhar...@googlemail.com wrote: Xavier Clerc wrote: Limiting myself to the JVM... Moreover, at least Scala and Bigloo deliver excellent performances. I have benchmarks where the JVM is well over 10x slower than .NET. So I do not regard any

Re: [Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Yoriyuki Yamagata
2010/5/14 Sylvain Le Gall sylv...@le-gall.net http://qa.debian.org/popcon.php?package=camomile But there is a lot of uncertainty around these figures. I take into account the vote field which reflects regular users of camomile: 25. (comparable figures: janest-core: 10; ocaml-fileutils: 11;

Re: [Caml-list] about OcamIL

2010-05-14 Thread fo...@x9c.fr
Le 14 mai 2010 à 12:40, Jon Harrop a écrit : Xavier Clerc wrote: Limiting myself to the JVM... Moreover, at least Scala and Bigloo deliver excellent performances. I have benchmarks where the JVM is well over 10x slower than .NET. So I do not regard any JVM-based language as high

Re: [Caml-list] Balancing algorithm of Set/Map implementation

2010-05-14 Thread Daniel Bünzli
You may also be interested in this paper : http://groups.csail.mit.edu/mac/users/adams/BB/ Best, Daniel ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr

Re: [Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Yoriyuki Yamagata
Hi, Bely. 2010/5/14 Dmitry Bely dmitry.b...@gmail.com How heavy-weight is Camomile? I was a bit scared with the size of its distribution. Currently I use under Windows the following my own simple Unicode-support module (implemented via WideCharToMultiByte/MultiByteToWideChar Win32 API

[Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Sylvain Le Gall
In gmane.comp.lang.caml.inria, you wrote: 2010/5/14 Dmitry Bely dmitry.b...@gmail.com How heavy-weight is Camomile? I was a bit scared with the size of its distribution. Currently I use under Windows the following my own simple Unicode-support module (implemented via

RE: [Caml-list] about OcamIL

2010-05-14 Thread Ed Keith
--- On Fri, 5/14/10, Jon Harrop jonathandeanhar...@googlemail.com wrote: From: Jon Harrop jonathandeanhar...@googlemail.com Subject: RE: [Caml-list] about OcamIL To: caml-list@yquem.inria.fr Date: Friday, May 14, 2010, 6:40 AM Xavier Clerc wrote: Limiting myself to the JVM... Moreover,

[Caml-list] LOLA 2010 Programme and call for participation

2010-05-14 Thread Nick Benton
*** CALL FOR PARTICIPATION *** LOLA 2010 Syntax and Semantics of Low Level Languages Friday 9th July 2010, Edinburgh, UK A LICS 2010-affiliated workshop at FLoC

Re: [Caml-list] Balancing algorithm of Set/Map implementation

2010-05-14 Thread Goswin von Brederlow
Yoriyuki Yamagata yoriyuk...@gmail.com writes: Hi, list. When I read the balancing function of stdlib's Set/Map several years ago, I thought I have understand how it works. But now, I read it again and I'm less confident now. Could someone answer my questions? Here is the snippet of the

Re: [Caml-list] about OcamIL

2010-05-14 Thread Goswin von Brederlow
Jon Harrop jonathandeanhar...@googlemail.com writes: Xavier Clerc wrote: Limiting myself to the JVM... Moreover, at least Scala and Bigloo deliver excellent performances. I have benchmarks where the JVM is well over 10x slower than .NET. So I do not regard any JVM-based language as high

[Caml-list] Closed variants, type constraints and module signature

2010-05-14 Thread Philippe Veber
I'd like to define a type with a variable that is constrained to accept only polymorphic variant types included in a given set of tags. That is how I believed one should do : Objective Caml version 3.11.2 # type 'a t = 'a constraint 'a = [ `a | `b ];; type 'a t = 'a constraint 'a = [ `a

Re: [Caml-list] Closed variants, type constraints and module signature

2010-05-14 Thread Jacques Garrigue
From: Philippe Veber philippe.ve...@googlemail.com I'd like to define a type with a variable that is constrained to accept only polymorphic variant types included in a given set of tags. That is how I believed one should do : Objective Caml version 3.11.2 # type 'a t = 'a

Re: [Caml-list] about OcamIL

2010-05-14 Thread ben kuin
So your argument as such says nothing about JVM jon-bot: yes it does, look at those numbers here: ... goswin-bot: no it doesn't because: ... startup time ... hotspot ... server ... jon-bot: moron goswin-bot: liar So far the typical java-shootout pattern. Maybe another approach would be to

Re: [Caml-list] about OcamIL

2010-05-14 Thread Vincent Aravantinos
Le 14 mai 10 à 18:26, ben kuin a écrit : I think something like the clr would be a huge progress first and foremost for the linux programmers. Maybe Ocaml could play an important role of providing a slick api, because of its strength when it comes to language implementation (compilers), so we

[Caml-list] Request for example code using the OCaml C interface

2010-05-14 Thread Christopher L Conway
For a research project I'm working on, I'm looking for examples of C code that uses the OCaml native interface. I'm particularly interested in code that performs some not-completely-trivial interpretation of constructed values by inspecting blocks and their tags. Have you written any code

Re: [Caml-list] about OcamIL

2010-05-14 Thread Raoul Duke
On Fri, May 14, 2010 at 9:26 AM, ben kuin benk...@gmail.com wrote: realworld. I think it's interesting that on the ms-windows platform .net is used for everything with great success: Compared to that I think the jvm is only succesful when it comes to 'backend services', which often play an

Re: [Caml-list] Balancing algorithm of Set/Map implementation

2010-05-14 Thread Stanisław T. Findeisen
On 2010-05-14 08:17, Yoriyuki Yamagata wrote: When I read the balancing function of stdlib's Set/Map several years ago, I thought I have understand how it works. But now, I read it again and I'm less confident now. Could someone answer my questions? Here is the snippet of the code. let

Re: [Caml-list] Re: [ANN] Camomile 0.7.3

2010-05-14 Thread Florent Monnier
- the number of OS to which Camomile is ported. I know there are Debian, FreeBSD and ALTLinux package. Any other? Mandriva : http://svn.mandriva.com/cgi-bin/viewvc.cgi/packages/cooker/ocaml- camomile/current/ http://maint.mandriva.com/viewpkg.php?pkg=14157 Fedora :

Re: [Caml-list] about OcamIL

2010-05-14 Thread ben kuin
but that would be the big benefit of a clr like vm: It doesn't matter how messed up, chaotic or just heterogen the environment is as long as you can count on a regular execution of your portable bytecode. On Fri, May 14, 2010 at 8:11 PM, Raoul Duke rao...@gmail.com wrote: On Fri, May 14, 2010 at

Re: [Caml-list] about OcamIL

2010-05-14 Thread ben kuin
Isn't this precisely the aim of Jon's hlvm (www.ffconsultancy.com/ocaml/hlvm/)? that's an interesting question, Here are a few thoughts: technical: - in .NET everything is easy (from the surface): you have your source file (hello.cs) you take your compiler (cs.exe) and compile it to a msil

[Caml-list] Re: about OcamIL

2010-05-14 Thread Sylvain Le Gall
On 14-05-2010, ben kuin benk...@gmail.com wrote: Isn't this precisely the aim of Jon's hlvm (www.ffconsultancy.com/ocaml/hlvm/)? licensing: Hlvm is driven by a company and its landing page is on a companies website and one of its protagonists is smart *and* business savvy. What if hlvm

Re: [Caml-list] Re: about OcamIL

2010-05-14 Thread Vincent Aravantinos
Le 14 mai 10 à 23:28, Sylvain Le Gall a écrit : On 14-05-2010, ben kuin benk...@gmail.com wrote: Isn't this precisely the aim of Jon's hlvm (www.ffconsultancy.com/ocaml/hlvm/)? licensing: Hlvm is driven by a company and its landing page is on a companies website and one of its protagonists

Re: [Caml-list] Closed variants, type constraints and module signature

2010-05-14 Thread Philippe Veber
2010/5/14 Jacques Garrigue garri...@math.nagoya-u.ac.jp From: Philippe Veber philippe.ve...@googlemail.com I'd like to define a type with a variable that is constrained to accept only polymorphic variant types included in a given set of tags. That is how I believed one should do :

Fwd: [Caml-list] about OcamIL

2010-05-14 Thread Raoul Duke
-- Forwarded message -- From: Raoul Duke rao...@gmail.com Date: Fri, May 14, 2010 at 2:42 PM Subject: Re: [Caml-list] about OcamIL To: ben kuin benk...@gmail.com On Fri, May 14, 2010 at 11:59 AM, ben kuin benk...@gmail.com wrote: but that would be the big benefit of a clr like

Re: [Caml-list] about OcamIL

2010-05-14 Thread Vincent Aravantinos
Le 14 mai 10 à 23:42, Raoul Duke a écrit : -- Forwarded message -- From: Raoul Duke rao...@gmail.com Date: Fri, May 14, 2010 at 2:42 PM Subject: Re: [Caml-list] about OcamIL To: ben kuin benk...@gmail.com On Fri, May 14, 2010 at 11:59 AM, ben kuin benk...@gmail.com wrote:

Re: [Caml-list] about OcamIL

2010-05-14 Thread Raoul Duke
Please. You're not talking about the same thing. Ben talks about the benefits such a vm would have once it would be done, you talk about how hard it would be to do it. i think several things are being intertwined here, i don't agree with you evaluation of the discussion. sincerely.

Re: [Caml-list] Re: about OcamIL

2010-05-14 Thread ben kuin
sylvain, between the lines I think you're say I'm overreacting. I would put it the other way around and say it's sad when people aren't aware of such details. Once I've tried my luck with the D language, just to give another tragic example. I think if its inventor walter bright settled all those

Re: [Caml-list] about OcamIL

2010-05-14 Thread ben kuin
Please. You're not talking about the same thing. Ben talks about the benefits such a vm would have once it would be done, you talk about how hard it would be to do it. Exactly, thanks. I assume it's save to say that most today (business) critical applications have to be written in a vm

Re: [Caml-list] about OcamIL

2010-05-14 Thread Erik de Castro Lopo
ben kuin wrote: I assume it's save to say that most today (business) critical applications have to be written in a vm supported language. Why do you assume that? The only evidence to support this is the widespead usage of Java and C#, but I think that is a language choice rather than a

RE: [Caml-list] about OcamIL

2010-05-14 Thread Jon Harrop
Ben Kuin wrote: technical: - in .NET everything is easy (from the surface): you have your source file (hello.cs) you take your compiler (cs.exe) and compile it to a msil bytecode file (hello.dll). You can run reflection tools to hello.dll or link it to a exe or generate back to source. This

Re: [Caml-list] Closed variants, type constraints and module signature

2010-05-14 Thread Jacques Garrigue
From: Philippe Veber philippe.ve...@googlemail.com 2010/5/14 Jacques Garrigue garri...@math.nagoya-u.ac.jp From: Philippe Veber philippe.ve...@googlemail.com I'd like to define a type with a variable that is constrained to accept only polymorphic variant types included in a given set of

Re: [Caml-list] about OcamIL

2010-05-14 Thread Goswin von Brederlow
Erik de Castro Lopo mle+oc...@mega-nerd.com writes: ben kuin wrote: I assume it's save to say that most today (business) critical applications have to be written in a vm supported language. Hardly any business today has an inhomogene environment. And if the environment is homogene then the