gmane.comp.lang.ocaml.beginners

Re: [Caml-list] Any library for reading/writing compressed files?

Adrien — 2012-05-19T01:27:25

Also, don't compress Marshal's output, it'll suck.

Marshal already does RLE compression IIRC (that might help for
situations constrained by memory-bandwidth) and that hinders other
compressions. In particular, with xz, it'll really be a waste of time.

Re: [Caml-list] Any library for reading/writing compressed files?

Adrien — 2012-05-19T01:25:59

There are libarchive bindings by Sylvain Le Gall on the forge too.
They're partial but already work for reading iirc, and writing
shouldn't be a lot of work (if it hasn't been added since I last
looked at it). That will potentially give xz, gzip, bzip2, tar, cpio
and I don't know what else.

Re: C Interface, Libraries, and Books?

Ashish Agarwal — 2012-05-16T13:42:04

On Wed, May 16, 2012 at 5:00 AM, Gabriel Scherer
<gabriel.scherer< at >gmail.com>wrote:


Yes, thanks for the correction.

 Quoting this web page:


[Non-text portions of this message have been removed]



------------------------------------

Archives up to December 31, 2011 are also downloadable at http://www.connettivo.net/cntprojects/ocaml_beginners
The archives of the very official ocaml list (the seniors' one) can be found at http://caml.inria.fr
Attachments are banned and you're asked to be polite, avoid flames etc.Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ocaml_beginners/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ocaml_beginners/join
    (Yahoo! ID required)

<*> To change settings via email:
    ocaml_beginners-digest< at >yahoogroups.com 
    ocaml_beginners-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ocaml_beginners-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Re: C Interface, Libraries, and Books?

Dario Teixeira — 2012-05-16T09:49:27

Hi,



Indeed.  This cannot be stressed enough: Menhir is not only better
than ocamlyacc in the sense that it is more powerful and it has more
features, but also because it is a much better tool for beginners.
You do get the best of both worlds with Menhir, and there's really
no reason to "start with ocamlyacc and switch to Menhir if necessary".

Cheers,
Dario Teixeira

Re: C Interface, Libraries, and Books?

Gabriel Scherer — 2012-05-16T09:00:17

Menhir is noticeably better than ocamlyacc; it does not replace
ocamllex (I sometimes use ulex, I think it helps to parse UTF8 input).

  http://cristal.inria.fr/~fpottier/menhir/

Quoting this web page:





On Wed, May 16, 2012 at 4:43 AM, Francois Berenger <berenger< at >riken.jp> wrote:

Re: C Interface, Libraries, and Books?

Francois Berenger — 2012-05-16T02:43:45

There are also ocamllex and ocamlyacc:
http://caml.inria.fr/pub/docs/manual-ocaml/manual026.html




------------------------------------

Archives up to December 31, 2011 are also downloadable at http://www.connettivo.net/cntprojects/ocaml_beginners
The archives of the very official ocaml list (the seniors' one) can be found at http://caml.inria.fr
Attachments are banned and you're asked to be polite, avoid flames etc.Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ocaml_beginners/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ocaml_beginners/join
    (Yahoo! ID required)

<*> To change settings via email:
    ocaml_beginners-digest< at >yahoogroups.com 
    ocaml_beginners-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ocaml_beginners-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Re: C Interface, Libraries, and Books?

Ashish Agarwal — 2012-05-16T02:21:47

**

I'm not a big fan of lex/yacc either, but if you do need to go that route
keep Menhir in mind. It is like lex/yacc but much better.


[Non-text portions of this message have been removed]

Re: C Interface, Libraries, and Books?

jr — 2012-05-15T23:27:43

On May 14, 2012, at 11:08 AM, Ashish Agarwal wrote:


A quick google search gave me PCL, Plank, Mparser, and ocaml-parsec.   I hadn't looked into any of them further than the google headlines.  Further look hasn't given me much confidence.

Asking about Parsec style parsers was probably too limiting, and showed my own lack of experience.  I one time created a parser with Parsec to parse the concrete syntax for conceptual graphs that was to be contained in  ISO/IEC 24707 standard for Common Logic.  My parser didn't go anywhere, except while the draft standard was under development I was able to suggest some corrections and clarifications to the authors. (http://www.jfsowa.com/cg/cgdpansw.htm)

I've also  used prolog's definite clause grammar a good deal more, but quite a long time ago.  (Tinkering with natural language processing, and writing a parser for my own language to verify my bank statement.)

I have a number of things in mind that I might want a parser for, but nothing too specific at the moment.  

In ancient times, I used lex and yacc, but want something more integrated in the language (like, for example, DCG or parsec).

I now see that Batteries has a simple parser combinator library, BatParserCo. , but said to be very rough.




I'm doing this.   There are some very good PDFs.

Re: C Interface, Libraries, and Books?

Sergei Steshenko — 2012-05-15T05:52:00




----- Original Message -----

Even though I grew up with traditional books, I do not understand fascination with them.

Electronic documents (unless they are just pixel scans) allow _search_ in them - a very helpful feature.

Regards,
  Sergei.

Re: [Caml-list] Any tool for unit tests as comments in OCamlsource?

Cedric Cellier — 2012-05-15T05:29:38

There's some work going on around batteries qtest program. See for instance this wiki page on batteries tests:

https://github.com/ocaml-batteries-team/batteries-included/wiki/Developers-Guidelines

Any library for reading/writing compressed files?

Francois Berenger — 2012-05-15T02:12:18

Hello,

What's the gold standard in OCaml to read/write
compressed files?

I found this: http://forge.ocamlcore.org/projects/camlzip/

Wouldn't it be possible that the Marshall module
had an option to allow compression of the marshalled
values?
Or is there a simple way to achieve this?

Thanks,
F.



------------------------------------

Archives up to December 31, 2011 are also downloadable at http://www.connettivo.net/cntprojects/ocaml_beginners
The archives of the very official ocaml list (the seniors' one) can be found at http://caml.inria.fr
Attachments are banned and you're asked to be polite, avoid flames etc.Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ocaml_beginners/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ocaml_beginners/join
    (Yahoo! ID required)

<*> To change settings via email:
    ocaml_beginners-digest< at >yahoogroups.com 
    ocaml_beginners-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ocaml_beginners-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Any tool for unit tests as comments in OCaml source?

Francois Berenger — 2012-05-15T01:48:35

Hello,

What's the gold standard in OCaml to have
unit test as comments in source code in order
for a tool to automatically extract them
and generate a test suite?

Thanks,
F.

Re: C Interface, Libraries, and Books?

Francois Berenger — 2012-05-15T00:45:20

Even just an "OCaml pocket reference" a la O'Reilly would be nice...




------------------------------------

Archives up to December 31, 2011 are also downloadable at http://www.connettivo.net/cntprojects/ocaml_beginners
The archives of the very official ocaml list (the seniors' one) can be found at http://caml.inria.fr
Attachments are banned and you're asked to be polite, avoid flames etc.Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ocaml_beginners/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ocaml_beginners/join
    (Yahoo! ID required)

<*> To change settings via email:
    ocaml_beginners-digest< at >yahoogroups.com 
    ocaml_beginners-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ocaml_beginners-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Re: C Interface, Libraries, and Books?

jr — 2012-05-14T23:30:53

Thanks to Oliver and Matthieu.  The manual, 18.8 had exactly the example I needed to get going.

When I tried it "out of the box" I got a warning about "format_result" returning an int, while %s requires a
string in the printf statement.  I didn't understand (yet) what could be the cause of this, so I eliminated the
format_result function from my example, and simply used printf to print my result in my main c program.
Works fine.

So, I tried making as a console c program under xcode (putting together an h file for my fib function and
finding the appropriate h file for caml_startup) and everyting worked fine.

I now have a simple console program that does nothing but print fig(10).   Next step will be to make a 
cocoa app that returns fibinacci numbers based on an input.  (I did this once for Haskell, but at the
time it was a lot more trouble than I expect this to be).

(reply to Ashish Agarwal tomorrow, I hope!).

Best,

John V.

On May 13, 2012, at 10:44 AM, oliver wrote:




------------------------------------

Archives up to December 31, 2011 are also downloadable at http://www.connettivo.net/cntprojects/ocaml_beginners
The archives of the very official ocaml list (the seniors' one) can be found at http://caml.inria.fr
Attachments are banned and you're asked to be polite, avoid flames etc.Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ocaml_beginners/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ocaml_beginners/join
    (Yahoo! ID required)

<*> To change settings via email:
    ocaml_beginners-digest< at >yahoogroups.com 
    ocaml_beginners-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ocaml_beginners-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Re: C Interface, Libraries, and Books?

Ashish Agarwal — 2012-05-14T18:08:14

Right now there are two viable standard libraries, Batteries and Core. Both
are good, and I end up using both in most of my projects. Core is
undergoing significant updates, and is currently in an unstable state. That
should change soon, a few weeks or sooner. I think Batteries has better
documentation and is easier for a beginner to get started with.

Does "Batteries" compile on OS X Lion
Yes.


Not sure, but as always there can be problems when a new OS comes out.
Various issues have arisen with previous OS X updates, so I'd avoid it if
you want to be sure OCaml will work right away.

I see that there are a number of packages out there that emulate
Which ones have you found? Actually, I don't think OCaml has a library
comparable to Parsec. There is an OCaml port of Parsec, but it was not
developed after its initial release, and as far as I know is not in a
usable state.

3. Is there a decent physical book available (in English)
No, but you can print the free PDFs.  :)  Otherwise, you have to wait for
Real World OCaml.


[Non-text portions of this message have been removed]

Re: C Interface, Libraries, and Books?

oliver — 2012-05-13T17:44:30

[...]


Ocaml also is a niche choice ;-)


Ciao,
   Oliver

Re: C Interface, Libraries, and Books?

Matthieu Dubuget — 2012-05-13T17:34:50

Le 13/05/2012 18:27, jr a écrit :

See chapter 18 of the manual. One very good document is the excellent 
tutorial from Florent Monnier:

http://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.php

Ocaml is a nice choice :-)

Salutations




[Non-text portions of this message have been removed]

C Interface, Libraries, and Books?

jr — 2012-05-13T16:27:42

I've just started to dig into OCaml, and so far I like it.  By way of
background, I've done a fair amount of Haskell programming (for my own
purposes, not for distribution), as well as a lot of Prolog, and a few dips
into Scheme.  For many many years I was a Linux, Unix, and Cygwin user, but
for the past four years I've been using OS X.

Please forgive some obvious questions -- I'd like to know if I can get
where I want to go before I go too far.

1. Is there a straightforward, documented way to produce a library callable
from C?   Where is it documented?  One of my goals is to write Mac OS X
applications using XCode where in the Model-View-Controller pattern, the
Model and perhaps some aspects of Controller are in a functional language
(or mostly functional with some mutability), and the user interface is pure
Cocoa.

2. How about standard libraries?  Does "Batteries" compile on OS X Lion
(how about upcoming Mountain Lion)?  If so should I get it?  I'm
interested (at the moment) in Sets, Graphs, and Parsers (like Haskell's
Parsec).  I see that there are a number of packages out there that emulate
Parsec.  Is one 'standard'? 

3. Is there a decent physical book available (in English), or shall I wait
for "Real World Caml" by Hickey et al? I prefer a real physical book for
learning; eBook, PDF or HTML are OK for reference. I'm  using Jason
Hickey's PDF book "Introduction to Objective Caml" as well as other
available tutorial material for now.

That's all for now.  Questions 1. and 2. are particularly important.
Haskell has libraries, but -- when I tried -- it was too much trouble to
put anything into a library accessable from XCode (maybe it's better now,
but I haven't kept up with my Haskell for a few years).  Gambit Scheme
seemed to have the ability to produce C libraries, but the application
library situation was pretty hopeless.  It seemed that if I wanted to use
Scheme I'd have to write a lot of my own basic tools.

Thanks,

John Velman

Re: polymorphism broken with mutable variables ?

Vu Ngoc San — 2012-05-12T06:04:35

thanks a lot. I will have a look.

San

Le 11/05/2012 16:37, Gabriel Scherer a écrit :



[Non-text portions of this message have been removed]

Re: polymorphism broken with mutable variables ?

Vu Ngoc San — 2012-05-12T06:03:53

thanks for the link. I understand the point, however in my example there 
is no ambiguity: a= ref 1 has a well-defined type, cannot be changed 
afterwards. I guess this has something to do with the last paragraph. 
But then, as I understand, it means "this is a limitation of ocaml", 
doesn't it ?

San


Le 11/05/2012 15:40, Philippe Veber a écrit :



[Non-text portions of this message have been removed]

Re: polymorphism broken with mutable variables ?

Gabriel Scherer — 2012-05-11T14:37:50

For maybe a more in-depth understand of the question, you should have
a look at the research paper on the relaxed value restriction (btw.,
the last example of the book cited by Philippe now works better than
it says, thanks to this relaxation). The beginning of the article is
quite readable, provides intuitive explanations and a historical
perspective, while the second half is more for the specialists.

  A few papers on Caml:
     http://caml.inria.fr/about/papers.en.html
  Jacques Garrigue, relaxing the value restriction (2004):
     http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf

The original paper on the question, which is also a good reference.
  Andrew Wrig, Simple imperative Programming (1995)
    http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096

Or the following MLton wiki page:
  http://www.mlton.org/ValueRestriction.html

On Fri, May 11, 2012 at 3:40 PM, Philippe Veber
<philippe.veber< at >gmail.com> wrote: