http://blog.gmane.org/gmane.comp.lang.caml.inria hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.lang.caml.inria/54942 <pre> COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PRESENTATIONS Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 29 June 2012 The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experien</pre> Ashish Agarwal 2012-05-24T19:06:50 http://comments.gmane.org/gmane.comp.lang.caml.inria/54931 <pre>Hi list, About two years ago, the following bug was reported: https://forge.ocamlcore.org/tracker/index.php?func=detail&amp;aid=659&amp;group_id=43&amp;atid=255 If you don't want to click, here is the issue. Tuareg indents pattern-matching like this: match x with | Bla -&gt; hello But the previous behavior of Tuareg, which I prefer, was: match x with | Bla -&gt; hello I have occasionally been updating my tuareg-mode, looking forward for this "tuareg-pipe-indent" variable (see the comments in the bug report), while patiently re-indenting pattern-matching by hand. But this variable, or any similar variable, never appeared. After two years, I'm becoming suspicious that something went wrong. Does anybody know what happened to the patch? Or how I can get my preferred behavior back? A related question is the following. I read here a few weeks ago a claim that the caml-mode was much better than the tuareg-mode. I was not able to find a comparison between these two modes, to support this claim, nor </pre> Romain Bardou 2012-05-23T15:15:17 http://comments.gmane.org/gmane.comp.lang.caml.inria/54930 <pre>ICSSEA 2012 24th International Conference on SOFTWARE &amp; SYSTEMS ENGINEERING and their APPLICATIONS Telecom ParisTech, Paris, October 23-25, 2012 Web site : http://icssea.enst.fr Sponsored by AFIS (the French Association for Systems Engineering) and INCOSE, co-organized by TELECOM ParisTech, CS Communication &amp; Systems, and the Génie Logiciel quarterly, the 24th edition of the ICSSEA Conference (International Conference on Software &amp; Systems Engineering and their Applications) will be held in Paris on October 23-25, 2012. By gathering actors from across the enterprise and research worlds, it aims at providing a critical survey of the status of tools, methods, and processes for elaborating software &amp; systems. TOPICS As in previous ICSSEA Conferences, any topic in connection with software engineering &amp; systems engineering is eligible. . Architectures: composition, orchestration, semantically-enabled SOA, ontology-based technologies... . Complex systems engineering . Components &amp; reusabi</pre> genie-logiciel 2012-05-22T06:34:42 http://comments.gmane.org/gmane.comp.lang.caml.inria/54926 <pre> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for participation ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference is organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematica</pre> Johan Jeuring 2012-05-21T12:56:56 http://comments.gmane.org/gmane.comp.lang.caml.inria/54923 <pre>I only recently noticed that ocaml does not close open channels when they are garbage collected. This is evidently intentional behavior, but it was quite unexpected. To be clear, I do think it's bad style to rely on GC for releasing OS resources, but that doesn't explain why GC shouldn't do this if the programmer has failed to explicitly close the channel. And if the intention were to _enforce_ good style, the channel finaliser would spout out an error or warning upon detecting that the channel hasn't yet been closed, instead of just silently leaking file handles like it does currently. It is of course trivial to "fix" this by attaching a simple finaliser, but the fact that this is not done by default makes me suspect that there would be something fishy with this approach. So, what's the rationale for the current behavior? Thanks, Lauri </pre> Lauri Alanko 2012-05-21T11:23:36 http://comments.gmane.org/gmane.comp.lang.caml.inria/54918 <pre> I'm trying to resurrect an old OCaml code base that appears to be written against OCaml 3.00. The Windows installers for OCaml 3.00 and 3.01 don't run on this machine. I've managed to compile it using OCaml 3.12 but the output doesn't seem to be what is expected so I'm guessing it's a backward compatibility issue. What changes have broken backward compatibility since OCaml 3.00 (in 2000) and when were they brought in? I remember something about equality and floating point numbers... </pre> Jon Harrop 2012-05-20T20:43:33 http://comments.gmane.org/gmane.comp.lang.caml.inria/54917 <pre>Hello, It is my pleasure to announce the multitude of (long overdue) releases tonight : ocaml-extunix 0.0.4 ------------------- ExtUnix provides thin bindings to various low-level system APIs which are not covered by Unix module. This release adds many new bindings and implements bigarray variants of some functions (as a consequence extunix now depends on bigarray). Many thanks to Goswin von Brederlow (who was the driving force behind this release), Andre Nathan and all previous (and future) contributors. Get it at http://extunix.forge.ocamlcore.org/ ocaml-mysql 1.1.1 ----------------- Bindings to libmysqlclient. This release update build infrastructure tools (OCamlMakefile, autotools, etc), provides Windows build support (both for msvc and mingw), fixes OCaml 3.12 compatibility and implements a couple of new features. Thanks go to Dmitry Grebeniuk and Hezekiah M. Carty. More info and download links : http://ocaml-mysql.forge.ocamlcore.org/ ocaml-geoip 0.0.1 ----------------- Bindi</pre> ygrek 2012-05-19T21:30:18 http://comments.gmane.org/gmane.comp.lang.caml.inria/54916 <pre>*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* ********************************************************************* 2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS FSFLA 2012 (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain October 29 – November 2, 2012 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/fsfla2012/ ********************************************************************* AIM: FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career. The previous event i</pre> GRLMC 2012-05-18T21:09:57 http://comments.gmane.org/gmane.comp.lang.caml.inria/54909 <pre>Folks, Is there an implementation of an email server (MTA) in OCaml? I actually need just the server portion as I plan to use Amazon Simple Email Service as the client. Thanks, Joel -------------------------------------------------------------------------- AlgoKit: EasyLanguage trading strategies, on the server, w/ Rithmic R|API ---------------------+------------+--------------------------------------- http://wagerlabs.com | &lt; at &gt;wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+--------------------------------------- </pre> Joel Reymont 2012-05-18T18:36:26 http://comments.gmane.org/gmane.comp.lang.caml.inria/54906 <pre> [We apologize for multiple copies] ==================================================================== Final Call for Papers FACS 2012 9th International Symposium Formal Aspects of Component Software http://www.cmu.edu/silicon-valley/facs12/ Mountain View, USA, September 12-14, 2012 ==================================================================== Highlights: ----------- - Invited speakers: * Shaz Qadeer, Microsoft, USA http://research.microsoft.com/en-us/people/qadeer/ * Tevfik Bultan, University of California Santa Barbara, USA http://www.cs.ucsb.edu/~bultan/ * Scope * The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues sti</pre> Javier Cámara Moreno 2012-05-18T02:25:55 http://comments.gmane.org/gmane.comp.lang.caml.inria/54901 <pre>Hello, 2012/5/15 Mehdi Dogguy &lt;mehdi&lt; at &gt;dogguy.org&gt;: Not much, but keeping git up-to-date (with the occasional "git gc"). Moreover, it means Gallium will need to have an internet-facing server, and maintain it. However, the SVN is at caml.inria.fr, which might mean that they aren't using Inria's GForge, so they might already have such a server. Indeed, at least for mid-size projects; I don't know whether one scales up more easily than the other). </pre> Nicolas Braud-Santoni 2012-05-17T10:18:54 http://comments.gmane.org/gmane.comp.lang.caml.inria/54899 <pre>Hello, With odb.ml as installed by ocamlbrew, 'odb.ml oasis' doesn't terminate correctly: --- W: Cannot find source file matching module 'OASISData' in library oasis I: Running command '/home/berenger/ocamlbrew/ocaml-3.12.1/bin/ocamlbuild src/oasis/oasis.cma src/oasis/oasis.cmxa src/oasis/oasis.a src/base/base.cma src/base/base.cmxa src/base/base.a src/builtin-plugins.cma src/builtin-plugins.cmxa src/builtin-plugins.a src/cli/cli.cma test/test.byte src/cli/Main.byte -tag debug' Finished, 1 target (0 cached) in 00:00:00. + ocamlfind ocamlc -c -g -annot -I src/oasis -I src/base -I src -package unix -package pcre -package odn -package ocamlgraph -package oUnit -package findlib -package fileutils -package extlib -package expect.pcre -I test -I src -I src/base -I src/cli -I src/oasis -I src/plugins/none -I src/plugins/ocamlbuild -I src/plugins/internal -I src/plugins/custom -I src/plugins/extra/stdfiles -I src/plugins/extra/devfiles -I src/plugins/extra/META -o test/TestFileTemplate.cmo test/TestFileT</pre> Francois Berenger 2012-05-17T02:33:02 http://comments.gmane.org/gmane.comp.lang.caml.inria/54898 <pre> CALL FOR TALK PROPOSALS HOPE 2012 The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 9, 2012 Copenhagen, Denmark (the day before ICFP 2012) http://hope2012.mpi-sws.org HOPE is a *new workshop* that is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, cont</pre> Amal Ahmed 2012-05-16T19:03:02 http://comments.gmane.org/gmane.comp.lang.caml.inria/54897 <pre>I'm feeling my way into using OCaml to provide calculations for a Cocoa application for OS X using XCode on an iMac. I'm totally new at OCaml. I'm working with the example in the manual, section 18.8 as a basis. After taking small steps via plain C versions, finally, I made a simple cocoa app with entry an entry field for an integer, and a value field for the fibonacci value for the entry. Compiliation failed due to an inconsistency between /usr/local/lib/ocaml/caml/config.h and cocoa's ...Security.framework/cssmconfig.h Specifically in this sequence: #if defined(ARCH_INT64_TYPE) typedef ARCH_INT64_TYPE int64; typedef ARCH_UINT64_TYPE uint64; #else ... Here the typedef for uint64 is in conflict with the framework's typedef in cssmconfig.h: #ifndef _UINT64 typedef uint64_t uint64; #define _UINT64 #endif Here is the complete XCode compilation error output: ------ Compile error output: /usr/local/lib/ocaml/caml/config.h /usr/local/lib/ocaml/caml/config.h:130:26: error: typedef redefinition with dif</pre> John Velman 2012-05-16T18:35:12 http://comments.gmane.org/gmane.comp.lang.caml.inria/54890 <pre>NASA/NIA PVS Class October 9-12, 2012 The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace are offering a short course on the PVS theorem prover in the fall of 2012. The class will take place October 9-12 in Hampton, Virginia: http://shemesh.larc.nasa.gov/PVSClass2012 The course is offered free of charge as a public service to the formal methods community. The class is open to all interested individuals. However, seats are limited and all attendees must register at http://shemesh.larc.nasa.gov/PVSClass2012/registration.html We emphasize a hands-on, immersion-style learning approach. Both lecturematerial and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre, one of the creators of PVS and its main de</pre> MUNOZ, CESAR (LARC-D320 2012-05-15T17:35:51 http://comments.gmane.org/gmane.comp.lang.caml.inria/54887 <pre> We recently put bmeurer's new ARM backend into Fedora/ARM, and generally it works well. However (very very occasionally) I'm getting odd segfaults from programs. One example is in camomile 0.8.3 during compilation: ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx cd mappings &amp;&amp; ./gen_mappings.opt /bin/sh: line 1: 13996 Illegal instruction ./gen_mappings.opt make: *** [mappings/cns11643.mar] Error 132 Another is in libguestfs (in the virt-sysprep program, but it seems to be a problem in the generated bindings). I'm not sure this is the same problem as in camomile. I'd just like to compare notes with anyone else using the new backend. Rich. </pre> Richard W.M. Jones 2012-05-15T17:11:44 http://comments.gmane.org/gmane.comp.lang.caml.inria/54880 <pre>I'm pleased to announce the 108.00-pre2 pre-release of the Core suite of libraries. Core is an industrial strength alternative to OCaml's standard library. The tarball can be found here: https://bitbucket.org/yminsky/ocaml-core/downloads The Core suite includes a variety of useful libraries, including: - Core: the heart of the standard library. - Several useful syntax extensions - type-conv: a library for building type-driven syntax extensions - sexplib: a library for handling s-expressions, and a syntax extension for auto-generating conversions between OCaml types and s-expressions - bin-prot: a syntax-extensions for generating - pipebang - variantslib - comparelib - fieldslib - Async: a monadic concurrency library. - Core_extended: extra components that are not as closely vetted or as stable as Core. This includes, Shell, an interface for interacting with the UNIX shell, and Command, a command-line parsing library. Many of these libraries have been released separately in the past, b</pre> Yaron Minsky 2012-05-15T01:43:24 http://comments.gmane.org/gmane.comp.lang.caml.inria/54879 <pre>We have defined types:   type position = {line : int; col : int };; type 'a ast = {data : 'a; kids : 'a ast list; posf : position; post: position};;     And then we transform string to ast:   let construct_common_ast s=     let len = String.length s in     let rec aux i j=       if i&gt;j then []       else (         let k = find_first s "(,)" i in         let str = trim (String.sub s i (k-i)) in         if k&gt;j || s.[k]=')' then (           if str="" then []           else {data=str; kids=[]; posf=(calc_pos s i); post=(calc_pos s j)}::[]         )         else if s.[k]='(' then (           let l = next_matched s '(' ')' (k+1) in           let m = find_first_not s " \t\n\r" (l+1) in           if m&lt;=j &amp;&amp; s.[m]&lt;&gt;',' then               fail_ast (calc_pos s k) (calc_pos s l) "construct_common_ast: invalid input string"           else               {data=str; kids=aux (k+1) (l-1); po</pre> xy s 2012-05-15T01:00:05 http://comments.gmane.org/gmane.comp.lang.caml.inria/54878 <pre>Dear OCaml Users and Developers, This is a reminder that this year "OCaml Meeting", renamed the "OCaml Users and Developers workshop (OUD)", will be colocated with ICFP in Copenhagen, Denmark on September 14th. The deadline for submitting Talk Proposals is 8th June 2012, only few weeks away. Visit http://oud.ocaml.org/2012/ for all details. Don't miss it! Didier </pre> Didier Remy 2012-05-14T08:42:25 http://comments.gmane.org/gmane.comp.lang.caml.inria/54877 <pre>Posting at the suggestion of a list subscriber: CALL FOR SPEAKERS - FP Days 2012 Cambridge UK October 25-26 SUBMISSION DEADLINE - FRIDAY JULY 6TH 2012 We are seeking high-quality session proposals covering any aspect of functional programming. Hands-on sessions, experience reports, tutorials, panels and other interactive sessions are particularly encouraged although more theoretical sessions are also welcome. In addition to free entry for the conference, being a speaker gives you a unique opportunity to present your viewpoint to our audience and get noticed. Please visit http://www.fpdays.net/fpdays2012/index.php for more information and to make a submission. Regards Mark Dalgarno FP Days Organiser -------------------------------------------------------------------------------------- Software Acumen Limited Registered in Cardiff, Registration No. 5210967 VAT registration number 896 7958 26 Registered Office: St. John's Innovation Centre, Cowley Road, Cambridge, England CB4 0WS </pre> Mark Dalgarno 2012-05-13T16:02:46 http://comments.gmane.org/gmane.comp.lang.caml.inria/54876 <pre>Dear list, This post announces the 2.0-alpha3 release of the Barista project, whose goal is to provide a library for Java class file construction and a Java [dis]assembler, released under the LGPLv3. This new version fixes several critical bugs. Home page: http://barista.x9c.fr Forge page: https://forge.ocamlcore.org/projects/barista/ Main changes since 2.0-alpha2: - support for '*.sym' and '*.war' files in classpath - 'JAVA_HOME' environment variable used to load JDK classes - '/usr/libexec/java_home' utility used to load JDK classes (MacOS X) - 'Predef' module renamed to 'Predefined' - peephole rule for optimization of load/load sequences - no automatic detection of 'ocamljava' binary - bug #99: wrong packing of int32 into int64 - bug: ocamlbuild plugin for ocamljava-based compilation - bug: invalid stack maps when double/long is followed by top - bug: invalid locals size when over 255 - bug: incorrect graph flattening when wide gotos are used - bug: install 'cmi'</pre> forum< at >x9c.fr 2012-05-13T10:19:01 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.caml.inria