> The Batteries Print module and associated syntax extension may be a
> useful base for implementing something similar to what you are
> proposing:
>
> http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=blo
>b_plain;f=src/core/extlib/print.ml;hb=HEAD and
> http://git.ocamlcore.
Dear OCamlers,
I try to define a polymorphic container encapsulating a list. I'd like to
define
a map and a fold method. I have read in the documentation how
to specify a polymorphic fold method but I'm unable to transpose
for the map method. I include in the code below a tentative: the map1 meth
Dear OCamlers (again !),
I tried this time to specify explictly what I expect from a container. This
specification is given by the signature CONTAINER below. Everyhting works
perfectly but I don't understand why it fails if I remove the 'private'
keyword... Why
am I only able to extend an object w
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
See previous answers to this question:
http://groups.google.com/group/fa.caml/browse_thread/thread/9bb6ff19373371fb
I've used the classical solution thus far and have not run into any trouble..
Peng
On Friday 17 April 2009 05:37:52 am Jean Balthaza
Thank your for your answer, but it does not solve my actual
problem: suppose I have a data-structure with no cons (for example
a matrix). I know how to implement a map function but I don't know
how to type it as a method.
Jean
2009/4/17 Peng Zang
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA
2nd CALL FOR PAPERS
The 2009 ACM SIGPLAN Workshop on ML
To be held in conjunction with ICFP 2009
on Sunday, August 30, 2009
in Edinburgh, Scotland, UK
http://www.mpi-sws.org/~rossberg/
There's an example in the Geoffrey Mainland's Haskell
quasiquotation paper [1] that looks like this:
peep :: [ Asm ] -> [ Asm ]
peep [:asm| mov&s $&r1, &r2
cmp $&r3, &r4
je &lbl |] : rest
| r3 = r1 ^ r4 = r2
= [:asm| mov&s $&r1, &r2
jmp &lbl |] : rest
...
Is
From the quasiquoting paper by Geoffrey Mainland [1], page 7:
"The major advantage of our approach over that of camlp4
is that we demonstrate how to use generic programming
to reuse a single parser to parse quasiquoted patterns,
quasiquoted expressions and plain syntax that does not
include antiq
On Fri, Apr 17, 2009 at 11:24 AM, Joel Reymont wrote:
> Can someone shed light on how, where and why three different
> parsers are required for camlp4? Is this still the case with 3.11?
I haven't read the Mainland paper so I don't know exactly what he's
talking about, but with the MetaGenerator m
Hi...
I have a quick question. I want to extend the List module with various
functions that I want that aren't present in the standard library,
much as the Batteries ExtList library does.
I might write the following code in "mylibrary.ml":
module MyList = struct
include List
let foo x = ... c
"David Allsopp" writes:
> Goswin von Brederlow wrote:
>> I would actually like to propose that to work on a type
>> level. Currently we have:
>>
>> I propose that records can be subtyped if their prefix matches and
>> ".." would be used to denote the subtype of any record with this
>> prefix:
>
Hi,
> I have a quick question. I want to extend the List module with various
> functions that I want that aren't present in the standard library,
> much as the Batteries ExtList library does.
I reckon you want something like this:
http://caml.inria.fr/mantis/view.php?id=3013
Cheers,
Dario Tei
Peter Hawkins writes:
> Hi...
>
> I have a quick question. I want to extend the List module with various
> functions that I want that aren't present in the standard library,
> much as the Batteries ExtList library does.
>
> I might write the following code in "mylibrary.ml":
> module MyList = str
This post announces the 1.2 release of the OCaml-Java project.
The goal of the OCaml-Java project is to allow seamless integration of
OCaml and Java.
Home page: http://ocamljava.x9c.fr
Download page: http://ocamljava.x9c.fr/downloads.html
Toplevel applet: http://ocamljava.x9c.fr/toplevel/tople
Hi,
I would like to find the easiest block structure to represent nested leaves and
nodes in a tree structure that works for OCaml. In Common Lisp there is the
help of indentation, but I haven't found one for OCaml.
We have one parent node composed of one leaf and a nested node which has
ano
On Apr 16, 2009, at 11:45 CEDT, Philippe Wang wrote:
A negative answer would imply that you patched the OCaml
runtime to make it reentrant. To illustrate my point, I will take
the example of the file "byterun/compare.c". In this file, the
code for the comparison of values makes use of a global
On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote:
PS. We tried to switch to 3.11, but it seems to need too much time,
it's far from being a piece of cake.
We have tried to make it work on Leopard (actually, I failed the 1st
time - half the way, I may try again if I have time).
What was
On Apr 18, 2009, at 00:20 CEDT, Joel Reymont wrote:
On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote:
PS. We tried to switch to 3.11, but it seems to need too much
time, it's far from being a piece of cake.
We have tried to make it work on Leopard (actually, I failed the
1st time - half
Le 18 avr. 09 à 00:15, Philippe Wang a écrit :
On Apr 16, 2009, at 11:45 CEDT, Philippe Wang wrote:
A negative answer would imply that you patched the OCaml
runtime to make it reentrant. To illustrate my point, I will take
the example of the file "byterun/compare.c". In this file, the
code f
This is a commonly requested feature. One issue is that a file a.ml creates
a module A. However, a file a.mli does not create a module type A. I'm not
sure why this is the case. Does anyone know if there is a specific reason?
On Fri, Apr 17, 2009 at 4:51 PM, Peter Hawkins wrote:
> Hi...
>
> I hav
20 matches
Mail list logo