Discover and read the best of Twitter Threads about #unsion
Most recents (1)
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?
It'd nicely complement Conal Elliotts Tangible Variables (TVs) making it Bret Victor immediatefeedbackish at runtime too. Reason: It allows for both "minimum initial exposure" and FAPP limitless "progressive exposure" whereas TVs alone have issues with the latter.
