Hello
Here is the latest Caml Weekly News, for the week of May 31 to June 07, 2011.
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
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.
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.
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!
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
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
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.