Mechadense's wish programming language: Difference between revisions

Latest revision as of 17:12, 22 June 2026

This article is a stub. It needs to be expanded.

TODO

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:

@@ Line 14: / Line 14: @@
 * '''[[Typed holes]]'''
 * [[Diffing]]
+* '''[[Steady typing]]'''
 ----
 * [[General software issues]]
@@ Line 20: / Line 21: @@
 * [[Programming as closest thing to real world magic]]
 * '''[[User interfaces for gem-gum on-chip nanofactories]]'''
+----
+* [[Concatenative]]
 == 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:'''
 * [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://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) – '''[[Steady typing]]'''
 * [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''')]