Lukas Süss Profile picture
Mar 5, 2020 12 tweets 4 min read
Adding typed holes to John Tromps Lambda Diagrams would make programming feel like playing a puzzle game where matching spots light up, and allow to animate program transformations as visually discontinuity-free flow of parts of the program through the program. Flow of types too. It may occupy the perfect sweet spot between textual and visual programming. It's visualincidencecomplexitycompact and higher-order functional thus truly scalable despite being graphical. It's somewhat humanimagerecognitionemploying per se. Add support for type synonyms sketches?