=
Call for papers
20th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2010
Dear list,
I'm pleased to announce the first release of the Format syntax extension
for Ocaml:
https://forge.ocamlcore.org/frs/download.php/360/format-1.0.tar.bz2.
Format is basically a quotation-style printf, i.e., it defines
quotations for building strings and writing to buffers, channels, and
Tiphaine Turpin tiphaine.tur...@irisa.fr writes:
Goswin von Brederlow a écrit :
Hi,
last night I had a crazy idea
Definitely :-).
[...]
Can anyone think of a way to express this so that the type system keeps
track of which callbacks are already connected?
Here is an attempt (with
Goswin von Brederlow a écrit :
Tiphaine Turpin tiphaine.tur...@irisa.fr writes:
Goswin von Brederlow a écrit :
[...]
Can anyone think of a way to express this so that the type system keeps
track of which callbacks are already connected?
Runtime checking would be much easier
chaithanya kr wrote:
Hi all. I am new to Ocaml. Just started learning recently.
I was studying lists in ocaml. In that, suppose there is a list by name
singly_list, then by saying List.length singly_list;; I will get the
length of the linked list.
Similarly can anyone tell me as to how
let sorted_list = List.sort unsorted_list in
You should also provide to List.sort a function to compare the elements
of the list, the function should have type:
'a - 'a - int
For basic types, like ints or chars the Pervasives.compare function
would serve:
# let l =
Would anyone happen to have lying around parser/lexer for block
indented code (a la Python and Haskell)? I am using ocamlyacc or
menhir, whichever.
It seems to be the best way to do deal with this is to put a filter
between lexer and parser that inserts appropriate hints. I would like
to avoid