Mechadense's wish programming language: Difference between revisions
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
* [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] ('''full proof system on type level''') | ||
* [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 & shiftable blame''') & https://www.lamdu.org/ (down?) (Yair Chuchem) | * [https://github.com/lamdu/lamdu lambdu] ('''steady typing & shiftable blame''') & https://www.lamdu.org/ (down? [https://web.archive.org/web/20250829205546/http://www.lamdu.org/ via internetarchive]) (Yair Chuchem) | ||
* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ ('''[[structural editing]] & livelets''' & data flowing around holes) | * [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ ('''[[structural editing]] & livelets''' & data flowing around holes) | ||
* [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''')] | ||
Latest revision as of 18:53, 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:
- 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