Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 14:00 - 14:25 at L3 - Programming language design

We show how Lisp-style macros and extensible infix syntax are combined in the programming language Typer, which is a combination of Lisp, ML, and Coq. Its name is an homage to Scheme(r) with which it hares the goal of pushing as much functionality as possible outside of the core and into libraries. While it superficially looks more like Haskell and ML, with infix notation and static polymorphic typing, it tries to preserve the syntactic malleability of Lisp by relying on the traditional Lisp-style S-expressions and macros.

Its main tool to this end is the use of an infix notation for S-expressions, which still makes it possible to parse sub-expressions before knowing what role they will play.

Thu 7 Sep

mlfamilyworkshop-2017-papers
14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk