[Caml-list] ocaml-tutorial.org is down

Hi all (and particularly Richard Jones), The Ocaml tutorial site seems to be down. Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list

Re: [Caml-list] Calling OCaml from C - nothing shown on stdout

/Ocaml/calling_ocaml.html Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] Seeking (Meta)Ocaml / compiler writing help

Simon P wrote: We want to build a small domain specific language and convert it to a C-like language. Why convert to a C-like language? The LLVM compiler backend seems to be the way to go these days. Erik -- -- Erik de

Re: [Caml-list] about OcamIL

packaging system. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] about OcamIL

run on these machines? Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml

Re: [Caml-list] about OcamIL

would chose to generate native binaries. Erik (who uses Ocaml compiled to native binaries for mission critical code) -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list

Re: [Caml-list] Ocaml can't convert a GMT time into a float!

the Netdate module handles times and dates. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] New to Ocaml

-- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http

Re: [Caml-list] Favorite OCaml editor?

-- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list

Re: [Caml-list] Scilab: Why not written in OCaml?

Oliver Bandel wrote: Hello, the program Scilab, a Matlab-clone, written by INRIA, is written in C, Psilab is Ocaml (plus C and Fortran libraries): http://psilab.sourceforge.net/ Erik -- -- Erik de Castro Lopo

Re: [Caml-list] Why don't you use batteries?

production repository where they are pulled onto our kiosks (should be 1000 of these round the world by about March next year) in an automatic upgrade procedure. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com

Re: [Caml-list] Why don't you use batteries?

of extlib/str/unix. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] Ocaml clone detector

Kihong Heo wrote: I want to know there is a clone detector for Ocaml program. Maybe it would help if you explained what a clone detector is. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com

Re: [Caml-list] Ocaml clone detector

Jacques Carette wrote: Erik de Castro Lopo wrote: Maybe it would help if you explained what a clone detector is. A clone is software-engineering speak for duplicated code. Exactly what qualifies as 'duplicated code' and how to efficiently find such (without too many false positives

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

Florian Hars wrote: Erik de Castro Lopo schrieb: That makes sense. I do quite low level stuff as well, even Linux device drivers and that is not ever going to be done in Ocaml or Haskell :-). People do use Haskell in developing OS kernels, and you can't get more low-level than

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

with and way more robust and debuggable than the larger body of C and C++ code we have. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

to user space functional programming. Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

[Caml-list] C wrappers and callbacks from Ocaml to C and back to Ocaml

this? I have most of the rest of the C wrapper sorted out, its just this thats causing me any difficulty. Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list

Re: [Caml-list] C wrappers and callbacks from Ocaml to C and back to Ocaml

/memory.h: CAMLextern void caml_register_global_root (value *); CAMLextern void caml_remove_global_root (value *); Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com

Re: [Caml-list] how to use c wrapper files in libraries

Aaron Bohannon wrote: I am trying to use the wrapper for libsndfile contributed by Erik de Castro Lopo (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=556). The wrapper code compiles just fine. Oh wow, I never realised that made it into the Hump. I did the wrapper as part of an experiement

Re: [Caml-list] caml_alloc + 64 bits - caml_alloc.h

-- - Erik de Castro Lopo - The evolution of languages: FORTRAN is a non-typed language. C is a weakly typed language. Ada is a strongly typed language. C++ is a strongly hyped language. -- Ron Sercely

Re: [Caml-list] More cores

? Is this (or is this going to be) developed in the open with the sources in a publicly available revision control system? Erik -- - Erik de Castro Lopo - The idea that Bill Gates has

Re: [Caml-list] Jane St Capital Ocaml Summer Project code?

-- - Erik de Castro Lopo - Heisenbugs - The bugs that go away when you turn on debugging. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] Jane St Capital Ocaml Summer Project code?

-- - Erik de Castro Lopo - Ever since GNOME development began, I have urged people to aim to make it as good as the Macintosh. To try to be like Windows is to try for second-best. - Richard Stallman

[Caml-list] Ocaml 3.01 and camlp4 syntax?

source file? Obviously, this code could be extracted and placed in its own file but I'm open to other suggestions. Cheers, Erik -- - Erik de Castro Lopo - Seen

Re: [Caml-list] Jane St Capital Ocaml Summer Project code?

-- - Erik de Castro Lopo - The difference between a violin and a viola is that a viola burns longer. ___ Caml-list mailing list. Subscription management

Re: [Caml-list] Ocaml 3.01 and camlp4 syntax?

tried ocamllex followed by camlp4? I tried it, but ocamllex errored out on the camlp4 code and if I do camlp4 first, it errors out on the ocamllex code. Cheers, Erik -- - Erik de Castro Lopo

[Caml-list] Jane St Capital Ocaml Summer Project code?

of the 2008 projects. Cheers, Erik -- - Erik de Castro Lopo - One serious obstacle to the adoption of good programming languages is the notion that everything has

Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -

sure the vast majority of the standard Ocaml bytecode compiler is written in Ocaml. The same is probably not true for the bytecode VM. Erik -- - Erik de Castro Lopo

Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -

Jon Harrop wrote: You mean the program that generates OCaml's bytecodes is written in OCaml. Commonly known as a compiler. the program that executes OCaml's bytecodes Commonly known as a virtual machine. Erik -- - Erik de

Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -

or opensource program that could do this task. =) Which particular piece of ocaml code is it that you want to convert? Erik -- - Erik de Castro Lopo - life is too long to know C

Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -

-- - Erik de Castro Lopo - Java is, in many ways, C++--. -- Michael Feldman ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] OCaml support on Ubuntu

at the right time. Agree++. Erik -- - Erik de Castro Lopo - There is no satisfactory substitute for excellence. -- Dr. Arnold O. Beckman

Re: [Caml-list] Teaching ocaml programming

. Erik -- - Erik de Castro Lopo - Cunnilinugus and psychiatry brought us to this. -- Tony Soprano in HBO's the Sopranos

Re: [Caml-list] Teaching ocaml programming

-- - Erik de Castro Lopo - Indeed, I am impressed that Google runs an 8,000 node Linux cluster, 5 data centers, an extensive network, and a rapidly evolving application all with a staff of 12. -- http

Re: [Caml-list] Mailing list archive for August

Maxence Guesdon wrote: Erik de Castro Lopo wrote: I was browsing the Ocaml mailing list archive when I noticed that the archive for August was missing: http://caml.inria.fr/pub/ml-archives/caml-list/ Is that intentional or is something messed up? Sorry for the late answer

Re: [Caml-list] Haskell vs OCaml

with its theory of patches is also far more experimental and is pushing back the boundaries of how people who write revision control software think about the field. Erik -- - Erik de Castro Lopo

Re: [Caml-list] Typeclasses in OCaml (Was: Haskell vs OCaml)

://www.cse.unsw.edu.au/~chak/papers/DHC07.html Erik -- - Erik de Castro Lopo - XML is not a language in the sense of a programming language any more than sketches

Re: [Caml-list] Haskell vs OCaml

system. Erik -- - Erik de Castro Lopo - Do I do everything in C++ and teach a course in advanced swearing? -- David Beazley at IPC8, on choosing a language for teaching

Re: [Caml-list] New Ocaml Plug-in for NetBeans

a nickle kid. Go and buy yourself a real computer :-). -- - Erik de Castro Lopo - The earth is degenerating these days. Bribery and corruption abound. Children no longer mind

Re: [Caml-list] New Ocaml Plug-in for NetBeans

are not capable of writing one and the ones with sufficient experience to write an Ocaml IDE are happy with what they have and are therefore not interested in writing one (with the possible exception of Jon Harrop). Erik -- - Erik de

Re: [Caml-list] New Ocaml Plug-in for NetBeans

backwards and hence they have no interest in writing one. So I have an idea; why don't *you* write a cross platform IDE and if it really is better than Unix then people would use it. Erik -- - Erik de Castro Lopo

Re: [Caml-list] thousands of CPU cores

-- - Erik de Castro Lopo - The day Microsoft makes something that doesn't suck is probably the day they start making vacuum cleaners. -- Ernst Jan Plugge