Mechadense's wish programming language: Difference between revisions
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
* full proof system on type level: [https://www.idris-lang.org/ idris] & [https://wiki.portal.chalmers.se/agda/pmwiki.php agda] | * full proof system on type level: [https://www.idris-lang.org/ idris] & [https://wiki.portal.chalmers.se/agda/pmwiki.php agda] | ||
* [https://www.unison-lang.org/ unison language] ([[Content addressed]]) | * [https://www.unison-lang.org/ unison language] ([[Content addressed]]) | ||
* [https://github.com/lamdu/lamdu lambdu (steady typing)] & https://www.lamdu.org/ (down?) (Yair Chuchem) | * [https://github.com/lamdu/lamdu lambdu (steady typing & shiftable blame)] & https://www.lamdu.org/ (down?) (Yair Chuchem) | ||
* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ | * [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ | ||
* [https://ravichugh.github.io/sketch-n-sketch/ sketch-n-sketch (output directed programming ODP)] | * [https://ravichugh.github.io/sketch-n-sketch/ sketch-n-sketch (output directed programming ODP)] | ||
Revision as of 11:40, 28 September 2025
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 (Content addressed)
- lambdu (steady typing & shiftable blame) & 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