Hello,
2010/12/13 Jérémie Dimino :
> OBus aims to make it easy to use and provide D-Bus services in OCaml.
...
> OBus is distributed with predefined OCaml interfaces to the following
> services: Hal, NetworkManager, Popup notifications, PolicyKit, UDisks
> and UPower.
Are there any example of the
Hello,
2010/11/18 Ashish Agarwal :
> Rapid prototyping for me often involves a couple of lines of code that read
> in a very large file and do something with it. I have to keep compiling
> these small programs to native code because the performance of the toplevel
> is too slow. Then, I have to re
Hello,
2010/11/4 Jamie Brandon :
> The unmarshalling itself finishes ok but I guess the
> segfault could be caused when accessing the resulting data structure?
You could frequently call major collection in the GC, in order to be
as close as possible to the source of the segfault (e.g. after your
Hello Sylvain,
2010/10/1 Sylvain Le Gall :
> [Generated by 'OASIS announce']
Very good! Except the license, all the information I want from an
announcement in a short format.
Sincerely yours,
david
___
Caml-list mailing list. Subscription management:
Hello,
2010/9/23 ben kuin :
> So why does the whole world tries to hammer some functional features
> into his imperative language? Why not maximize the imperative features
> of a functional language?
Because some algorithms or way to solve problems (think pattern
matching) are inherently better e
Hello,
2010/9/23 ben kuin :
> I'm a Ocaml n00b (without any degree). Therefore I have a faible for
> everything that makes Ocamls syntax more algol/imperative like [1].
If you are new to OCaml, I strongly advise you to learn it the way it
is, with its syntax (somewhat quirky[1], I admit). You are
Hello,
2010/9/14 Vincent Gripon :
> Is there any platform independent way to compile OCaml sources to C sources?
Probably stupid answer: compile to byte code and provide the source
code of the C OCaml byte code interpreter with the program embedded as
C structure?
Sincerely yours,
david
___
Hello,
2010/8/25 Maxence Guesdon :
> I think these projects would take advantage of having at least one web page
> giving all basic information: description, status, license, author(d),
> download links.
As a simple OCaml user, I agree with Maxence. If an announcement is
not provided without thos
Hello,
2010/8/25 malc :
> New version of llpp is available at [1] new features include:
What is llpp?
Yours,
david
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inri
Hello,
2010/7/9 Gaspard Bucher :
> From my understanding of the use of
> caml_startup (or caml_main), this means that the caml runtime is
> global.
Yes.
> Is there a way to avoid:
>
> 1. global locking (or locking only during script recompilation)
I don't think so.
> 2. script level encapsulat
Hello,
2010/7/8 Gaspard Bucher :
> 1. Is it possible to embed an ocaml compiler ? (something that eats
> std::string and produces a callable thing)
No, not the compiler. It is however possible to embed an interpreter
and to load byte code (and native code?) on demand:
http://caml.inria.fr/pub/d
Hello,
2010/6/17 Simon P :
> We want to build a small domain specific language and convert it to
> a C-like language. In the process of this source-to-source translation, we
> want to try partial evaluation followed by relatively simple optimizations
> (dead code elimination, common subexpressio
Hello,
2010/6/3 Maxence Guesdon :
> Daniel Bünzli a écrit :
>> A command line switch for this in ocamldoc would be nice and forward
>> looking (since the rest of the tool suite is perfectly able to deal
>> directly with UTF-8 encoded sources).
>
> Agreed, but 3.12.0 is already in feature freeze.
Hello Séphane,
2010/4/30 David MENTRE :
> 2010/4/30 Stéphane Glondu :
>> David MENTRE a écrit :
>>> I also used Cryptokit once. It was pretty useful and easy to use.
>>> However I had to modify a few lines in it in order to allow me to do
>>> some composi
Hello Stéphane,
2010/4/30 Stéphane Glondu :
> David MENTRE a écrit :
>> I also used Cryptokit once. It was pretty useful and easy to use.
>> However I had to modify a few lines in it in order to allow me to do
>> some compositions with Cryptokit building blocks.
>
>
Hello,
2010/4/25 Eray Ozkural :
> Well, crypotkit is pretty useful and you can easily add your own
> implementations to it. Nice framework. I had implemented a
> zero-knowledge protocol with it.
I also used Cryptokit once. It was pretty useful and easy to use.
However I had to modify a few lines
Hello Warren,
2010/3/3 Warren Harris :
> Thanks, this is excellent info. I've been using both gprof and shark and
> understand the tradeoffs. I really was looking for a way to just provide a
> simple live "gc overhead" number that we could graph along with a bunch of
> other server health stats fo
Hello,
2009/11/25 David MENTRE :
> I'm considering doing a short presentation of OCaml to my colleagues
> in my research lab.
[...]
> Therefore, I'm looking for reusable material for a presentation:
Many thanks to all who replied. As usual, some answers were not in
what I exp
Hello,
I'm considering doing a short presentation of OCaml to my colleagues
in my research lab. They are working in the telecommunication and
power electronic sectors, mainly doing signal processing and
simulations. I know OCaml[1] but not specifically those domains.
Therefore, I'm looking for re
Hello,
2009/9/3 vernade :
> I just downloaded ocaml (and caml-light) . I am looking for documentation on
> pdf
> or any format that I can easily download , read and print. I need basic
> information.
As you probably speak French, take a look at "Le Langage Caml" book:
http://caml.inria.fr/pub/
Hello Erik,
2009/9/4 Erik de Castro Lopo :
> If batteries is available for 9.10
Batteries is available for 9.10:
http://packages.ubuntu.com/search?keywords=batteries
> and I like it enough I will probably
> grab the 9.10 source package and backport it to 6.06 and 8.04 and then
> push it into our
Hello,
I am very pleased to announce that transition to OCaml 3.11.1 in
Ubuntu Karmic is now completed!
http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
Many thanks to (in order of appearance):
* Ubuntu side:
James Wetsby
Andrea Gasparini
Mic
Hello,
2009/8/18 Richard Jones :
> It's relatively low-level when you need it to be, and it wouldn't be
> too much work to separate out the runtime and reimplement it on top of
> baremetal.
I've done part of this in the past (KOS is not bare metal but a kernel
nonetheless):
http://caml.inria.fr
Hello,
2009/8/11 :
>> 1004b6cc: 68b8 ldl t8,0(a1) ; Mips strange but
>> clever way to load a possibly unaligned doubleword into t8.
>> 1004b6d0: 6cb80007 ldr t8,7(a1)
>
> Too clever for me apparently.
> Of course on a little endian CPU that must be :
>
>
Hello,
Are any OCaml developers going to the RMLL at Nantes next week?
Yours,
david
___
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://gro
Hello Mathieu,
2009/7/2 Matthieu Dubuget :
> The strategy I adopted is to spawn a recursive thread that
> periodically try to erase the file until success.
That seems the wrong solution to me. The unlink syscall should work
immediately or you have another reason why it only works after a
certain
Hello,
I'm pleased to announce that all OCaml packages made by Debian
developers are now synchronized to OCaml 3.11.0 in Ubuntu Karmic:
http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
Moreover, all packages[1] have the same version number in Debian
Uns
Hello Vincent,
On Fri, Jun 12, 2009 at 18:17, Vincent
Balat wrote:
> We have a project to build a forge with such features (based on the Ocsigen
> framework).
> (The project will be hosted by ocamlcore.org:
> http://forge.ocamlcore.org/projects/ocsforge/)
I discovered this project through the OCa
Hello,
On Thu, Jun 4, 2009 at 19:03, Jean Krivine wrote:
> Does anyone knows a simple way to evaluate the time spent by an ocaml
> program in GCing?
Activate profiling in native code version and sum the time spent in
the GC entry points in gprof call graph output?
Sincerely yours,
david
__
s.
As far as I know, one is using ocamlopt to improve performance. I can't
think of any case where one would need native code running on pre-SS2
machines which are so outdated performance-wise.
So I would vote for option 2: always use SSE2 float arithmetic.
Sincerely yours,
david
--
GPG/PGP key:
Hello Jon,
On Mon, Apr 20, 2009 at 23:15, Jon Harrop wrote:
> For example, Mathematica syntax for nested lists of integers looks like:
>
> {{{1, 2}}, {{3, 4}, {4, 5}}, ..}
>
> and there are obvious divide-and-conquer approaches to lexing and parsing that
> grammar. You can recursively subdivide
Hello,
On Tue, Apr 14, 2009 at 07:11, Satoshi Ogasawara wrote:
> - Multi-threaded design using Concurrent ML style message passing.
> - Time-line animation and functional reactive sprite system.
> - X11 Binding.
> - 2D vector rendering by cairo.
1. Are there any screenshots?
2. Is there a wid
Hello,
On Tue, Apr 7, 2009 at 07:48, Goswin von Brederlow wrote:
> In the last 2 weeks I've been playing around with lots of different
> ways to do the same thing to get a feel for what style suites me
> best. If you have improvements or alternative ways of doing the two
> things below let me kno
Hello,
On Wed, Apr 1, 2009 at 22:23, Matthieu Wipliez wrote:
> Isn't the book written in French? (I mean "Le langage Caml"...).
Yes.
> It could be nice to translate it in English, at least to have a larger base
> of readers, and adapt the examples from Caml Light to Objective Caml (I don't
>
Hello,
On Tue, Mar 31, 2009 at 16:44, Martin Jambon wrote:
> There is however one book that covers the essentials, "Le Langage Caml"
> by Weis and Leroy, which despite using the Caml Light dialect is the most
> enlightening programming book I've ever got to read.
I heartily agree. It's ability t
Hello,
On Wed, Mar 25, 2009 at 10:02, Damien Doligez wrote:
> For example, I don't understand why you
> would need a detailed review of the code in order to notice that the
> licence (which you quoted) is an exact copy of the new BSD licence
> (straight from www.opensource.org, IIRC).
I already
Hello Martin,
On Tue, Mar 24, 2009 at 12:08, Martin Jambon wrote:
> David MENTRE wrote:
>> For those interested in such details, FoCaLize seems to be under a
>> BSD-like license (I have not made a detailed review of the code). I
>> would be interested to know if knowledge
Hello,
Thank you for the announcement. The project seems quite interesting.
On Tue, Mar 24, 2009 at 11:07, Pierre Weis wrote:
> (1) Where to find it ?
> --
> FoCaLize home page is http://FoCaLize.inria.fr/
> FoCaLize source files can be found at
> http://FoCaLize.inria.fr/dow
Hello Mihamina,
On Tue, Feb 3, 2009 at 13:09, Mihamina Rakotomandimby (R12y)
wrote:
> (already posted in OCsigen ML, but seems top be unresponsive list)
Maybe you should wait more than 15 minutes...
> when trying to compile:
>ocamlc \
>-I /usr/lib/ocsigen/extensions/ \
>-I /usr/lib/
Hello Mr. Abate,
Sorry for the late reply[1].
Pietro Abate <[EMAIL PROTECTED]> writes:
> In this thread
> http://caml.inria.fr/pub/ml-archives/caml-list/2001/04/8bbf7629ef3ef299c16f78bd2b986e36.en.html
> David Mentre announces a preliminary work on binding for the cudd
> lib
Work in progress, please wait... ;)
Yours,
d.
--
GPG/PGP key: A3AD7A2A David MENTRE <[EMAIL PROTECTED]>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/li
ow, I'll try to see what can be done.
Sincerely yours,
david
--
GPG/PGP key: A3AD7A2A David MENTRE <[EMAIL PROTECTED]>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
___
Caml-list mailing list. Subscription management:
http://yquem
Hello Richard,
On Tue, Sep 23, 2008 at 12:18, Richard Jones <[EMAIL PROTECTED]> wrote:
> Best to upgrade if you can.
That's the answer I feared. ;-) As next Ubuntu should be released in a
few weeks and has OCaml 3.10.2, I'll give it a try.
Yours,
d.
_
Hello Сергей,
On Tue, Sep 23, 2008 at 10:08, Сергей Плаксин <[EMAIL PROTECTED]> wrote:
>> Here is the beginning of the relevant file:
>> """
>> (** Common utility functions. *)
>>
>> (* space *)
>>
>> let heap_size () : float = float_of_int (Gc.stat ()).Gc.heap_words *.
>> float_of_int (Sys.word_
Hello Gabriel,
On Tue, Sep 23, 2008 at 08:53, Gabriel Kerneis <[EMAIL PROTECTED]> wrote:
> Does the following solve the problem?
>
> val heap_size () : float = [...]
>
> If it does, it has to do with revised syntax and you should change the flags
> of camlp4 (but it believe camlp4o loads the clas
(Gc.stat ()).Gc.heap_words *.
float_of_int (Sys.word_size / 8) (* in bytes *)
"""
This expression seems correct to me. Is this issue related to one of the
fixes on camlp4 that where made in 3.10.1?
Any idea how to work around this issue (without recompiling latest ocaml
and a
he safe side you should do a fold instead of an iter and collect
> all of the items to remove and then remove them in a second pass.
I'll do that.
Thanks,
d.
--
GPG/PGP key: A3AD7A2A David MENTRE <[EMAIL PROTECTED]>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
___
quot;Hashtbl.remove h k" within the body of "f"?
Sincerely yours,
david
--
GPG/PGP key: A3AD7A2A David MENTRE <[EMAIL PROTECTED]>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
___
Caml-list mailing list. Subscription management:
48 matches
Mail list logo
