Mechadense's wish programming language

TODO

Related

• Programming languages
• Annotated lambda diagrams – Annotated lambda diagram mockups – Lambda diagrams
• Visually augmented purely functional programming
• Problems with classical graphical programming
• Problems with classical spreadsheets

---

• Projectional editors & * Structural editors
• Typed holes
• Diffing

---

• General software issues
• Software

---

• Programming as closest thing to real world magic
• User interfaces for gem-gum on-chip nanofactories

External links

Inspiring sources:

• idris & agda (full proof system on type level)
• unison language (content addressed)
• lambdu (steady typing & shiftable blame) & https://www.lamdu.org/ (down? via internetarchive) (Yair Chuchem)
• hazel & https://tylr.fun/ (structural editing & livelets & data flowing around holes)
• sketch-n-sketch (output directed programming ODP)
• https://unit.software/ (live coding, box-n-wire, with higher order function capability?, spring based auto-layouting, projectional editor?)
• DATE? – interaction calculus based bend language – Victor Talein (wiki-TODO: better links)
• 2022 – Interleaved 2D Notation for Concatenative Programming – Michael Homer

---

• 2021 – Version Control for Structure Editing – Jonathan Edwards
• 2007 – No ifs, ands, or buts: uncovering the simplicity of conditionals – Jonathan Edwards

---

• 2017 – Compiling to categories – Conal Elliott
• 2007 – Tangible Functional Programming (Eros demo) – Conal Elliott
• 2009 – Beautiful Differentation – Conal Elliott
• 2021 – Can Tensor Programming Be Liberated from the Fortran Data Paradigm? – Conal Elliott

---

• 2018 – PANE 🌇 Programming with visible data – Joshua Horowitz (spreadsheet like live view)
• ink and switch crosscut
• enso (formerly luna) (former vision category based programming, multiprojectional)
• 2013 – Drawing Dynamic Visualizations & Apparatus demo – Bret Victor