Mechadense's wish programming language: Difference between revisions
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 24: | Line 24: | ||
'''Inspiring sources:''' | '''Inspiring sources:''' | ||
* | * [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] ([[ | * [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) | * [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''')] | ||
* https://unit.software/ | * https://unit.software/ (live coding, box-n-wire, with higher order function capability?, spring based auto-layouting, [[projectional editor]]?) | ||
* [https://github.com/VictorTaelin/VictorTaelin DATE? – interaction calculus based bend language – Victor Talein] {{wikitodo|better links}} | * [https://github.com/VictorTaelin/VictorTaelin DATE? – interaction calculus based bend language – Victor Talein] {{wikitodo|better links}} | ||
* [https://dl.acm.org/doi/10.1145/3563836.3568722 2022 – Interleaved 2D Notation for Concatenative Programming – Michael Homer] | * [https://dl.acm.org/doi/10.1145/3563836.3568722 2022 – Interleaved 2D Notation for Concatenative Programming – Michael Homer] | ||
| Line 41: | Line 41: | ||
* [https://github.com/conal/talk-2021-can-tensor-programming-be-liberated#readme 2021 – Can Tensor Programming Be Liberated from the Fortran Data Paradigm? – Conal Elliott] | * [https://github.com/conal/talk-2021-can-tensor-programming-be-liberated#readme 2021 – Can Tensor Programming Be Liberated from the Fortran Data Paradigm? – Conal Elliott] | ||
---- | ---- | ||
* [https://joshuahhh.com/projects/pane/ 2018 – PANE 🌇 Programming with visible data – Joshua Horowitz] (spreadsheet like live view) | |||
* [https://www.inkandswitch.com/crosscut/ ink and switch crosscut] | |||
* [https://www.ensoanalytics.com/ enso (formerly luna)] (former vision category based programming, multiprojectional) | |||
* [https://worrydream.com/DrawingDynamicVisualizationsTalkAddendum/ 2013 – Drawing Dynamic Visualizations & Apparatus demo – Bret Victor] | * [https://worrydream.com/DrawingDynamicVisualizationsTalkAddendum/ 2013 – Drawing Dynamic Visualizations & Apparatus demo – Bret Victor] | ||
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