Hello, Here is the latest Caml Weekly News, for the week of May 31 to June 07, 2011.
1) ICFP Programming Contest starting in two weeks 2) Constrain module type to reuse a sum type 3) OCaml cheat sheets 4) OCaml web programming in San Francisco 5) PhD Scholarships in Semantics, Analysis, Verification 6) Other Caml News ======================================================================== 1) ICFP Programming Contest starting in two weeks Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list/2011-06/msg00006.html> ------------------------------------------------------------------------ ** Eijiro Sumii announced: This is a reminder that the ICFP Programming Contest 2011 will be starting in two weeks. See: <http://www.icfpcontest.org/2011/05/contest-announcement.html> Participants would need to prepare some virtual (or physical) machine running Debian squeeze. See: <http://www.icfpcontest.org/2011/05/judges-machine-and-system-environment.html> (You would only need an environment compatible with the guest, not the host. There exists various virtual machine software such as VirtualBox and VMware Player.) We look forward to your participation! ICFPC 2011 Oraganizers ======================================================================== 2) Constrain module type to reuse a sum type Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list/2011-06/msg00014.html> ------------------------------------------------------------------------ ** Dawid Toton asked and Jacques Garrigue replied: > I have a functor F which itself applies its own arguments to some other > functors. Results R of these applications contain sum types. These R are > exposed in the outcome of F in two ways: as types carried by the functions > defined by F and all R packed into a wrapper module. I'd like to tell the > compiler that each sum type is equal in both contexts. > > The problem boils down to the following: > > B.ml: > > module type A = sig type a = A end > module A = struct type a = A end > > module E = A > > type want_equal = A.a as 'a constraint 'a = E.a > > B.mli: > > module type A = sig type a = A end > module A : A > > module type E = A (*with type a = A.a*) > module E : E > > type want_equal = A.a as 'a constraint 'a = E.a > > > There are no problems with the module implementation. I can see right types > in the output of ocamlc -i . > But the interface is wrong, since it is forgotten that the sum types in E > and A are the same. > > I have put a constraint in a comment - this is what I'm trying to achieve. Your constraint (in comment) is the right one. Unfortunately, it was not allowed up to 3.12.0 (a full definition, including constructors, was required). The upcoming 3.12.1 will allow it. ======================================================================== 3) OCaml cheat sheets Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list/2011-06/msg00018.html> ------------------------------------------------------------------------ ** Fabrice LE FESSANT announced: We have published some "cheat sheets" on OCaml on OCamlPro's website: <http://www.ocamlpro.com/code/2011-06-03-cheatsheets.html> These cheat sheets are supposed to help developers to learn and to use OCaml by providing a condensed view of its documentation. Feel free to use them, distribute them to your students, and to tell us how we could improve them, what you think is important and should be added, etc. ======================================================================== 4) OCaml web programming in San Francisco Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list/2011-06/msg00029.html> ------------------------------------------------------------------------ ** William Le Ferrand announced: Be Sport is a newborn, freshly funded company based in San Francisco. We're designing the first platform that turns the sport experience into a worldwide social game, providing a unique opportunity to challenge peers and build a real sport networking identity. Our platform is almost entirely written in OCaml (using the Ocsigen framework on the frontend, and a lot of magic in the backend :)). We're looking for one or two OCaml enthusiasts to join our team in SF and work on our scalable, resilient, space-rocket social graph engine, as well as developing breathtaking interfaces by leveraging the ocaml_to_js compiler and some fancy ocsigen 2.0 features. If you ever dreamt of writing applications for millions of users and if you are willing to join a dynamic team in San Francisco, let's get in touch! ======================================================================== 5) PhD Scholarships in Semantics, Analysis, Verification Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list/2011-06/msg00033.html> ------------------------------------------------------------------------ ** Flemming Nielson announced: We are looking for enthusiastic students with a strong background in semantics, analysis and verification that would like to become part of our Centre of Excellence www.MT-LAB.dk and our Danish-Chinese Research Center www.idea4.dk Candidates are expected to have a background within one or more of - process calculi and automata - logical formalisms - static program analysis - model checking - prototype construction - algorithms and datastructures. A PhD Scholarship is for three years; you will be part of an international research group lbt.imm.dtu.dk whose dainly language is English, you will be paid about 3300? per month, and you would be expected to spend up to half a year in a relevant research group outside of Denmark. If you are interested - please perform steps 1-7 listed on <http://www2.imm.dtu.dk/~nielson/Scholarship-2011-Announcement.pdf> ======================================================================== 6) Other Caml News ------------------------------------------------------------------------ ** From the ocamlcore planet blog: Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the recent posts from the ocamlcore planet blog at <http://planet.ocamlcore.org/>. Getting Things Typed: External Trusted Systems for Programming: <http://elehack.net/michael/blog/2011/06/getting-things-typed> OCaml 1-page "cheat sheets": <http://rwmj.wordpress.com/2011/06/06/ocaml-1-page-cheat-sheets/> OCI*ML: Support for RETURNING: <http://gaiustech.wordpress.com/2011/06/05/ociml-support-for-returning/> L-BFGS 0.5 released: <https://forge.ocamlcore.org/forum/forum.php?forum_id=795> Programming PIC microcontrollers with Objective Caml: <http://www.wisdomandwonder.com/link/5707/programming-pic-microcontrollers-with-objective-caml> ocaml-iteratees 0.3 released: <https://forge.ocamlcore.org/forum/forum.php?forum_id=794> ======================================================================== Old cwn ------------------------------------------------------------------------ If you happen to miss a CWN, you can send me a message (alan.schm...@polytechnique.org) and I'll mail it to you, or go take a look at the archive (<http://alan.petitepomme.net/cwn/>) or the RSS feed of the archives (<http://alan.petitepomme.net/cwn/cwn.rss>). If you also wish to receive it every week by mail, you may subscribe online at <http://lists.idyll.org/listinfo/caml-news-weekly/> . ========================================================================
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ caml-news-weekly mailing list caml-news-weekly@lists.idyll.org http://lists.idyll.org/listinfo/caml-news-weekly