Elm Town 84 – Wonder: Elm all the way down with Justin Lubin
Update: 2025-06-03
Description
Justin Lubin sketches his journey from undergrad research at UChicago with Ravi Chugh on output-directed and bidirectional programming environments (Sketch-n-Sketch) to graduate work at UC Berkeley with Sarah E. Chasins, focusing on programming language theory, researching how statically-typed functional programmers write code, and beyond, to helping domain experts.
Thanks to our sponsor, Logistically. Email: elmtown@logisticallyinc.com.
Music by Jesse Moore.
Recording date: 2024.12.09
Guest
Show notes
[00:00:44 ] Introducing Justin
- Sketch-n-Sketch
- "How statically-typed functional programmers write code" by Justin Lubin and Sarah E. Chasins
[00:07:07 ] Elm all the way down
[00:08:36 ] What is Sketch-n-Sketch?
[00:11:03 ] From Parker Ziegler: Getting started in a large Elm codebase
[00:13:01 ] The Sketch-n-Sketch cinematic universe
[00:22:21 ] Research on how statically-typed functional programmers write code
[00:35:11 ] From Parker Ziegler: Ergonomics vs. hindrances
[00:40:25 ] Fork of the Elm compiler
[00:45:04 ] Cobbler
- "Equivalence by Canonicalization for Synthesis-Backed Refactoring" by Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins
- Cobbler (GitHub)
[00:47:36 ] Justin's current work
[00:51:45 ] Picks
Justin's pick
- Design at Work: Cooperative Design of Computer Systems by Joan Greenbaum and Morten Kyng
Jared's pick
- Entangled Life by Merlin Sheldrake
Comments
In Channel



