Mechadense's wish programming language - Revision history

Apm: /* External links */

2025-09-28T16:53:53Z

External links

← Older revision		Revision as of 18:53, 28 September 2025
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''')]

Apm: /* External links */

2025-09-28T09:52:58Z

External links

← Older revision		Revision as of 11:52, 28 September 2025
Line 24:		Line 24:

	'''Inspiring sources:'''		'''Inspiring sources:'''
	* ~~full proof system on type level:~~ [https://www.idris-lang.org/ idris] & [https://wiki.portal.chalmers.se/agda/pmwiki.php agda]		* [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?) (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]
	* [https://joshuahhh.com/projects/pane/ 2018 – PANE 🌇 Programming with visible data – Joshua Horowitz]
	* [https://www.inkandswitch.com/crosscut/ ink and switch crosscut]
	* TODO add more

Apm: /* External links */

2025-09-28T09:41:33Z

External links

← Older revision		Revision as of 11:41, 28 September 2025
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 & shiftable blame)] & 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/ ([[structural editing]] & livelets)		* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ ([[structural editing]] & livelets)
	* [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)]

Apm: /* External links */

2025-09-28T09:40:54Z

External links

← Older revision		Revision as of 11:40, 28 September 2025
Line 27:		Line 27:
	* [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?) (Yair Chuchem)
	* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/		* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/ ([[structural editing]] & livelets)
	* [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/

Apm: /* External links */

2025-09-28T09:40:13Z

External links

← Older revision		Revision as of 11:40, 28 September 2025
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)]

Apm: /* External links */

2025-09-28T09:39:36Z

External links

← Older revision		Revision as of 11:39, 28 September 2025
Line 25:		Line 25:
	'''Inspiring sources:'''		'''Inspiring sources:'''
	* 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]		* [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)] & 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/

Apm: just the == Related == & == External links == section for now

2025-09-28T09:39:09Z

just the == Related == & == External links == section for now

New page

{{stub}}

TODO

== Related ==

* [[Programming languages]]
* [[Annotated lambda diagrams]] – [[Annotated lambda diagram mockups]] – [[Lambda diagram]]s
* [[Visually augmented purely functional programming]]
* [[Problems with classical graphical programming]]
* [[Problems with classical spreadsheets]]
----
* '''[[Projectional editors]]''' & * '''[[Structural editors]]'''
* '''[[Typed holes]]'''
* [[Diffing]]
----
* [[General software issues]]
* [[Software]]
----
* [[Programming as closest thing to real world magic]]
* '''[[User interfaces for gem-gum on-chip nanofactories]]'''

== External links ==

'''Inspiring sources:'''
* 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]
* [https://github.com/lamdu/lamdu lambdu (steady typing)] & https://www.lamdu.org/ (down?) (Yair Chuchem)
* [https://hazel.org/build/dev/ hazel] & https://tylr.fun/
* [https://ravichugh.github.io/sketch-n-sketch/ sketch-n-sketch (output directed programming ODP)]
* https://unit.software/
* [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://alarmingdevelopment.org/?p=1570 2021 – Version Control for Structure Editing – Jonathan Edwards]
* [https://dl.acm.org/doi/10.1145/1297105.1297075 2007 – No ifs, ands, or buts: uncovering the simplicity of conditionals – Jonathan Edwards]
----
* [http://conal.net/papers/compiling-to-categories/ 2017 – Compiling to categories – Conal Elliott]
* [http://conal.net/papers/Eros/ 2007 – Tangible Functional Programming (Eros demo) – Conal Elliott]
* [http://conal.net/papers/beautiful-differentiation/ 2009 – Beautiful Differentation – 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://worrydream.com/DrawingDynamicVisualizationsTalkAddendum/ 2013 – Drawing Dynamic Visualizations & Apparatus demo – Bret Victor]
* [https://joshuahhh.com/projects/pane/ 2018 – PANE 🌇 Programming with visible data – Joshua Horowitz]
* [https://www.inkandswitch.com/crosscut/ ink and switch crosscut]
* TODO add more