Re: [Caml-list] OC4MC : OCaml for Multicore architectures

Well, let me join the chorus and congratulate. I'll need to test this as soon as possible. Cheers, David On Tue, 2009-09-22 at 23:30 +0200, Philippe Wang wrote: > This is some additional "noise" about "OCaml for Multicore > architectures" (or "Ok with parallel threads GC"). >

Re: [Caml-list] Strings

The bad thing is that, whenever you have to return text in an otherwise functional program, you need to enter "mutable array of bytes" land. You can't just assume that the user isn't going to modify that string, because, they can, possibly by accident, and any invariant relying on the fact that you

Re: [Caml-list] Re: LLC book [was: Questions]

You could start with this: http://fr.wikibooks.org/wiki/Objective_Caml . I have only had the time to write about 3 chapters (in French) but it could serve as a base. Oh, and the license and source control are mostly solved by the use of Wikibooks. Cheers, David _

Re: [Caml-list] How to achieve this camlp4 syntax extension

Hi, I'm not going to quite answer your question yet -- I'd need to check the source of Camlp4 for this. However, I can point out that what you're trying to do looks very much like pa_open, by Alain Frisch. let _ = open M1.M2 in e will execute [e] using module [M1.M2]. Cheers, David On Thu,

Re: ocamlbuild documentation (was Re: [Caml-list] Re: [ANN] OCaml Batteries Included, alpha 3)

om this bare minimum? In my > opinion, questions such as "can I use the flag function inside the rule > function" are definitely not part of the bare minimum. > > (btw, the answer is: the use of the flag function inside the rule > function is not specified, thus not do

Re: [Caml-list] Re: [ANN] OCaml Batteries Included, alpha 3

0:36 +0100, Romain Bardou wrote: > All these should greatly improve the integration of findlib into > Ocamlbuild. My goal is that the findlib plugin on the wiki becomes obsolete. > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.T

Re: [Caml-list] OCaml PLEAC reaches 100%

years to make it happen. I'm > going to teach my children to be as persistent as Dave! This is > nothing short of a miracle and a heroic achievement, IMHO, and a fun > to read, too, as the examples are short and you always learn something > new. Kudos to Dave! > &g

Re: [Caml-list] Defining a family of functors

On Wed, 2009-01-28 at 01:32 +0100, Nicolas Pouillard wrote: > The encoding of modules using existential types in non modular, this > basically means that you have to heavily transform the source. > > What one need to encode modules is "open" existential types, this well > and clearly explained in

Re: [Caml-list] Defining a family of functors

I'd like that, too. I may be wrong but I have the impression that most of this can already be done with the current type system of OCaml. Unless I'm mistaken, for first-class modules, you essentially need * extendable records (aka objects, good thing we already have them) * existential types (whic

Re: [Caml-list] Making a polymorphic type non-polymorphic to comply with original signature

read/thread/f2acb593da91553c?hl=fr&ie=UTF-8&q=type+var+in+functor+fa.caml > > ugs > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Latest News of French Research: System being

Re: [Caml-list] C++/C# inheritance is bad?

hhh... Care to argument this? While I'd be glad to implement, say, graph search or min-max/alpha-beta with Cilk, I don't quite see how a concurrent GC would fit into the Cilk model. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/li

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

09 > > How can you expect to provide consistent abstractions if you are > not willing to make those decisions? > > Cheers, > > Bene -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Lates

Re: [Caml-list] Typing Dynamic Typing in ocaml?

amically known' data into a single ocaml > data-structure? -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Latest News of French Research: System being liquidated. Researchers angry. _

[Caml-list] Wanted: more feedback on the non-hierarchy candidate of Batteries

ath 107. Shell 108. Unix A. Labels 109. Equeue X. Unclassified 110. Digest 111. Random A. State 112. Date (placeholder) On Tue, 2008-11-18 at 10:56 +0100, David Teller wrote: > For this purpose, I have posted a > tree of the current hiera

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

On Fri, 2008-11-21 at 00:18 +0100, Daniel Bünzli wrote: > Le 20 nov. 08 à 22:12, David Teller a écrit : > > > If anyone is willing to work on a solution for linking documentation > > from third-party libraries into one transparent source, as suggested > > by Richard

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

X. Unclassified 110. Digest 111. Random A. State 112. Date (placeholder) On Tue, 2008-11-18 at 10:56 +0100, David Teller wrote: > For this purpose, I have posted a > tree of the current hierarchy on my blog [1]. > > [1] > http://dutherenverseaubor

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

On Tue, 2008-11-18 at 23:30 +, Jon Harrop wrote: > On Tuesday 18 November 2008 09:56:18 David Teller wrote: > I only have one major concern: you say "with the large number of modules > involved, we would need a hierarchy of modules" but the number of modules > involve

Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included

+0100, Alain Frisch wrote: > David Teller wrote: > > I thought the linker only linked in symbols which were actually used? > > No, it is not the case. > > The only automatic mechanism for code pruning is at the level of > individual modules embedded in a library. As s

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

On Tue, 2008-11-18 at 14:24 +0100, Daniel Bünzli wrote: > Le 18 nov. 08 à 13:15, David Teller a écrit : > > > But, to keep things ordered, we will still need modules > > [Threads.Threads], [Threads.Mutex], [Threads.RMutex]... > > [CoThreads.Threads], [CoThreads.Mutex

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

and Data.Mutable into Data.Containers. Whether we flatten further remains open to debate. Thanks, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU ac

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

we could add to Batteries, if needed. Camlp4 is pretty-much necessary to use Batteries anyway and Camlp4 already defines IFDEF, INCLUDE, etc. We would just need to complete that DSL perhaps to accept any valid OCaml expression and call the ocaml interpreter to evaluate these expressions. Ch

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

code it also reduces the amount > of decisions you have to do when writing new code. > > http://ocaml.janestreet.com/?q=node/28 > > Cheers, > > Bene > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angr

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

7;ve started on this track, albeit perhaps not with such grand ambitions. Thanks for the idea, David P.S.: I've pointedly ignored your perch on POD :) In my mind, that's a very different topic. For the moment, we'll stick with ocamldoc. -- David Teller-Rajchenbach Security of Distr

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

h already appear in the current version of Batteries, and with some space left for OCamlnet, OCamlnae, Reins, Camomile, ULex, Camlp4, CoThreads and a few others. I truly mean it, if you can provide us with something you consider more comfortable and as future-proof, we may adopt it. Cheers, David -

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

nts may still appear. Do you see any better way of managing the complexity of all this? Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings

[Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included

y > > external packages. If you use an underscore then an external package > > can extend the namespace (eg. by providing System_Newpackage) > > And, doesn't that forces all sub modules to be linked into the final > executables even if we only use one of them? -- David

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

derscore ('_'). > Using a dot means that the System namespace cannot be extended by > external packages. If you use an underscore then an external package > can extend the namespace (eg. by providing System_Newpackage) > > Rich. > -- David Teller-Rajchenbach Security

[Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

David [1] http://dutherenverseauborddelatable.wordpress.com/2008/11/18/batteries-hierarchy/ [2] http://batteries.forge.ocamlcore.org/doc.preview/batteries-alpha2/doc/batteries/html/api/index.html -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members

Re: [Caml-list] [announce] O'Browser : OCaml on browsers

this being used by stuff like Ocsigen to make for (even) richer client-server applications. Just my two cents, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need refo

Re: [Caml-list] Implementation of lazy_t

ractions in the constructor to suspend evaluation and applying > them to force evaluation? That's call-by-need indeed. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universitie

Re: [Caml-list] Hiding a public module/type?

Thanks, I'll try that. On Tue, 2008-11-04 at 00:38 +0100, Martin Jambon wrote: > Then you only have to install the packed.cm* files. It gives you: > > # Packed.Outer.f 5;; > This expression has type int but is here used with type Packed.Outer.t > > > > Martin

Re: [Caml-list] Optional arguments

: int -> int = > # for i = 0 to 5 do print_int (a i); done;; > 012345- : unit = () > > Is this something to be expected? Or perhaps something which calls > for an upgrade? > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Membe

[Caml-list] Hiding a public module/type?

t Is there a simple way of turning this error message into This expression has type int but is used with type Outer.t ? Thanks, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need ref

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

Le me be more specific: we're not working on a ocamlbrowser replacement. We're just working on a on-line help system. In turn, this help system could be useful for someone wishing to write a ocamlbrowser replacement. Cheers, David On Wed, 2008-10-22 at 23:56 +0200, David Teller wr

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

h the manual, I'm afraid). For information, we have the beginning of a ocamlbrowser replacement in Batteries. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms,

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

of efuns [1] and Chamo [2]. [1] http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm [2] http://home.gna.org/cameleon/ Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms,

Re: [Caml-list] Camelia progress, indenter

s about it. And, again, most projects don't have any. Cheers, David On Mon, 2008-10-20 at 09:01 -0400, Kuba Ober wrote: > On Friday 17 October 2008, David Teller wrote: > > A notion of projects would be nice, which would give the ability to > > save/load multiple files. >

Re: [Caml-list] Camelia progress

x27;s final. I'm sure of Ocamlbuild support. > Any other features that people would like? > * - "slightly" in the log scale, so just one order of magnitude > is "not much" ;) -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans

Re: [Caml-list] ANN OCaml Batteries Included alpha 1

Zang wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On Sunday 12 October 2008 09:59:13 am David Teller wrote: > > Hi, > > > > It seems we forgot one dependency in the README: you need Bin-prot to > > get Batteries to work. I must confess that we coul

Re: [Caml-list] ANN OCaml Batteries Included alpha 1

place (automated with some elisp of > course). This allows me to test, in the toplevel, each little change I make. > > Thanks in advance, > > Peng > > > > > > On Saturday 11 October 2008 09:48:34 am David Teller wrote: > > Dear list, > >

Re: [Caml-list] ANN OCaml Batteries Included alpha 1

#x27;s list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French

[Caml-list] ANN OCaml Batteries Included alpha 1

e.ocamlcore.org/frs/shownotes.php?release_id=44 [3] http://forge.ocamlcore.org/docman/?group_id=17 Have fun coding, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but

Re: [Caml-list] Auto-generate mli from ml?

y, but if I'm guessing > correctly that your goal is obtaining both the .mli and the ocamldoc > output, you can achieve that with legacy "ocamlc -i" and ocamldoc with > merge options on the .ml alone. > > But it is likely that I'm not guessing correctly

[Caml-list] Auto-generate mli from ml?

d keep). Now, that doesn't look like something too hard to write, with a combination of 'ocamlc -i' and camlp4, I'm just wondering if someone has already written such a tool. Thanks, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orlea

Re: [Caml-list] Reading external references from cmo/cmx files

You can take a look at objinfo. On Sat, 2008-10-04 at 16:20 -0400, Jason Noakes wrote: > Are there any tools or examples that would allow me to take a .cmo or .cmx > file and produce a list of the external modules that are referenced from > that file? -- David Teller-Rajchenbach Se

Re: [Caml-list] Metaprogramming features

roves useful remains to be seen. I'm planning to put a few graduate students on writing a Caml bytecode => LLVM compiler later this year and if things go nicely on a whole OCaml => LLVM compiler next year. I believe that a Summer of Code on the subject would be quite profitable (altho

Re: [Caml-list] Metaprogramming features

l, that's unfortunate. We'll have to keep relying on camlp4 for the moment. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities

Re: [Caml-list] 'Compiler' module (was: embedding ocaml into a windows app: need gcc?)

ext.t -> string -> (Context.t * AST.t) > val get_type : Context.t -> AST.t -> Type.t; > val eval : Context.t -> AST.t -> Context.t * (Type.t * > MarshalledValueOrSomething.t) > end > > Is it really so hard to have it in OCaml? I'm envy of Python's Com

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

Shouldn't you rather look for bindings from OCaml to these languages? Cheers, David On Thu, 2008-10-02 at 22:33 -0700, axllaruse wrote: > I would like to convert all the MTASC open source project to C/C++ or PHP. -- David Teller-Rajchenbach Security of Distributed Systems http://

Re: [Caml-list] Metaprogramming features

> This feature request is currently the entry in Mantis which has (by far!) the > largest number of comments from separate people, as well as now being the > entry with the most comments overall. > > Please add your voice to the chorus! > > Jacques -- David Teller-

[Caml-list] Re: OCamlBuild question

> > Yes the function is called expand_module it takes 3 arguments, the include > directories, the module name, the extensions. > >Example: let include_dirs = Pathname.include_dirs_of (Pathname.dirname > mlpack) > in build (expand_module include_dirs module_nam

[Caml-list] Re: OCamlBuild question

odule it takes 3 arguments, the include > directories, the module name, the extensions. > >Example: let include_dirs = Pathname.include_dirs_of (Pathname.dirname > mlpack) > in build (expand_module include_dirs module_name ["mli"; > "mli.depends"

[Caml-list] OCamlBuild question

tree, resolving [include] directives myself to find a .ml or a .mli which may be the right file. Does anyone have suggestions? Thanks, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need

Re: [Caml-list] Re: [ANN] ocamlbuild-ctools and symbiosis meta build engine

but at least you have > the source code now. Symbiosis looks quite interesting. I'm really looking forward to seeing an example project! Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry resea

Re: [Caml-list] embedding ocaml into a windows app: need gcc?

el Reymont wrote: > Ideally, I would like to generate OCaml code at runtime and compile it > into something that can be loaded by a runtime of some sort. > > Compiling into a DLL would be ideal, is it possible? > > Are there are other options? -- David Teller-Rajchenbach Sec

Re: [Caml-list] Teaching ocaml programming

y error message). > > Andrej -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___ C

Re: [Caml-list] Teaching ocaml programming

___ > 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://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --

Re: [Caml-list] thousands of CPU cores

person struggling to contain my excitement. :-) * *_o/ |/ / 'nuff said -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU

Re: [Caml-list] Camlp4. print variable value to target source.

27;t look correctly typed. However, you can try replacing ?contents of t here? with $t$. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Univer

Re: [Caml-list] Replacing Pervasives?

> which adds "open Myperv;;\n" before calling ocamlc ^^ Yes, that's the kind of things I have in mind. Unfortunately, it seems that ocamlc only supports one "-pp" tag. So if I use a simple "-pp 'cat myprefix.ml'", I become incompatible with Camlp4 :/

Re: [Caml-list] Replacing Pervasives?

Would that open anything by default? On Mon, 2008-09-08 at 12:04 +0200, Romain Bardou wrote: > I guess you could try and make your own stdlib directory, and then > call > ocamlc using: > > ocamlc -nostdlib -I mystdlib > > or something like that... > -- David Teller-

Re: [Caml-list] Replacing Pervasives?

Technically, I guess I can write a Camlp4 extension just to add "open Foo" at the beginning of every file, but it seems a bit complex for such a simple task. Any other idea? Thanks, David On Mon, 2008-09-08 at 10:06 +0200, David Teller wrote: > Dear list, > > Does anyone k

[Caml-list] Replacing Pervasives?

Dear list, Does anyone know how I can get a module to be auto-opened by the compiler, in the same vein as Pervasives? I would very much prefer not having to tweak around the source code of ocamlc for this purpose. Thanks, David -- David Teller-Rajchenbach Security of Distributed

[Caml-list] [ANN] Batteries Included documentation, updated preview

r. Cheers, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___ Caml-list mailing

Re: [Caml-list] Two questions on OCamlDoc

sdon wrote: > On Fri, 05 Sep 2008 14:33:43 +0200 > David Teller <[EMAIL PROTECTED]> wrote: > > > I'm doing some pre-treatment on the module structure before actually > > generating documentation. In particular, I'd like to be able to find out > > if the .

Re: [Caml-list] Two questions on OCamlDoc

to do such a thing? Thanks, David On Fri, 2008-09-05 at 14:03 +0200, Maxence Guesdon wrote: > What do you mean by access ? do you want a link to a html page of the code ? > And what do you mean by "reparse the [m_code]" ? > > Regards, > > Maxence > -- David Te

Re: [Caml-list] Two questions on OCamlDoc

ere a simple way to access the underlying implementation without having to reparse [m_code]? Thanks, David On Tue, 2008-09-02 at 13:47 +0200, David Teller wrote: > Hi everyone, > > I'm currently toying with OCamlDoc, with very little success. I'm > attempting to do two thin

Re: [Caml-list] Another question on OcamlDoc

According to the documentation, ocamlfind can manage that. Cheers, David On Tue, 2008-09-02 at 14:48 +0200, Jan Kybic wrote: >- how can I tell OcamlDoc to run a preprocessor on the file first? > (I am using ocaml+twt) -- David Teller-Rajchenbach Security of Distributed S

Re: [Caml-list] Two questions on OCamlDoc

And while I'm asking complex questions, can anyone think of a way of asking OCamlDoc to resolve [string] to [String.t], ['a list] to ['a List.t], ['a array] to ['a Array.t], etc? Thanks, David On Tue, 2008-09-02 at 13:47 +0200, David Teller wrote: > Hi everyone, >

[Caml-list] Two questions on OCamlDoc

hole documentation of each of these modules to be inlined. Is that possible? Thanks in advance, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, b

Re: [Caml-list] `This expression is not a function it cannot be applied'

anagement: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- David Teller-Rajchenbach Security of Distributed Systems http

Re: [Caml-list] ANN: Batteries Included Release 0

://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1 On Sat, 2008-08-30 at 11:37 +0200, David Teller wrote: > More details on the blog [1]. The code may be found on OCamlForge [2]. A > GODI package is being prepared. Suggestions and discussions on this >

[Caml-list] ANN: Batteries Included Release 0

pared. Suggestions and discussions on this mailing-list are heartily welcome. Cheers, David [1] http://dutherenverseauborddelatable.wordpress.com/2008/08/29/ocaml-batteries-included-release-0-where-it-should-all-have-begun/ [2] http://forge.ocamlcore.org/frs/?group_id=17&release_id=41 -- Dav

Re: [Caml-list] Run-time evaluation of a Printf format string

Pervasives.string_of_format only accepts constant strings. > Or is there some external library useful for this task? > > For the moment I have started to implement it myself for the limited > set of format specifications I will need but if there is some more > elegant solution I wou

Re: [Caml-list] Haskell vs OCaml

answer this question: they are > equivalent. > > The reduction is quite easy. A fork can be reduced to a spoon using a > fire, an anvil and a hammer, and a spoon can be reduced to a fork using > a saw. > > Hope this helps. > -- David Teller-Rajchenbach Security of Di

Re: [Caml-list] Got GMP?

Under Debian/Ubuntu, it's libgmp-ocaml . I don't see any GODI package, though. Cheers, David On Tue, 2008-07-22 at 14:47 -0700, Shivkumar Chandrasekaran wrote: > Hi, > > Does anybody have an ocaml interface to GMP (Gnu Multi-Precision > library)? Thanks, > >

Re: [Caml-list] Polymorphic variant as a witness?

On Mon, 2008-06-23 at 19:27 +0900, Jacques Garrigue wrote: > From: David Teller <[EMAIL PROTECTED]> > * first remark: ocamlc -i works even with non-generalizable types, as > it does not generate any .cmi. Interesting. I'm not sure it's usable in my case, but it's

Re: [Caml-list] Polymorphic variant as a witness?

On Sun, 2008-06-22 at 01:27 +0200, Christophe TROESTLER wrote: > On Sun, 22 Jun 2008 01:11:59 +0200, David Teller wrote: > > > > I could have a value (let's call it "witness") with type > > [> ] ref > > Why do you want it to be mutable? Because

Re: [Caml-list] cost of monads

happens in haskell (and I sometimes feel that I'm > reinventing the wheel -- although it's very educational!), but I'd > prefer to stick with ocaml if possible. > > Warren > -- David Teller Security of Distributed Systems http://www.uni

[Caml-list] Polymorphic variant as a witness?

at with ocamlc -i or such. My question is: is there a way to hijack polymorphic variants into doing what I wish? Or to encode this behaviour somehow? Thanks, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry re

Re: [Caml-list] Re: Where's my non-classical shared memory concurrency technology?

g-sections-don't-compose-), > did anyone invent and implement a usable type or other system for > making concurrency > and parallelism safe? > > If the answer is STM, please show me some non-trivial application that > uses it, preferably > in an impure language. -- David Teller

Re: [Caml-list] Re: Why OCaml rocks

lse during that copy. > On the contrary, that is not a theoretical statement at all: it > already > happened. F# already makes it much easier to write high performance > parallel > algorithms and its concurrent GC is the crux of that capability. Examples ? Pretty please ? Ch

Re: [Caml-list] Re: Why OCaml **cks

ll. Please stop that. Both of you. -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___ Caml-list mailing

Re: [Caml-list] Re: Why OCaml rocks

gt; > A concurrent GC is the only major issue. Everything else is > comparatively > easy. Well, if you get to write a concurrent GC for the core of OCaml, feel free to alert the community. People might be willing to help with advanced features. Cheers, David -- David Teller Security

Re: [Caml-list] Re: Why OCaml rocks

; versions of the functions if you want exceptions. -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___

Re: [Caml-list] Re: Why OCaml rocks

x27;t figure out what it looks like. > > Thanks, -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___

Re: [Caml-list] Re: Why OCaml rocks

compiler for OCaml (or whichever other language) and gradually improving the forked compiler, but that's a different story altogether. Cheers, David [1] https://forge.ocamlcore.org/frs/shownotes.php?release_id=12 -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/

Re: [Caml-list] Documenting submodules ?

lurking whenever the source packages are updated. > This is normal behaviour too. You're redefining a module here, and the > way it is defined is reflected by the html code generated by ocamldoc, with > a link on the Sub.SubSub page. I have a link to an empty Sub.SubSub page. Is tha

Re: [Caml-list] Documenting submodules ?

gt;(** This is {!B}. It contains a single value {!B.b}. *) >module B = struct let b = 1 end > >let a = 0 > > end > = > > $ ocamldoc -version > Ocamldoc 3.10.1 > $ ocamldoc -html sub.ml > > Hope this helps, > Julien Signoles > --

Re: [Caml-list] Core has landed

s in Camomile is dangerous - the two cannot then > be used at the same time. This is really a problem with extlib, it > just shouldn't be distributing this module. > > In any case, why don't you just use Camomile? > > Rich. > -- David Teller Security of Distributed Sy

Re: [Caml-list] Should a /\ operator be possible?

eg: > > let (∪) = ... > let (⊆) = ... > > Rich. > -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___

[Caml-list] Documenting submodules ?

r ocamlbuild plug-in or anything else that could help me document my code without having to rewrite everything and/or to copy and paste thousands of lines of .mli ? Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angr

Re: [Caml-list] Invoking the standard library ?

his would make > it monolithic, meaning that all programs would have to include all the > standard library. Would that change the final binary ? Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: Fr

RE: [Caml-list] Invoking the standard library ?

. and I wouldn't want ocamlbuild or ocamldep to decide compiling string.ml before inria.ml. Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liqu

[Caml-list] Invoking the standard library ?

, which then lets me proceed with this manipulation. Unfortunately, that's a bit clumsy, not to mention that I haven't found a nice way to get this all to build in one go with ocamlbuild. I'd like to know if there's a better mechanism. Thanks in advance, David -- David Teller

Re: [Caml-list] [OSR] Standard syntax extensions ?

gt; > bye, >Till > > -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___ Caml-list mailing li

Re: [Caml-list] [OSR] Standard syntax extensions ?

; Whatever it's just a minor quibble, but this thread was about > syntax extensions, after all. -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities n

Re: [Caml-list] [OSR] Standard syntax extensions ?

ing omissions, like try..finally, but they should > be fixed properly in the compiler and not using camlp macros. > -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act b

Re: [Caml-list] [OSR] Standard syntax extensions ? - voting

Good idea. Would you handle this wiki ? Cheers, David On Fri, 2008-04-25 at 00:16 +0800, Stefano Zacchiroli wrote: > What about the following 2 phases: > 1) prepare a list of nominations, maybe as a page on cocanwiki > 2) vote on them using a Doodle poll -- David Teller Se

Re: [Caml-list] [OSR] Standard syntax extensions ?

that you can almost consider them as standard language features. > > -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. ___

  1   2   >