Hi Thanassis,
Le 22 nov. 10 à 14:21, Thanassis Tsiodras a écrit :
I apologize beforehand if this is not the forum to ask.
(...)
Is it just hype, then? Or am I missing something?
may we know, after all this intense discussion, what is your feeling?
Did this debate enlightened your views?
Le 24 nov. 10 à 16:30, Thanassis Tsiodras a écrit :
On Wed, Nov 24, 2010 at 4:34 PM, Vincent Aravantinos
vincent.aravanti...@gmail.com wrote:
may we know, after all this intense discussion, what is your feeling?
Well... (ducks, wears helmet).
Dr Jon Harrop communicated with me directly
Wow! This seems hugely interesting to me.
Actually I've been wondering a while to know if I would buy an ipad,
and my conclusion was only if I can do Ocaml on it.
Can you report a bit more on your experience ?
Which tools did you use? How convenient it is? What drawback did you
encounter?
Hi Dumitru,
Le 15 oct. 10 à 05:38, Dumitru Potop-Butucaru a écrit :
1. An editor where I can collapse entire
definitions (by reducing a huge let x = in
step into a single line). I'd prefer doing it
using a mouse, but emacs shortcuts would
be OK, too.
With Vim you can do this
At least there is roughly the same in Haskell :
http://www.haskell.org/haskellwiki/Yi
Le 3 juil. 10 à 20:52, Lukasz Stafiniak a écrit :
By the way, there was once a project to rewrite Emacs in OCaml and use
OCaml instead of ELisp as its scripting language, but I can't even
google it now...
Le 15 mai 10 à 11:45, ben kuin a écrit :
What if ocamlopt would be dropped for a faster ocaml vm?
Why? Even if the Ocaml was able to target a faster VM, there
are still many people who would chose to generate native
binaries.
I'd call that a questionable decision. As far as I know, using
Le 14 mai 10 à 18:26, ben kuin a écrit :
I think something like the clr would be a huge progress
first and foremost for the linux programmers. Maybe Ocaml could play
an important role of providing a slick api, because of its strength
when it comes to language implementation (compilers), so we
Le 14 mai 10 à 23:28, Sylvain Le Gall a écrit :
On 14-05-2010, ben kuin benk...@gmail.com wrote:
Isn't this precisely the aim of Jon's hlvm
(www.ffconsultancy.com/ocaml/hlvm/)?
licensing:
Hlvm is driven by a company and its landing page is on a companies
website and one of its protagonists
Le 14 mai 10 à 23:42, Raoul Duke a écrit :
-- Forwarded message --
From: Raoul Duke rao...@gmail.com
Date: Fri, May 14, 2010 at 2:42 PM
Subject: Re: [Caml-list] about OcamIL
To: ben kuin benk...@gmail.com
On Fri, May 14, 2010 at 11:59 AM, ben kuin benk...@gmail.com wrote:
Le 5 mai 10 à 21:16, Ed Keith a écrit :
--- On Wed, 5/5/10, Eray Ozkural examach...@gmail.com wrote:
Or use the real ocaml on a real OS
(^_^)
I do not understand UNIX bigotry.
Yes, Unix is technically superior to Windows. But Plan 9 is
technically superior to Unix. But I doubt Eray is
Hi,
Le 26 avr. 10 à 18:33, Dawid Toton a écrit :
I've found that I have more fundamental problem. What is the exact
meaning of the following line?
module type Foo = functor (X:X) - sig val foo : X.t end
(1) Foo is not a functor, but it is a type of some functors that map
modules to
Le 15 avr. 10 à 12:42, Kaspar Rohrer a écrit :
PS: Does somebody know why all of my browsers (Firefox, Safari,
Camino on OS X 10.6) do not recognize the Forge.ocamlcore.org server
certificate?
I guess it's the same cause as this bug:
Hi,
Le 8 avr. 10 à 15:58, Sylvain Le Gall a écrit :
OASIS
-
This is the first public release of OASIS. It aims to provide a clean
and efficient way to create a configure/build and install system for
your OCaml applications and libraries using a single '_oasis' file.
(...)
Looks like
=
object
method title = title2
end
in step1 ~story ()
| _ -
true
Cheers,
--
Vincent Aravantinos - PhD Student - Laboratory of Informatics of
Grenoble
http://membres-lig.imag.fr
Le 22 févr. 10 à 14:45, Nicolas Pouillard a écrit :
On Sun, 21 Feb 2010 23:15:09 +0100, Vincent Aravantinos vincent.aravanti...@gmail.com
wrote:
Hi list,
does anybody (Nicolas?) knows if it is possible to force a target to
be rebuilt from within an ocamlbuild plugin?
Concretely I am making
Hi list,
does anybody (Nicolas?) knows if it is possible to force a target to
be rebuilt from within an ocamlbuild plugin?
Concretely I am making a plugin for LaTeX compilation and would like
to say to ocamlbuild:
first compile the source, then if the .aux file has changed then
recompile
Le 27 oct. 09 à 19:24, Jake Donham a écrit :
On Tue, Oct 27, 2009 at 3:28 AM, Marc de Falco m...@de-falco.fr
wrote:
The following code :
type 'a p = R of 'a t | E of float
and 'a t = { mutable p : 'a p; c : 'a }
let f =
let x = sqrt(2.0) in
fun () - { c = `A; p = E 0.0 }
Oops, I pushed send button too early.
Le 27 oct. 09 à 19:38, Vincent Aravantinos a écrit :
Le 27 oct. 09 à 19:24, Jake Donham a écrit :
On Tue, Oct 27, 2009 at 3:28 AM, Marc de Falco m...@de-falco.fr
wrote:
The following code :
type 'a p = R of 'a t | E of float
and 'a t = { mutable p
Hi,
can't you just say that you spotted a problem in the proposed solution
instead of being so aggressive?
Removing all the useless sentences of your message just leave this:
Le 9 oct. 09 à 16:18, Damien Guichard a écrit :
Imagine my code is:
type color = int
let black : color = 0
Great! Is a precise list of changes available somewhere ?
V.
Le 8 oct. 09 à 17:50, Ralph Douglass a écrit :
We are proud to announce the second major release of Core, Jane
Street's
alternative to OCaml's standard library. This release also includes
Core_extended, which adds new
Hi,
I think what Jon means is that, with JIT, polymorphic functions can be
specialized at run-time
and allow optimizations that are not currently achieved by the Ocaml
native code compiler.
V.
Le 27 sept. 09 à 19:18, David McClain a écrit :
Ahh, I see from doing a bit more research that
Le 27 sept. 09 à 23:10, Jon Harrop a écrit :
On Sunday 27 September 2009 20:23:13 kche...@math.carleton.ca wrote:
If Grand Central Dispatch makes its way
into *nix...
Incidentally, what exactly (technically) is Grand Central and how
does it
relate to existing alternatives and the
Le 21 sept. 09 à 05:41, Daniel Molina a écrit :
Hello all.
I have searching in the net about ocaml compatibility for automake. I
have found a patch from automake by Tom Murray in 2003
http://sourceware.org/ml/automake/2003-12/msg00153.html
and I had seen that this issue was talked in the
Le 21 sept. 09 à 09:59, Stéphane Glondu a écrit :
Vincent Aravantinos a écrit :
There is also this project:
http://forge.ocamlcore.org/projects/ocaml-autobuild/
which seems quite dead, though.
The last commit was two months ago:
http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=ocaml
Le 21 sept. 09 à 10:18, Sylvain Le Gall a écrit :
I guess it's not currently usable (?)
Well, it is usable for pure ocaml projects. I am still working on C
file. I use it on several of my own project.
Nice! Worth waiting for it then.
___
problem being
trivially solved by your extension of Set with a 'find' function I
understand that you would prefer this solution.
Cheers,
--
Vincent Aravantinos
PhD Student - LIG - CAPP Team
Grenoble, France
+33.6.11.23.34.72
vincent.aravanti...@imag.fr
http://membres-lig.imag.fr/aravantinos
,
advertisement) should be a priority over new features.
--
Vincent Aravantinos
PhD Student - LIG - CAPP Team
Grenoble, France
+33.6.11.23.34.72
vincent.aravanti...@imag.fr
http://membres-lig.imag.fr/aravantinos/
___
Caml-list mailing list. Subscription
love the way Jane Street Core handles this: having a
clear rule for all modules and using labels extensively.
- when I gave it a try there were still compilation problems under OSX
(so a bit of 4.) but it now seems to work.
I am watching batteries regularly to see how things evolve.
--
Vincent
. for every value of n) are unsatisfiable*.
i.e. it can treat at once an infinite set of propositional formulas.
Link: http://forge.ocamlcore.org/projects/regstab/
RegSTAB is based on a recent paper:
http://membres-liglab.imag.fr/aravantinos/Publis/tableaux2009/tab09.pdf
Cheers,
--
Vincent
/tab09.pdf
Cheers,
--
Vincent Aravantinos
PhD Student - LIG - CAPP Team
Grenoble, France
+33.6.11.23.34.72
vincent.aravanti...@imag.fr
http://membres-lig.imag.fr/aravantinos/
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi
30 matches
Mail list logo
