On 03/16/2012 05:19 PM, Sylvain Le Gall wrote:
Hello,
On 16-03-2012, Francois Berengerberen...@riken.jp wrote:
Hello,
Let's say I have this section in an _oasis file:
---
Executable Toto
Path: src
MainIs: toto.ml
BuildDepends: batteries
BuildTools: ocamlbuild
Hi,
I found myself defining a type that would both contain a module type and a
type constraint:
module type Screen = sig
type state
type message
val init : state
[...]
val emit : state - message option
end
type 'a screen = (module Screen with type message = 'a)
On 2012/03/21, at 16:48, Philippe Veber wrote:
Hi,
I found myself defining a type that would both contain a module type and a
type constraint:
module type Screen = sig
type state
type message
val init : state
[...]
val emit : state - message option
end
On 21 mars 2012, at 09:21, Jacques Garrigue wrote:
(using 4.00, but you can also write with (val …))
Nice teaser ;-)
Alan
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list:
On 03/21/2012 10:01 AM, Thomas Braibant wrote:
On Wed, Mar 21, 2012 at 9:54 AM, Alan Schmitt
alan.schm...@polytechnique.org wrote:
On 21 mars 2012, at 09:21, Jacques Garrigue wrote:
(using 4.00, but you can also write with (val …))
Nice teaser ;-)
Indeed, this is the second time I see
Thanks for your answer Jacques!
([ `quit ] as 'a) screen = (module Screen with type message =
'a)
but an expression was expected of type (module Screen)
Indeed, this is clearly wrong: these two module types are not equivalent.
Right, that one was obvious.
New attempt:
Raoul Duke rao...@gmail.com writes:
On Mon, Mar 19, 2012 at 9:13 AM, Jesper Louis Andersen
If you want to play with dependent types, there are two ways which
seem popular at the moment: Agda or Coq.
and some not popular ones...
http://www.ats-lang.org/
Hello,
Is there some tools / tricks that can be used to help find memory leaks?
I have trouble with an application, that when running for a long time,
starts to use a lot of CPU and consume more memory. It starts out by using
about 20% CPU (reported by top) and after 24 hours it has increased to
Ricardo Catalinas Jiménez jimenezr...@gmail.com writes:
I found out the next issue when using the native compiler to generate a
dynamic library from C:
$ ocamlopt -c foo.c
$ ocamlmklib -o foo foo.o
/usr/bin/ld: fsync.o: relocation R_X86_64_32 against `.rodata' can not
be used when
I think this is awesome. OCaml is much more pleasant to use than the
alternatives, so having it available for developing software on mobile
devices is great, even if it's only iOS. ;)
Your a frontiersman... and I hope others follow suit and write more games
in OCaml and bring it to more mobile
10 matches
Mail list logo