On Tue, 2009-03-24 at 13:42 -0600, John Prince wrote:
> 2) Is there something like 'ri' in ocaml? (commandline access to
> basic documentation)
There's nothing out-of-the-box.
In OCaml Batteries Included, you can use #man.
So
#man "print";;
will open your web browser with the documentation of
Le 25 mars 09 à 01:17, Richard Jones a écrit :
3) Is there consensus on the best/fastest xml parser?
There are certainly several to choose from :-)
If you intend to parse real (in the sense not under your own editing
control) xml documents the choice shrinks down drastically.
For pure c
John Prince writes:
> 1) Is there something comparable to RSpec (i.e., behavior driven
> development)? A recommendation on which testing module to use?
I have found OUnit to be fairly natural. I haven't used it much, but it
was easy to pick up having had some exposure to JUnit, py.test, and a
L
On Tue, Mar 24, 2009 at 01:42:40PM -0600, John Prince wrote:
> 1) Is there something comparable to RSpec (i.e., behavior driven
> development)? A recommendation on which testing module to use?
Possibly ounit? To be honest test-driven development is more useful
with dynamic languages, because the
Hi Zheng,
| You may try the following code snippet. It's not a total solution
| but an ad-hoc workaround. It only deals with recursive "#use" like
| in your example (e.g., "#load" operation inside a "#use" script
| will still behave the same as before), though it's not difficult
| to adapt the oth
> Are there any examples / tutorials? I skimmed the reference manual
> and it has to be said I found it fairly baffling.
furthermore (i /am/ trying to get time to read the docs on the site
:-), how does it compare to other things which i /ass/ume are in a
similar 'space' e.g. SPARKAda etc. thanks
On Tue, Mar 24, 2009 at 11:07:29AM +0100, Pierre Weis wrote:
> (0) What is it ?
>
>
> FoCaLize is an integrated development environment to write high integrity
> programs and systems. It provides a purely functional language to formally
> express specifications, describe the desig
Joel Reymont a écrit :
> I have a feeling that I have seen this before but I don't remember how
> to fix it.
> [...]
> Error: Error while linking
> /opt/local/lib/ocaml/camlp4/camlp4lib.cma(Camlp4):
> Reference to undefined global `Dynlink'
Add -package dynlink to your command line.
Cheers,
--
I have a feeling that I have seen this before but I don't remember how
to fix it.
Any suggestions?
Thanks, Joel
---
ocamlfind ocamlmktop -thread -package
lwt.ssl,lwt.extra,netstring,netsys,ssl,pcre,unix,threads,findlib -I ../
baselib -I ../http -I ../xmlp4 -I ../server -I ../exten
Hi,
On 3/24/2009 7:00 PM, Harrison, John R wrote:
Then I want the following to stop immediately on the failure inside
"branch.ml" and hence not evaluate the "y = 2" line in "root.ml" as it
currently does:
Objective Caml version 3.10.0
# #use "root.ml";;
val x : int = 1
val
John Prince a écrit :
> 4) What kind of YAML support is there? I've seen an ad-hoc writeup to
> read in JSON in an ocaml program, but I'm much more familiar with YAML.
http://ocaml-syck.sourceforge.net/
It is packaged in Debian. I've never used it, though...
Cheers,
--
Stéphane
I'll answer the questions that I can...
On Tuesday 24 March 2009 19:42:40 John Prince wrote:
> I'm new to ocaml and coming (most recently) from ruby, so I was wondering
> if there are equivalents to some of the things that I find handy in ruby:
You may find the OCaml Beginners mailing list hoste
I'm new to ocaml and coming (most recently) from ruby, so I was wondering if
there are equivalents to some of the things that I find handy in ruby:
1) Is there something comparable to RSpec (i.e., behavior driven
development)? A recommendation on which testing module to use?
2) Is there somethin
Hi,
I'm currently studying the lambda code generation phase of the standard
OCaml compiler.
You can take a look at this for an example :
http://blog.mestan.fr/2009/03/22/ocaml-and-dlambda-1/
I'm wondering what is 'makeblock' for ?
And why is there '/' after every variable/function name ? Isn't
t
I'd like a variant of the #use directive for reading in an OCaml
source file, but with the property that it halts immediately on the
first error anywhere in a nesting of #use'd files. For example,
suppose you have a file "root.ml" containing
let x = 1;;
#use "branch.ml";;
let y = 2;;
and
On Tue, Mar 24, 2009 at 11:55:52AM +0100, 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 knowledged people (e.g. Debian
> developers ;-) consider this cod
2- OCaml's strategy is close to optimal for symbolic computing.
Is MLton not several times faster than OCaml for symbolic computing?
No, only in your dreams. If there was a Caml or SML compiler that was
twice as fast as Caml on codes like Coq or Isabelle/HOL, everyone (me
included) would h
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 knowledged people (e.g. Debian
>>
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 knowledged people (e.g. Debian
> developers ;-) consider this code Free Software or not.
I am not a Debia
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 knowledged people (e.g. Debian
> developers ;-) consider this code Free Software or not.
Let me take the b
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
Hi to all of you careful bug hunters and happy hackers reading this message!
It is my pleasure to announce the first public release for FoCaLize, a purely
functional language and environment to express and formally prove algorithms
and their implementation.
(0) What is it ?
FoCa
22 matches
Mail list logo