Michael Grünewald | 24 Oct 16:32 2014
Picon

ANN: gasoline 0.1 — Applicative framework for OCaml

The Gasoline project aims at implementing a Unix-ish application
development framework for OCaml. The framework will provide application
templates factoring application components bootstrapping, configuration
analyse and offering homogeneous diagnostic facilities.

It can be installed with opam, see below.

It is written by Michael Grünewald and is distributed under the CeCILL-B
license agreement.

Users of Gasoline should be enabled to:

- Rapidly develop applications by using application patterns such as
“Unix filter”, “tabular data processor” or “compiler”.
- Write large software suites whose elements offer homogeneous interfaces.
- Easily pass configuration parameters to an application
- Use standardised diagnostic facilities supporting internationalisation.
- Cleanly distinguish between application components and lower-level
software engineering artifacts.
- Easily bootstrap and shutdown applications consisting of many modules.
- Use common file formats such as CSV or JSON in their applications.

  Github: https://github.com/michipili/gasoline
  Wiki: https://github.com/michipili/gasoline/wiki
  OCamldoc reference:
http://michipili.github.io/gasoline/reference/index.html

0 EXAMPLES

There is three examples of applications using Gasoline in the example
(Continue reading)

Louis Gesbert | 24 Oct 07:55 2014

[ANN] OPAM 1.2.0

We're very proud to announce the final release of OPAM 1.2.0

This is a big step after 1.1, with lots of new features and a huge effort put into improving the ease of use,
output and error handling. Read the full announcement at

    http://opam.ocaml.org/blog/opam-1-2-0-release

Or head straight to the install instructions at

    http://opam.ocaml.org/doc/Install.html

(but know that your existing 1.1 ~/.opam will be updated on first run)

With big thanks to all the beta-testers who took the time to report issues.

Louis Gesbert, OCamlPro, on behalf of the OPAM team.

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Sylvain Le Gall | 24 Oct 00:56 2014
Picon

The OCaml Forge has been compromised, please check your files

Hi,

Here is the full blog post:
https://forge.ocamlcore.org/forum/forum.php?forum_id=913

Sorry again for the problem
Sylvain Le Gall

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Gergely Szilvasy | 23 Oct 22:14 2014
Picon

ocamlbuild on cygwin

Hello,

First of all, as this is my first post ever on this list, to all of you who contribute to ocaml and its "ecosystem": a big thank you (ou encore mieux: merci beaucoup)! It's brilliant stuff.

I'm trying to get as much of the ocaml/opam stack working on cygwin as possible (as if there wasn't enough pain and suffering in the world already). 

Opam compiles without any issues, and I can switch to (let's say) 4.02.1 cleanly.

However, ocamlbuild fails for me in "opam install react" with the following error:

"Failure: ocamlfind not found on path, but -no-ocamlfind not used."

(Note that react is required by utop, for example, so it's a pretty basic requirement.)

This is where the exception is thrown:


It is the result of Command.search_in_path not finding ocamlfind:


Which appears to be caused by file_or_exe_exists not appending ".exe" to the filename when Sys.os_type = "Cygwin" (which is what I see as os_type when compiling on cygwin):


I'm not expert on either ocaml or cygwin, so my analysis may be off.

--

In any case, I'm pretty sure this fairly simple bug is not a (very) recent regression, so I'm wondering if anybody cares about opam/ocaml on cygwin? I'd really like to use opam, because it looks to me this is the community's preferred way of distributing bits. My question is, really, what is the status of ocaml/opam on cygwin? Is there an alternative environment for Windows + opam that works better? (I know about wodi, but I'd prefer opam.) Is it worth spending time fixing these issues on cygwin?

Any thoughts?

Regards,
Gergely

Peter Zotov | 23 Oct 16:04 2014

[ANN] ppx_deriving 1.0, ppx_deriving_yojson 2.0, ppx_deriving_protobuf 2.0

Hello,

I'm glad to announce the release of ppx_deriving and several
deriving plugins that I maintain. This release includes several
breaking changes; however, the interface can now be considered
stable and I do not expect it to change significantly.

The OPAM packages will be available shortly.

The two most important changes are:

   * The deriver names are now lowercase. I.e. you should replace
     all instances of [ <at>  <at> deriving Foo] with [ <at>  <at> deriving foo].

   * ppx_deriving now integrates better with ocamlfind.
     Specifically, it does not automatically discover the deriver
     plugins based on their names; rather, it now expects you to
     explicitly require the corresponding plugin.

     In order to write code that uses [ <at>  <at> deriving yojson],
     it is now enough to add -package ppx_deriving_yojson to
     the ocamlfind ocamlc command line, or package(ppx_deriving_yojson)
     to the _tags file.

     This will also automatically include any runtime component
     that a deriving plugin may need.

     The package ppx_deriving.std depends on all deriver plugins
     that come with ppx_deriving itself.

The changes were made in order to bring ppx_deriving closer to
type_conv and ease migration.

Some of the less important but interesting changes:

   * The [%derive.foo:] can now be shortened to [%foo:], given that
     deriving plugin foo is registered. For example, the following
     code will print a list of number pairs:

         print_endline ([%show: (int*float) list] pairs)

   * It is possible to combine several deriving plugins into a single
     executable, e.g. for cross-compiling:

         ocamlfind opt -predicates ppx_driver \
                       -package ppx_deriving_foo -package 
ppx_deriving_bar \
                       -package ppx_deriving.main -linkpkg -linkall \
                       -o ppx_driver

Full changelogs:

ppx_deriving 1.0
----------------

   * Make deriver names lowercase.
   * Remove Findlib+dynlink integration. All derivers must now be
     explicitly required.
   * Allow shortening [%derive.x:] to [%x:] when deriver x exists.
   * Make Ppx_deriving.core_type field optional to allow ignoring
     unsupported [%x:] shorthands.
   * Add support for [ <at>  <at> deriving foo { optional = true }] that does
     not error out if foo is missing, useful for optional dependencies.
   * Rename ~name and ~prefix of Ppx_deriving.attr and
     Ppx_deriving.Arg.payload to ~deriver.
   * Renamed Ppx_deriving.Arg.payload to get_attr.
   * Add Ppx_deriving.Arg.get_expr and get_flag.

ppx_deriving_yojson 2.0
-----------------------

   * Update to accomodate syntactic changes in _deriving_ 1.0.
   * Common helper functions have been extracted into
     ppx_deriving_yojson.runtime, reducing code size.
   * Add support for `[ <at>  <at> deriving to_yojson, of_yojson]`
     and `[%to_yojson:]`, `[%of_yojson:]` shortcuts.
   * Add support for `[ <at>  <at> deriving yojson { strict = false }]`.

ppx_deriving_protobuf 2.0
-------------------------

   * Update to accomodate syntactic changes in _deriving_ 1.0.

-- 
Peter Zotov

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Sébastien Hinderer | 23 Oct 14:12 2014
Picon
Picon

Filename.temp_dir_name

Dear all,

In Ocaml 4.02.0, filename.mli says that temp_dir_name is deprecated
since 3.09.1 and that get_temp_dir_name should be used instead, but this
function does not seem to be deined in e.g.the sources of
ocaml-3.10.0+beta.

Any hint?

Thanks,
Sébastien.

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Jiten Pathy | 23 Oct 04:19 2014
Picon

Custom encoding from type definitions

Hello,
Is there a library that allows us to easily write custom encoding from
type definitions?

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Jacques-Pascal Deplaix | 23 Oct 00:51 2014
Picon

[OASIS-devel] [ANN] OASIS v0.4.5

Hi all,

I and Sylvain Le Gall just released OASIS 0.4.5.

OASIS is a tool to help OCaml developers to integrate configure, build and install systems in their projects. It should help to create standard entry points in the source code build system, allowing external tools to analyse projects easily.


Important changes:
* Build and install annotation files.
* Use builtin bin_annot and annot tags.
* Tag .mly files on the same basis as .ml and .mli files (required by menhir).
* Remove 'program' constraint from C-dependencies. Currently, when a library has C-sources and e.g. an executable depends on that library, then changing the C-sources and running '-build' does not yield a rebuild of the library. By adding these dependencies (rather removing the constraint), it seems to work fine.
* Some bug fixes

Features:
* no_automatic_syntax (alpha): Disable the automatic inclusion of -syntax camlp4o for packages that matches the internal heuristic (if a dependency ends with a .syntax or is a well known syntax).
* compiled_setup_ml (alpha): Fix a bug using multiple arguments to the configure script.


Download here:

Cheers
Jacques-Pascal Deplaix
S B Cooper | 22 Oct 22:42 2014
Picon

CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015

1st CALL FOR PAPERS:
      COMPUTABILITY IN EUROPE 2015: Evolving Computability
                   Bucharest, Romania
                    June 29 - July 3
             http://fmi.unibuc.ro/CiE2015/

IMPORTANT DATES:

Submission Deadline for LNCS:                 11 January 2015
Notification of authors:                         9 March 2015
Deadline for final revisions:                    6 April 2015

CiE 2015 is the 11th conference organized by CiE (Computability
in Europe), a European association of mathematicians, logicians,
computer scientists, philosophers, physicists and others
interested in new developments in computability and their
underlying significance for the real world. Previous meetings
have taken place in Amsterdam (2005), Swansea (2006), Siena
(2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014).

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges.  From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises.  The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.

In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.

We particularly invite papers that build bridges between
different parts of the research community.

For topics covered by the conference, please visit
        http://fmi.unibuc.ro/CiE2015/topics.html

TUTORIAL SPEAKERS

  * John Reif (Duke Unversity)
  * Steve Simpson (Pennsylvania State University)

CONFIRMED PLENARY SPEAKERS

  * Ann Copestake (University of Cambridge)
  * Mircea Dumitru (University of Bucharest, Public Lecture)
  * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
  * Julia Knight (University of Notre Dame)
  * Anca Muscholl (Universite Bordeaux)
  * Gheorghe Paun (Romanian Academy)
  * Alexander Razborov (University of Chicago
       and Steklov Mathematical Institute)
  * Vlatko Vedral (University of Oxford)

SPECIAL SESSIONS on

  * Representing streams
     (Organizers: Joerg Endrullis and Dimtri Hendriks)
  * Automata, logic and infinite games
     (Organizers: Dietmar Berwanger and Ioana Leustean)
  * Reverse mathematics
     (Organizers: Damir Dzhafarov and Alberto Marcone)
  * Classical computability theory
     (Organizers: Marat Arslanov and Steffen Lempp)
  * Bio-inspired computation
     (Organizers: Andrei Paun and Petr Sosik)
  * History and philosophy of computing
     (Organizers: Christine Proust and Marco Benini)

The PROGRAMME COMMITTEE consists of:

  * Marat Arslanov (Kazan)           * Jeremy Avigad (Pittsburgh)
  * Veronica Becher (Buenos Aires)   * Arnold Beckmann (Swansea)
  * Laurent Bienvenu (Paris)         * Alessandra Carbone (Paris)
  * Gabriel Ciobanu (Iasi)           * S Barry Cooper (Leeds)
  * Laura Crosilla (Leeds)           * Liesbeth De Mol (Ghent)
  * Walter Dean (Warwick)            * Volker Diekert (Stuttgart)
  * Damir Dzhafarov (Storrs, Connecticut)
  * Peter van Emde Boas (Amsterdam)  * Rachel Epstein (Harvard)
  * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
  * Joel David Hamkins (New York)    * Rosalie Iemhoff (Utrecht)
  * Emmanuel Jeandel (LORIA)         * Natasha Jonoska (Tampa, FL)
  * Antonina Kolokolova (St.John's, NL)
  * Antonin Kucera (Prague)          * Oliver Kutz (Magdeburg)
  * Benedikt Loewe (Hamburg & Amsterdam)
  * Jack Lutz (Ames, IA)             * Florin Manea (Kiel)
  * Alberto Marcone (Udine)          * Radu Mardare (Aalborg)
  * Joe Miller (Madison, WI)
  * Russell Miller (Flushing, NY)    * Mia Minnes (La Jolla, CA)
  * Victor Mitrana (Bucharest, co-chair)
  * Ian Pratt-Hartmann (Manchester)  * Dag Normann (Oslo)
  * Mehrnoosh Sadrzadeh (London)     * Anne Smith (St Andrews)
  * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
  * Paul Spirakis (Patras & Liverpool)
  * Jacobo Toran (Ulm)               * Marius Zimand (Towson, MD)

The PROGRAMME COMMITTEE cordially invites all researchers
(European and non-European) in computability related areas to
submit their papers (in PDF format, max 10 pages using the LNCS
style) for presentation at CiE 2015.

The submission site
    https://www.easychair.org/conferences/?conf=cie2015
is open.

For submission instructions consult
    http://fmi.unibuc.ro/CiE2015/submission.html

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag.

____________________________________________________________________

CiE 2015 http://fmi.unibuc.ro/CiE2015/

ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

CiE Conference Series | 22 Oct 22:18 2014
Picon

CiE 2015: Evolving Computability - 1st CfP - Bucharest, 29/6-3/7/2015

1st CALL FOR PAPERS:
      COMPUTABILITY IN EUROPE 2015: Evolving Computability
                   Bucharest, Romania
                    June 29 - July 3
             http://fmi.unibuc.ro/CiE2015/

IMPORTANT DATES:

Submission Deadline for LNCS:                 11 January 2015
Notification of authors:                         9 March 2015
Deadline for final revisions:                    6 April 2015

CiE 2015 is the 11-th conference organized by CiE (Computability
in Europe), a European association of mathematicians, logicians,
computer scientists, philosophers, physicists and others
interested in new developments in computability and their
underlying significance for the real world. Previous meetings
have taken place in Amsterdam (2005), Swansea (2006), Siena
(2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014)

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges.  From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises.  The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.

In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.

We particularly invite papers that build bridges between
different parts of the research community.

For topics covered by the conference, please visit
        http://fmi.unibuc.ro/CiE2015/topics.html

TUTORIAL SPEAKERS

  * John Reif (Duke Unversity)
  * Steve Simpson (Pennsylvania State University)

CONFIRMED PLENARY SPEAKERS

  * Ann Copestake (University of Cambridge)
  * Mircea Dumitru (University of Bucharest, Public Lecture)
  * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
  * Julia Knight (University of Notre Dame)
  * Anca Muscholl (Universite Bordeaux)
  * Gheorghe Paun (Romanian Academy)
  * Alexander Razborov (University of Chicago
       and Steklov Mathematical Institute)
  * Vlatko Vedral (University of Oxford)

SPECIAL SESSIONS on

  * Representing streams
     (Organizers: Joerg Endrullis and Dimtri Hendriks)
  * Automata, logic and infinite games
     (Organizers: Dietmar Berwanger and Ioana Leustean)
  * Reverse mathematics
     (Organizers: Damir Dzhafarov and Alberto Marcone)
  * Classical computability theory
     (Organizers: Marat Arslanov and Steffen Lempp)
  * Bio-inspired computation
     (Organizers: Andrei Paun and Petr Sosik)
  * History and philosophy of computing
     (Organizers: Christine Proust and Marco Benini)

The PROGRAMME COMMITTEE consists of:

  * Marat Arslanov (Kazan)           * Jeremy Avigad (Pittsburgh)
  * Veronica Becher (Buenos Aires)   * Arnold Beckmann (Swansea)
  * Laurent Bienvenu (Paris)         * Alessandra Carbone (Paris)
  * Gabriel Ciobanu (Iasi)           * S Barry Cooper (Leeds)
  * Laura Crosilla (Leeds)           * Liesbeth De Mol (Ghent)
  * Walter Dean (Warwick)            * Volker Diekert (Stuttgart)
  * Damir Dzhafarov (Storrs, Connecticut)
  * Peter van Emde Boas (Amsterdam)  * Rachel Epstein (Harvard)
  * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
  * Joel David Hamkins (New York)    * Rosalie Iemhoff (Utrecht)
  * Emmanuel Jeandel (LORIA)         * Natasha Jonoska (Tampa, FL)
  * Antonina Kolokolova (St.John's, NL)
  * Antonin Kucera (Prague)          * Oliver Kutz (Magdeburg)
  * Benedikt Loewe (Hamburg & Amsterdam)
  * Jack Lutz (Ames, IA)             * Florin Manea (Kiel)
  * Alberto Marcone (Udine)          * Radu Mardare (Aalborg)
  * Joe Miller (Madison, WI)
  * Russell Miller (Flushing, NY)    * Mia Minnes (La Jolla, CA)
  * Victor Mitrana (Bucharest, co-chair)
  * Ian Pratt-Hartmann (Manchester)  * Dag Normann (Oslo)
  * Mehrnoosh Sadrzadeh (London)     * Anne Smith (St Andrews)
  * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
  * Paul Spirakis (Patras & Liverpool)
  * Jacobo Toran (Ulm)               * Marius Zimand (Towson, MD)

The PROGRAMME COMMITTEE cordially invites all researchers
(European and non-European) in computability related areas to
submit their papers (in PDF format, max 10 pages using the LNCS
style) for presentation at CiE 2015.

The submission site
    https://www.easychair.org/conferences/?conf=cie2015
is open.

For submission instructions consult
    http://fmi.unibuc.ro/CiE2015/submission.html

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag.

____________________________________________________________________

CiE 2015 http://fmi.unibuc.ro/CiE2015/

ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Thomas Braibant | 22 Oct 21:15 2014
Picon

Upcoming OCaml Users in PariS meetups: 10/29 and 12/09

(English version below)

J'ai le plaisir d'annoncer les deux prochaines rencontres OUPS:
- le 29 octobre (la semaine prochaine!), nous organisons une Hacking
Session impromptue à l'IRILL, à 19h. Plus de détails sont disponibles
ici [1]
- le 9 décembre, nous organisons un meetup "normal". Le programme des
exposés sera disponible prochainement ici [2]. Si vous souhaitez faire
une présentation, n'hésitez pas à me contacter!

(English version)

The next OUPS meetings will take place on the following dates:
- the 29th of october (next week!), we will have a compiler hacking
session at IRILL, starting at 7pm. More details are available here [1]
 - the 9th of december, we will have a "regular" OUPS meetup. The
program will soon be available here [2]. If you would like to give a
talk, feel free to send me an email!

[1] http://www.meetup.com/ocaml-paris/events/215013812/
[2] http://www.meetup.com/ocaml-paris/events/215017872/

Thomas Braibant

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Gmane