Experiment: OCaml patch review on github.com/ocaml/ocaml
- January 30, 2014
TL;DR: During the six next months, we will follow pull requests (PR) posted on the github mirror of the OCaml distribution, as an alternative to the mantis bugtracker. This experiment hopes to attract more people to participate in the extremely helpful and surprisingly rewarding activity of patch reviews.
The Chinese restaurants of Gallium
- January 29, 2014
- Last updated on 2014/01/30
As some of you may know, we have a shared office in Paris. This means on Wednesdays and Thursdays, a chunk of the team works at Place d’Italie. For those of you who don’t know the area, Place d’Italie is on the fringe of Paris’ Chinatown. Two members of the team live (or have been living) in the area, meaning that we developed quite a flair for good Chinese restaurants (see the (incomplete) map of the places I have tried out for instance).
We thus happily present our list of favorite restaurants. These are not classy, well-designed, western-looking restaurants. They’re rather the obscure, hidden, ridiculously small restaurants filled with Chinese people and where the waitresses barely speak French and the chef shouts orders in Chinese from the kitchen. Most of these restaurants serve one of the eight major Chinese cuisine styles, and have relatively small menus. In case you’re visiting us, or just want to try out any of these, we hope that the list may be useful!
Pattern synonyms, arbitrary patterns as expressions
- January 25, 2014
- Last updated on 2014/01/27
A few weeks
^Wmonths ago now, Pierre Dagand asked me
about pattern synonyms for OCaml. I told him I had a design conundrum of
the worst kind with pattern synonyms: a choice between two incompatible
option, with none being better than the other. Synonyms that capture the
pattern language, or restricted synonyms that can be used as
expressions? Well, it turns out we can have both.
A toy type language (3) using Fix to compute variance
- January 21, 2014
We can now demonstrate the Fix library, used to compute arbitrary fixpoints, by implementing variance computation for the toy type system of our first post.
A toy type language (2) variance 101
- January 17, 2014
- Last updated on 2014/01/17
A toy type language (1) parsing and pretty-printing
- January 14, 2014
- Last updated on 2014/05/01
In this post I will present a simple language of type definitions, and use it as an example use-case for the Pprint library.
Happy new year 2014 from Gagallium!
- January 7, 2014
- Last updated on 2014/01/08