Video not available

Send us an email to

Barliman: Trying the Halting Problem Backwards, Blindfolded

0 0

Barliman is a prototype smart editor capable of program synthesis: given part of a program and a set of tests to pass, Barliman attempts to complete the program for you. This capability enables an interesting kind of test-driven development with partially-instantiated programs. Synthesis is performed using a relational interpreter written in the EDSL miniKanren, which will be familiar to users of Clojure’s `core.logic`. We will demonstrate the Barliman programming experience with several examples, showing what currently works well and what does not, discussing the implementation and where the difficulties come from. We will also discuss the design philosophies and grander vision of Barliman as a tool for thought, and what it will take to get us there.

Clojure/Conj 2016

Clojure/conj is the original conference for Clojure and its community. Founded in 2010, the conference is the premier place for developers from all around the world to gather and learn about what i...