[Caml-list] JFLA 2010: appel à participation

2009-12-24 Thread Micaela Mayero
Appel a participation JFLA'2010 (http://jfla.inria.fr/2010/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 30 janvier au 2 février 2010 Le programme des 21èmes JFLA est m

Re: [Caml-list] obj.magic for polymorphic record fields

2009-12-24 Thread Goswin von Brederlow
Boris Yakobowski writes: > On Tue, Dec 22, 2009 at 2:35 PM, Goswin von Brederlow > wrote: >> But the type inference should deduce that in >> >> (Obj.magic fn) x >> >> the 'a is actually 'b -> 'c as I am applying an argument to it. > > Sure, and it does. But it remains that the principal type of

Re: [Caml-list] Re: multicore wish

2009-12-24 Thread Goswin von Brederlow
Jon Harrop writes: > On Tuesday 22 December 2009 18:02:32 Edgar Friendly wrote: >> On 12/22/2009 01:12 PM, Jon Harrop wrote: >> > On Tuesday 22 December 2009 13:09:27 Goswin von Brederlow wrote: >> >> The advantage with ocaml though is that you never have pointers into a >> >> structure. Makes th

Re: [Caml-list] Re: multicore wish

2009-12-24 Thread Goswin von Brederlow
Jon Harrop writes: > On Tuesday 22 December 2009 13:09:27 Goswin von Brederlow wrote: >> Jon Harrop writes: >> > 1. The array "a" is just an ordinary array of any type of values on the >> > shared heap in F# but, for generality in OCaml, this must be both the >> > underlying ordinary data and a

[Caml-list] Sysadmin/programmer combo positions at Jane Street

2009-12-24 Thread Owen Gunden
The generic ad follows. And a specific note for caml-list consumers: most of our systems automation software is written in OCaml. - Sysadmin/Programmer combo (aka Systems Automation Specialist) Seeking: Responsible, careful, passionate and skillful technology specialists to help build and m

Re: [Caml-list] Re: multicore wish

2009-12-24 Thread Jon Harrop
On Thursday 24 December 2009 12:58:18 Goswin von Brederlow wrote: > Jon Harrop writes: > > On Tuesday 22 December 2009 18:02:32 Edgar Friendly wrote: > >> On 12/22/2009 01:12 PM, Jon Harrop wrote: > >> > On Tuesday 22 December 2009 13:09:27 Goswin von Brederlow wrote: > >> >> The advantage with oc

Re: [Caml-list] Re: multicore wish

2009-12-24 Thread Jon Harrop
On Thursday 24 December 2009 13:19:52 Goswin von Brederlow wrote: > Jon Harrop writes: > > No, in OCaml I fork every child. That is the only transparent way to give > > the child a coherent view of the heap but it is extremely slow (~1ms): > > So if you add a (sleep 60) to the ocaml code then ocam

[Caml-list] Funny problem with ocamlc -custom under Cygwin

2009-12-24 Thread Mike Spivey
I'm using the MinGW version of OCaml 3.11.0 under Cygwin to build a custom-linked executable. The command ocamlc -custom -o foo.exe foo.ml produces the rather cryptic error message Access is denied. ** Fatal error: hd File "_none_", line 1, characters 0-1: