Elm Town 84 – Wonder: Elm all the way down with Justin Lubin

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: [email protected] by Jesse Moore.Recording date: 2024.12.09GuestJustin LubinShow notes[00:00:44] Introducing JustinSketch-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?Hazel[00:11:03] From Parker Ziegler: Getting started in a large Elm codebase[00:13:01] The  Sketch-n-Sketch cinematic universeManiposynth[00:22:21] Research on how  statically-typed functional programmers write codeElm Town 83 – Wonder: Meeting people where they are with Ryan Haskell[00:35:11]  From Parker Ziegler: Ergonomics vs. hindrances[00:40:25] Fork of the Elm compilerravichugh/sketch-n-sketch (GitHub)[00:45:04] Cobbler"Equivalence by Canonicalization for Synthesis-Backed Refactoring" by Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. ChasinsCobbler (GitHub)[00:47:36] Justin's current work[00:51:45] PicksJustin's pickDesign at Work: Cooperative Design of Computer Systems by Joan Greenbaum and Morten KyngJared's pickEntangled Life by Merlin Sheldrake