Erik de Castro Lopo 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 vm gives you 0 adva
From: Philippe Veber
> 2010/5/14 Jacques Garrigue
>
>> From: 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 :
...
>> > Does anyone kn
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. T
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 consc
> 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 supp
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
> 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.
___
Le 14 mai 10 à 23:42, Raoul Duke a écrit :
-- Forwarded message --
From: Raoul Duke
Date: Fri, May 14, 2010 at 2:42 PM
Subject: Re: [Caml-list] about OcamIL
To: ben kuin
On Fri, May 14, 2010 at 11:59 AM, ben kuin wrote:
but that would be the big benefit of a clr like vm: I
-- Forwarded message --
From: Raoul Duke
Date: Fri, May 14, 2010 at 2:42 PM
Subject: Re: [Caml-list] about OcamIL
To: ben kuin
On Fri, May 14, 2010 at 11:59 AM, ben kuin wrote:
> but that would be the big benefit of a clr like vm: It doesn't matter
> how messed up, chaotic or j
2010/5/14 Jacques Garrigue
> From: 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
> >
> > #
Le 14 mai 10 à 23:28, Sylvain Le Gall a écrit :
On 14-05-2010, ben kuin 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* bu
On 14-05-2010, ben kuin 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 would reall
> 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 by
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 wrote:
> On Fri, May 14, 2010 at 9:26 AM, ben ku
> - 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 :
http://cvs.fedoraproject.
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.
>
>
On Fri, May 14, 2010 at 9:26 AM, ben kuin 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 important role in
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 like
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 w
> 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 compa
From: 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 ];;
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
Jon Harrop 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 performance".
>
> Cheers,
>
Yoriyuki Yamagata 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
> code.
>
> let
*** 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 201
--- On Fri, 5/14/10, Jon Harrop wrote:
> From: Jon Harrop
> 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, at least Scala and Bigloo deliver excellent
> performances.
In gmane.comp.lang.caml.inria, you wrote:
> 2010/5/14 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/MultiByteToWid
Hi, Bely.
2010/5/14 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
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
Beginn
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 p
Le 14 mai 2010 à 12:58, Eray Ozkural a écrit :
> On Fri, May 14, 2010 at 1:40 PM, Jon Harrop
> 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 th
2010/5/14 Sylvain Le Gall
> 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;
> ocaml-gett
On Fri, May 14, 2010 at 1:40 PM, Jon Harrop
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 JVM-based language as "hi
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.
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 char
On 14-05-2010, Yoriyuki Yamagata wrote:
> 2010/5/13 Sylvain Le Gall
>
>> On 13-05-2010, Yoriyuki Yamagata wrote:
>> > 2010/5/13 Sylvain Le Gall By the way (and for your
>> boss), I consider camomile as a first class
>> OCaml library. Your work on this is really important.
>>
>> What do you need
On Fri, May 14, 2010 at 10:20 AM, Paul Steckler
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
int main(int argc, char** argv)
Sorry miss the Cc-ing to the caml list.
-- Forwarded message --
From: Julien Signoles
Date: 2010/5/14
Subject: Re: [Caml-list] Balancing algorithm of Set/Map implementation
To: Yoriyuki Yamagata
Hello,
2010/5/14 Yoriyuki Yamagata
> When I read the balancing function of stdli
38 matches
Mail list logo