* Jeremy Bem:
To support my research, I've developed an implementation (Llama Light) of
the core Caml language. Modules, objects, labels etc are not supported
(except for file-level modules). The system strongly resembles OCaml,
however the completely rewritten typechecker is not only much
On Sun, Aug 8, 2010 at 1:59 PM, Florian Weimer f...@deneb.enyo.de wrote:
* Jeremy Bem:
To support my research, I've developed an implementation (Llama Light)
of
the core Caml language. Modules, objects, labels etc are not supported
(except for file-level modules). The system strongly
* Jeremy Bem:
Yes and no, respectively. In other words, nothing new here.
Oh. I just happen to think that those two are very high on the list
of things you want to fix once you can start with a clean slate.
Is there a better approach to polymorphic equality floating around?
Besides type
On Sun, Aug 8, 2010 at 2:52 PM, Florian Weimer f...@deneb.enyo.de wrote:
* Jeremy Bem:
Yes and no, respectively. In other words, nothing new here.
Oh. I just happen to think that those two are very high on the list
of things you want to fix once you can start with a clean slate.
Is
On Sun, 8 Aug 2010 14:44:11 -0400, Jeremy Bem jere...@gmail.com wrote:
On Sun, Aug 8, 2010 at 1:59 PM, Florian Weimer f...@deneb.enyo.de wrote:
* Jeremy Bem:
To support my research, I've developed an implementation (Llama Light)
of
the core Caml language. Modules, objects, labels
On Sun, 08 Aug 2010 20:52:53 +0200, Florian Weimer f...@deneb.enyo.de wrote:
* Jeremy Bem:
Yes and no, respectively. In other words, nothing new here.
Oh. I just happen to think that those two are very high on the list
of things you want to fix once you can start with a clean slate.
On Sun, Aug 8, 2010 at 4:53 PM, Nicolas Pouillard
nicolas.pouill...@gmail.com wrote:
On Sun, 08 Aug 2010 20:52:53 +0200, Florian Weimer f...@deneb.enyo.de
wrote:
* Jeremy Bem:
Yes and no, respectively. In other words, nothing new here.
Oh. I just happen to think that those two are
Is there a better approach to polymorphic equality floating around?
Besides type classes? I'm not sure. It's probably possible to remove
this feature from the language, with a little bit of syntactic
overhead to pass around a matching comparison function.
Yes for instance the very
Hi,
Let me take
the opportunity to introduce myself. My name is Kenneth Page and I am
the
admin of http://www.online-bg.net/ , nice to
meet you.
I just
visited http://caml.inria.fr/ and I found it very compatible with my current
ongoing projects.
I have a
selection of quality
On Sun, 8 Aug 2010 23:47:20 +0200, bluestorm wrote:
Is there a better approach to polymorphic equality floating around?
Besides type classes? I'm not sure. It's probably possible to remove
this feature from the language, with a little bit of syntactic
overhead to pass around a
On Sun, Aug 8, 2010 at 5:47 PM, bluestorm bluestorm.d...@gmail.com wrote:
Is there a better approach to polymorphic equality floating around?
Besides type classes? I'm not sure. It's probably possible to remove
this feature from the language, with a little bit of syntactic
I have some program to compiling native code on windows platform.
when I use the command:
ocamlopt -ccopt -LC:/out/gtk/lib -I +lablgtk2 lablgtk2 lablgtk.cmxa
gtkInit.cmx testgtk.ml -o testgtk.exe
it display a fatal error like this:
cannot find file libgtk-win32-2.0
error:error
12 matches
Mail list logo