[Caml-list] Call for Papers: LPNMR'09

2009-03-16 Thread LPNMR09 Account
Call for Papers: LPNMR'09 = 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009 http://www.cs.uni-potsdam.de/lpnmr09 LPNMR'09 is the tenth in the series of international meetings on logic programming and

[Caml-list] dll from ocaml code

2009-03-16 Thread Joel Reymont
Does anyone have a recipe for packaging OCaml code as a DLL or shared library? I need to be able to expose a few entry points that correspond to OCaml functions. Thanks, Joel --- http://tinyco.de Mac, C++, OCaml ___ Caml-list mailing

Re: [Caml-list] dll from ocaml code

2009-03-16 Thread Matthieu Dubuget
Joel Reymont a écrit : Does anyone have a recipe for packaging OCaml code as a DLL or shared library? yes I need to be able to expose a few entry points that correspond to OCaml functions. Suppose that you add this line: flag [link;cmldll] (S[A-output-obj]); and this rule in the

Re: [Caml-list] caml trading

2009-03-16 Thread Jim Miller
The beginning of the talk gives a flavor of role that Jane Street actually does play in the markets, so that's a good thing to watch if you're interested. I did watch the video, that's why I asked the question. From the video it sounds like your are buying and selling things on the market

Re: [Caml-list] New bee question

2009-03-16 Thread Stefano Zacchiroli
On Mon, Mar 16, 2009 at 10:21:09AM -0400, Markus Mottl wrote: This indicates that your type-conv library, on which bin-prot depends, is not up-to-date. It is also highly recommended to upgrade to the newest compiler release. BTW, since I've been hit by this several time, can you please guys

Re: [Caml-list] caml trading

2009-03-16 Thread Markus Mottl
On Mon, Mar 16, 2009 at 10:24, Yoann Padioleau pada...@wanadoo.fr wrote: I did watch the video, that's why I asked the question. From the video it sounds like your are buying and selling things on the market at the micro-second level. I don't see any value, any wealth created doing that. The

Re: [Caml-list] caml trading

2009-03-16 Thread aditya siram
Thanks for this awesome video! I was unaware that the Caml compiler did not optimize source code before generating native code. Now I am a little less afraid to study the actual compiler! Your point about a lack of GUI libraries is great - however it seems as though they are not as important as

Re: [Caml-list] caml trading

2009-03-16 Thread Jon Harrop
On Monday 16 March 2009 17:01:15 aditya siram wrote: Thanks for this awesome video! I was unaware that the Caml compiler did not optimize source code before generating native code. Now I am a little less afraid to study the actual compiler! The OCaml compilers are remarkably comprehensible. I

Re: [Caml-list] caml trading

2009-03-16 Thread Yaron Minsky
On Mon, Mar 16, 2009 at 10:30 AM, Jim Miller gordon.j.mil...@gmail.comwrote: You discussed the issues that Jane Street has in programming in the large. We have a small OCaml investment here and we are probably going to significantly expand that. I'm curious, what are you guys doing with

[Caml-list] Re: Compiling with Xcode

2009-03-16 Thread Jeffrey Scofield
John Whitington j...@coherentgraphics.co.uk writes: /Developer/usr/bin/gcc-4.0 -arch i386 -isysroot /Developer/SDKs/MacOSX10.5.sdk -L/Users/john/Desktop/Cversion/build/Debug -L/Developer/SDKs/MacOSX10.5.sdk/usr/local/lib/ocaml -L/Users/john/svnrepos/trunk

Re: [Caml-list] Parsing 64-bit ints in 32-bit OCaml

2009-03-16 Thread Jean-Christophe Filliâtre
Jon Harrop a écrit : I'm just trying to write efficient functions for div and mod by three. I'd like to handle 32- and 64-bit machines with the same code so I tried: let gcd3 = match Sys.word_size with | 32 - 715827883 | 64 - 3074457345618258603 | _ - failwith Unknown word

Re: [Caml-list] caml trading

2009-03-16 Thread Mike Lin
2009/3/14 Yaron Minsky ymin...@gmail.com On Fri, Mar 13, 2009 at 8:56 PM, Yoann Padioleau pada...@wanadoo.frwrote: Having said that, about your company, Jane Street, aren't you part of the people that put the countries in such trouble ? Do you create wealth ? It seems you are just a

[Caml-list] Call for Papers Test And Proof 2009

2009-03-16 Thread david . delahaye
Last cfp TAP 2009 : test and proof : submission deadline 20 march 2009 (Apologies for multiple copies) Call for Papers === TAP: Tests And Proofs The Third International Conference on Tests And Proofs (TAP) will be held at ETH Zurich, Switzerland on 2 and 3 July 2009 as part of the

Re: [Caml-list] caml trading

2009-03-16 Thread David Baelde
Hi, I'm not sure how much this is off-topic... Although this thread was intended to be about an industrial use of OCaml, one cannot ignore other aspects like advertising: it is rarely possible to separate issues as clearly as we'd like. Anyway, I feel very much concerned about this debate, and

Re: [Caml-list] Compiling with Xcode

2009-03-16 Thread Jon Harrop
On Monday 16 March 2009 13:47:59 John Whitington wrote: I'm now trying to compile this with XCode - eventually as part of a Cocoa/Objective C program, but for now, just as a plain C project. Stage (1) above will still be done outside xcode, just the main program compilation and link in xcode.

Re: [Caml-list] caml trading

2009-03-16 Thread Alexy Khrabrov
Ah, what the heck, let's put this into a good Old Europe vs New World-style, capitalism vs. socialism perspective! On Mar 16, 2009, at 10:37 PM, David Baelde wrote: Like many others, I've been feeling for a long time that many financial products and practices don't make sense. I recognize