Mechadense's wish programming language - Revision history

Apm: added link to yet unwritten page * Concatenative

2026-06-22T15:12:06Z

added link to yet unwritten page * Concatenative

← Older revision		Revision as of 17:12, 22 June 2026
Line 21:		Line 21:
	* [[Programming as closest thing to real world magic]]		* [[Programming as closest thing to real world magic]]
	* '''[[User interfaces for gem-gum on-chip nanofactories]]'''		* '''[[User interfaces for gem-gum on-chip nanofactories]]'''
			----
			* [[Concatenative]]

	== External links ==		== External links ==

Apm: /* Related */ added link to new page Steady typing

2026-06-22T11:57:28Z

Related: added link to new page Steady typing

← Older revision		Revision as of 13:57, 22 June 2026
Line 14:		Line 14:
	* '''[[Typed holes]]'''		* '''[[Typed holes]]'''
	* [[Diffing]]		* [[Diffing]]
			* '''[[Steady typing]]'''
	----		----
	* [[General software issues]]		* [[General software issues]]

Apm: /* External links */ added link to x-platform posts

2026-06-20T22:24:48Z

External links: added link to x-platform posts

← Older revision		Revision as of 00:24, 21 June 2026
Line 22:		Line 22:

	== External links ==		== External links ==

			Two graphics of panes with existing projects that need integration here as list of potential ingredients: <br>
			https://x.com/mechadense/status/1880986890205298830 <br>
			{{wikitodo\|Find and add these graphics.}}

	'''Inspiring sources:'''		'''Inspiring sources:'''

Apm: /* External links */ added link to yet unwritten page Steady Typing

2026-06-20T15:45:43Z

External links: added link to yet unwritten page Steady Typing

← Older revision		Revision as of 17:45, 20 June 2026
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? [https://web.archive.org/web/20250829205546/http://www.lamdu.org/ via internetarchive]) (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) – '''[[Steady typing]]'''
	* [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-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/