Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 11:10 - 11:30 at L3 - Talk session 2

Genspio is a typed domain specific language embedded in OCaml that compiles terms to POSIX shell scripts or one-liners. It is used to build, for instance, complex deployment scripts which need to be run over SSH on hosts that may not have OCaml or any scripting language available.

The implementation is based on a GADT and has allowed us to scale to increasingly complex “Dev-Ops” deployments, thanks to the composability and modularity provided by OCaml itself. We describe these in Secotrec, for now our heaviest use of the Genspio EDSL.

While the released version has proved very useful, we detail quite a few very interesting future work problems.

Fri 8 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 11:30: OCaml 2017 - Talk session 2 at L3
ocaml-2017-talks10:30 - 10:50
Liang WangUniversity of Cambridge
Link to publication Pre-print
ocaml-2017-talks10:50 - 11:10
Runhang LiTwitter, Inc, Jeremy YallopUniversity of Cambridge, UK
Link to publication Pre-print
ocaml-2017-talks11:10 - 11:30
Sebastien MondetMount Sinai - Hammer Lab