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/57504 <pre>===================================================== ACM SIGPLAN International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'13) http://complogic.cs.mcgill.ca/lfmtp13 23 September, 2013 Boston, USA Co-located with with ICFP'13 CALL FOR PAPERS ===================================================== IMPORTANT DATES Paper submission: June 14, 2013 Author notification: July 7, 2013 Final versions due: July 18, 2013 ===================================================== Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their use in reasoning tasks ranging from the correctness of software to the properties of formal computational systems on the other hand have been the focus of considerable res</pre> Brigitte Pientka 2013-05-22T03:06:39 http://comments.gmane.org/gmane.comp.lang.caml.inria/57492 <pre>Hi, As you know, there is in OCaml some asymmetry regarding the rec/nonrec defaults for type and value declarations.  Types are recursive by default and there's no way to "unrecurse" them, whereas values are by default not recursive and can be made recursive via the "rec" keyword. The unrecursiveness of type declarations is cause for some chagrin, as a recent ticket on Mantis demonstrates [1]. Here's something I wonder: if one were to wipe the slate clean, is there consensus among the community about the best defaults?  I'm leaning towards having nonrec as the default behaviour for *both* types and values, and using "rec" as the keyword for recursive types and values.  This scheme would obviate the need for an actual "nonrec" keyword. Obviously, such a change would be too intrusive to make to OCaml.  However, since people are working on "Next Generation ML" languages like Mezzo [2], I think it would be good to get the community's pulse on this subject. (Btw, from the examples posted on Mezzo's h</pre> Dario Teixeira 2013-05-20T14:31:30 http://comments.gmane.org/gmane.comp.lang.caml.inria/57489 <pre>I am pleased to announce the 109.23.00 release of the Core suite. The following packages were upgraded: - async_parallel - core - core_extended - jenga async_parallel is a new library. It is for running tasks in other processes on a cluster of machines. A detailed description is included in the API documentation: https://ocaml.janestreet.com/ocaml-core/109.23.00/doc/parallel/Std.html Files and documentation for this release are available on our website and all packages are in opam: https://ocaml.janestreet.com/ocaml-core/109.14.00/individual/ https://ocaml.janestreet.com/ocaml-core/109.14.00/doc/ Here are the changelogs for versions 109.15.00 to 109.23.00: # 109.15.00 ## async_extra - In `Rpc.client` and `Rpc.with_client`, allowed the client to implement the rpcs. Added a new optional argument: `?implementations:_ Client_implementations.t`. - Added new module `Versioned_rpc.Both_convert` to allow the caller and callee to independently upgrade to a new rpc. This is a new flavor of </pre> Jeremie Dimino 2013-05-20T12:13:42 http://comments.gmane.org/gmane.comp.lang.caml.inria/57485 <pre>*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* +++ next registration deadline: May 26 +++ ********************************************************************* AIM: SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers. SSTiC 2013 will cover the whole spectrum of computer science by means of 63 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as th</pre> GRLMC 2013-05-19T16:53:24 http://comments.gmane.org/gmane.comp.lang.caml.inria/57484 <pre>Hi, I've been wondering why the following is disallowed: ----- module M (U : sig end) = struct module type S = sig val x : int end let a = ((module struct let x = 42 end : S)) module A = (val a) end ----- The error message is: ----- File "foo.ml", line 4, characters 13-20: Error: This kind of expression is not allowed within the body of a functor. ----- Making M a module by removing the functor argument works as expected. Is there some inherent unsoundness issue with allowing this kind of use of first-class modules within functor bodies, or would it just be hard adding sound support for the above to the current type system? Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl&lt; at &gt;gmail.com </pre> Markus Mottl 2013-05-19T15:14:46 http://comments.gmane.org/gmane.comp.lang.caml.inria/57480 <pre>Though it isn't mentioned in the ad, this job may be of particular interest to researchers with OCaml experience: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=013243 The successful applicant will be working with Phil Wadler and me, extending the Links web programming language to support session types. Links is written in OCaml. The deadline for applications is 20th May 2013. Sam </pre> Sam Lindley 2013-05-17T15:10:56 http://comments.gmane.org/gmane.comp.lang.caml.inria/57479 <pre>------------------------------------------------------------------------------ 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) colocated with 27th Workshop on Logic Programming (WLP 2013) part of the Kiel Declarative Programming Days 2013 Kiel, Germany, September 11-13, 2013 ------------------------------------------------------------------------------ Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This specification method attracted increased attention over the last decades, e.g., in the domains of databases and natural language processing, for the modeling and the processing of combinatorial problems, and for establishing systems for the Web. INAP 2013 ========= INAP is a communicative and dense conference for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely relate</pre> Ricardo Rocha 2013-05-17T13:59:54 http://comments.gmane.org/gmane.comp.lang.caml.inria/57478 <pre></pre> Jose A Martin 2013-05-17T11:03:25 http://comments.gmane.org/gmane.comp.lang.caml.inria/57474 <pre>* HLPP2013, Paris 1-2 July 2013 https://sites.google.com/site/hlpp2013/ International Symposium on High-level Parallel Programming and Applications - Accepted papers: https://sites.google.com/site/hlpp2013/home/acceptedpapers - Invited talk by Leslie Valiant (Harvard U.) inventor of the BSP paradigm and 2010 Turing award: A Bridging Model for Multi-Core Computing Registration is open: http://www.hains.eu/hlpp2013registration.html* </pre> Gaetan Hains 2013-05-17T09:07:10 http://comments.gmane.org/gmane.comp.lang.caml.inria/57473 <pre> The 14th International Symposium on Database Programming Languages http://dbpl2013.inria.fr Riva del Garda, Trento, Italy August 30, 2013 co-located with VLDB 2013 Call for Papers For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas at the intersection of databases and programming languages. Many key contributions in query languages for object-oriented data, persistent databases, nested relational data, and semistructured data, as well as fundamental ideas in types for query languages, were first announced at DBPL. Today, the emergence of new data management applications such as cloud computing and “big data,” social network analysis, bidirectional programming, and data privacy has lead to a new flurry of creative research in this area, as well as a t</pre> Alan Schmitt 2013-05-17T07:20:55 http://comments.gmane.org/gmane.comp.lang.caml.inria/57472 <pre> Does anybody know whatever happened to concurrent caml-light? Anybody have any idea if the Doligez-Gonthier-Leroy GC was ever implemented in another system? Thanks in advance, --chet-- </pre> Chet Murthy 2013-05-17T02:11:51 http://comments.gmane.org/gmane.comp.lang.caml.inria/57470 <pre>--------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2013: The Nature of Computation Milan, Italy, July 1 - 5, 2013 CALL FOR PARTICIPATION Informal Presentation Deadline: 31 May 2013 Early Registration Deadline: 31 May 2013 http://cie2013.disco.unimib.it co-located with Unconventional Computation and Natural Computation 2013 http://ucnc2013.disco.unimib.it --------------------------------------------------------------------------- TUTORIAL SPEAKERS: Gilles Brassard (Universite de Montreal) and Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) PLENARY TALKS: Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya So</pre> S B Cooper 2013-05-16T12:06:34 http://comments.gmane.org/gmane.comp.lang.caml.inria/57469 <pre>Si vous ne parvenez pas à lire ce message, http://stats.wewm122.com/Msg.ashx?c=uxDmq2806DkrZE0Ab%2FDVQ5C9bKuI6tVd Bonjour, Je me présente ; Etienne. J'ai vu votre site Internet et aimerait vous proposer mes services Vous vous demandez quels sont mes compétences ? Suivez-moi par ici pour les découvrir: http://stats.wewm122.com/Redirect.ashx?c=5Af4wETqzBNJodKJbUjKsmHgcDqgN0KgZVlxCRzM2tfzpxaXxtAe7ajjGs4YkeFXrMArKGT3Np5D8eygbNxUO45y1CLjlXMX8b7LMD3PigUQuqXgmNljhZbUGDsyhxe6cmyOyEBnjhh8UIGtefsN2SPdZUH7d5%2fuV6IuCNCeNG0ddp88Aeb4ww%3d%3d A tout de suite, * Cette vidéo est une astuce technique amusante que vous et VOUS SEUL pouvez voir sur le site www.total.fr grâce à ce mail Production Audiovisuelle Thierry MAILLARD Directeur Commercial 06.12.98.41.16 www.productionaudiovisuelle.tv Pour vous désinscrire, http://stats.wewm122.com/unsubscribe.aspx?c=uxDmq2806DkrZE0Ab%2fDVQ9VpaQcK26Lv8Ix0V3ID8Pw%3d&amp;t=69 </pre> Production Audiovisuelle 2013-05-16T09:45:49 http://comments.gmane.org/gmane.comp.lang.caml.inria/57468 <pre>Your are subscriber of list caml-list&lt; at &gt;inria.fr with email gclci-caml- list&lt; at &gt;gmane.org Everything about this list: http://sympa.inria.fr/sympa/info/caml-list Unsubscription: mailto:sympa_inria&lt; at &gt;inria.fr?subject=sig%20caml-list%20gclci-caml-list%40gmane.org </pre> caml-list-request< at >inria.fr 2013-05-15T08:28:47 http://comments.gmane.org/gmane.comp.lang.caml.inria/57465 <pre> bitstring is a library for manipulating bitstrings, binary file formats, protocols, etc from OCaml. http://code.google.com/p/bitstring/ The list of changes is here: http://code.google.com/p/bitstring/source/list Rich. </pre> Richard W.M. Jones 2013-05-14T16:45:04 http://comments.gmane.org/gmane.comp.lang.caml.inria/57463 <pre>Hello, Is there some way to plug qtest into an oasis-managed project? My current problem is that qtest generates the main.ml (for example) file to run the tests and I don't want to add this file under VC so oasis should allow me to run a command to create this file before it is compiled. In fact I am open to any feedback from someone who already dealt with this kind of use-case. Thanks, F. </pre> Francois Berenger 2013-05-14T04:21:24 http://comments.gmane.org/gmane.comp.lang.caml.inria/57460 <pre>Hi, We are happy to announce a new meetup of OCaml-Paris, next week, on May 21, at IRILL (Paris 13th). Everybody is welcome of course, as long as you understand some French... Here is the current schedule of the meeting (in French): 19h30-19h40 : Intro et nouvelles 19h40-20h05 : Esther Baruk : LexiFi: usage d'OCaml pour décrire des contrats financiers 20h05-20h30 : Gabriel Scherer : comment mieux interagir avec l'équipe du noyau d'OCaml 20h30-20h55 : Benoît Vaugon : que peut-on faire avec le bytecode d'OCaml ? 20h55-21h20 : Frédéric Bour : Merlin, un IDE OCaml pour VIM (reporté) Pierre Chambart : les GADT dans la pratique 21h20-21h30 : Discussions ouvertes/démos flash 21h30 : Pizzas You should register online so that we can order enough pizzas for everybody ! The Meetup site is here: http://www.meetup.com/ocaml-paris/ If you want to use the event for some announcements, we can schedule flash talks at the end of the meeting, just tell me ! --Fabrice </pre> Fabrice Le Fessant 2013-05-13T22:10:01 http://comments.gmane.org/gmane.comp.lang.caml.inria/57459 <pre>====================================================================== FARM 2013: Call for Papers ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Boston, Massachusetts, USA 28th September, 2013 (directly after ICFP) http://www.cis.upenn.edu/~byorgey/farm13/ ====================================================================== Scope ----- The functional programming community is largely interested in writing beautiful programs. This workshop is intended to gather researchers and practitioners interested in writing beautiful programs that generate beautiful artifacts. Such artifacts may include visual art, music, 3D sculptures, animations, GUIs, video games, physical models, architectural models, choreographies for dance, poetry, and even physical objects such as VLSI layouts, GPU configurations, or mechanical engineering designs. The framework used need not be purely functional (“mostly functional” is fine); may be based on abstractions such as higher</pre> Brent Yorgey 2013-05-13T20:46:29 http://comments.gmane.org/gmane.comp.lang.caml.inria/57455 <pre>Hi, I have two C types like this: struct Request { uint32_t cmd_type; uint32_t size; uint8_t data[]; }; struct Reply { uint32_t reply_type; uint32_t cmd_type; // the cmd_type of the request this reply is for uint32_t size; uint8_t data[]; }; Note: The C types are given and they do not have a request ID or anything that can be matched to a reply, only the cmd_type. 2 requests with the same cmd_type must not happen concurrently. Now in the ocaml bindings this becomes maybe: type request = Foo of string | Bar of int | Baz type cmd_type = Foo | Bar | Baz type msg = Error of string | Buzz of float | Burr type reply = { cmd_type : cmd_type; msg : msg; } Or should I rather keep track of request on the C side, match replies to requests and use requests in the reply type like this? type reply = { req : request; msg : msg; } On top of that there is a connection between request and reply contents. A Foo request can get an Error or Buzz while Bar/B</pre> Goswin von Brederlow 2013-05-13T09:40:15 http://comments.gmane.org/gmane.comp.lang.caml.inria/57451 <pre>Hello, Was this integrated in the subversion trunk? I mean the #load "toto.ml";; that creates a Toto module automatically. Thanks a lot, F. </pre> Francois Berenger 2013-05-13T01:48:25 http://comments.gmane.org/gmane.comp.lang.caml.inria/57450 <pre>---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing 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. --------------------- 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: st</pre> Hongseok Yang 2013-05-11T21:20:15 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.caml.inria