Mechadense's wish programming language: Difference between revisions
Jump to navigation
Jump to search
→External links: added link to x-platform posts |
→Related: added link to new page Steady typing |
||
| Line 14: | Line 14: | ||
* '''[[Typed holes]]''' | * '''[[Typed holes]]''' | ||
* [[Diffing]] | * [[Diffing]] | ||
* '''[[Steady typing]]''' | |||
---- | ---- | ||
* [[General software issues]] | * [[General software issues]] | ||
Revision as of 13:57, 22 June 2026
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
Two graphics of panes with existing projects that need integration here as list of potential ingredients:
https://x.com/mechadense/status/1880986890205298830
(wiki-TODO: Find and add these graphics.)
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) – Steady typing
- 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