Blogs (27) >>
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

ocaml-2017-talks
10:30 - 11:30: OCaml 2017 - Talk session 2 at L3
ocaml-2017-talks150485940000010:30 - 10:50
Talk
Link to publication Pre-print
ocaml-2017-talks150486060000010:50 - 11:10
Talk
Link to publication Pre-print
ocaml-2017-talks150486180000011:10 - 11:30
Talk