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
External links
Inspiring sources:
- full proof system on type level: idris & agda
- unison language
- lambdu (steady typing) & https://www.lamdu.org/ (down?) (Yair Chuchem)
- hazel & https://tylr.fun/
- sketch-n-sketch (output directed programming ODP)
- https://unit.software/
- 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