Elm Town 84 – Wonder: Elm all the way down with Justin Lubin
JUNE 3RD, 2025
|
55:46
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.
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