Annotated lambda diagram mockups - Revision history

Apm: /* Related */ added link to page Annotated lambda diagrams visual rules

2025-09-30T14:31:45Z

Related: added link to page Annotated lambda diagrams visual rules

← Older revision		Revision as of 16:31, 30 September 2025
Line 320:		Line 320:
	* [[User interfaces for gem-gum on-chip nanofactories]]		* [[User interfaces for gem-gum on-chip nanofactories]]
	* [[Typed holes]]		* [[Typed holes]]
			----
			* [[Annotated lambda diagrams visual rules]]

	[[Category:Programming]]		[[Category:Programming]]
	[[Category:Software]]		[[Category:Software]]

Apm: added links to not yet written page control flow multiverse

2024-12-27T18:30:26Z

added links to not yet written page control flow multiverse

← Older revision		Revision as of 20:30, 27 December 2024
Line 73:		Line 73:
	If so we might be onto something here.		If so we might be onto something here.

	== Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse ==		== Annotated lambda diagrams with zooming user interface as a window into the entire [[control flow multiverse]] ==

	The desire here is to implement in place previews <small>(with adjustable relative scaling factor)</small> <br>		The desire here is to implement in place previews <small>(with adjustable relative scaling factor)</small> <br>
Line 83:		Line 83:

	{\| style="margin-left: auto; margin-left: 0px;"		{\| style="margin-left: auto; margin-left: 0px;"
	\|[[File:AnnoLamDiag ControlFlowMultiverse.jpeg\|1024px\|thumb\|left\|'''Peering into the entirety of the control flow multiverse while it's running live.''' The lines highlighted in dark blue mark the control flow path that is active at the current moment of execution time (possibly paused). A bright cyan background marks the active case-of-branches. – The "demo" function performs constructive corecursion with dataconstructors. The "showBinFancily" function performs deconstructive recursion with the case of construct. {{Todo\|Investigate avoiding recursive definitions alltogether. See Book: "The Little Typer"}}]]		\|[[File:AnnoLamDiag ControlFlowMultiverse.jpeg\|1024px\|thumb\|left\|'''Peering into the entirety of the [[control flow multiverse]] while it's running live.''' The lines highlighted in dark blue mark the control flow path that is active at the current moment of execution time (possibly paused). A bright cyan background marks the active case-of-branches. – The "demo" function performs constructive corecursion with dataconstructors. The "showBinFancily" function performs deconstructive recursion with the case of construct. {{Todo\|Investigate avoiding recursive definitions alltogether. See Book: "The Little Typer"}}]]
	\|}		\|}

Line 146:		Line 146:
	'''Essentially this gives one access to the whole directed graph of the codebase not just to a local dependency tree.'''		'''Essentially this gives one access to the whole directed graph of the codebase not just to a local dependency tree.'''

	Inverse tabs are indicated in the mockup graphic about "peering into the control flow multiverse" at the lower left. <br>		Inverse tabs are indicated in the mockup graphic about "peering into the [[control flow multiverse]]" at the lower left. <br>
	To make it easier to reference to a yellow killroy face has been added. <br>		To make it easier to reference to a yellow killroy face has been added. <br>
	{{wikitodo\|Make a new mockup focused on showing the idea of inverse tabs better.}}		{{wikitodo\|Make a new mockup focused on showing the idea of inverse tabs better.}}

Apm at 08:44, 5 May 2024

2024-05-05T08:44:17Z

← Older revision		Revision as of 10:44, 5 May 2024
Line 322:		Line 322:

	[[Category:Programming]]		[[Category:Programming]]
			[[Category:Software]]

Apm: /* Dragging "bridge-holes" or "gap-holes" through still ambiguous sections of the code */ added See related page: Typed holes

2022-12-30T00:48:22Z

Dragging "bridge-holes" or "gap-holes" through still ambiguous sections of the code: added See related page: Typed holes

← Older revision		Revision as of 02:48, 30 December 2022
Line 21:		Line 21:

	== Dragging "bridge-holes" or "gap-holes" through still ambiguous sections of the code ==		== Dragging "bridge-holes" or "gap-holes" through still ambiguous sections of the code ==

			See related page: [[Typed holes]]

	{\| style="margin-left: auto; margin-left: 0px;"		{\| style="margin-left: auto; margin-left: 0px;"

Apm: /* Related / added Typed holes

2022-12-30T00:39:49Z

Related: added * Typed holes

← Older revision		Revision as of 02:39, 30 December 2022
Line 317:		Line 317:
	* [[Projectional editors]]		* [[Projectional editors]]
	* [[User interfaces for gem-gum on-chip nanofactories]]		* [[User interfaces for gem-gum on-chip nanofactories]]
			* [[Typed holes]]

	[[Category:Programming]]		[[Category:Programming]]

Apm: /* Related / added link to yet unwritten page User interfaces for gem-gum on-chip nanofactories

2022-10-25T07:55:34Z

Related: added link to yet unwritten page * User interfaces for gem-gum on-chip nanofactories

← Older revision		Revision as of 09:55, 25 October 2022
Line 316:		Line 316:
	* [[Software]]		* [[Software]]
	* [[Projectional editors]]		* [[Projectional editors]]
			* [[User interfaces for gem-gum on-chip nanofactories]]

	[[Category:Programming]]		[[Category:Programming]]

Apm: /* Tangible values (TVs) */ added link to: Tangible values (Conal Elliott)

2022-02-15T20:05:40Z

Tangible values (TVs): added link to: Tangible values (Conal Elliott)

← Older revision		Revision as of 22:05, 15 February 2022
Line 155:		Line 155:

	== Tangible values (TVs) ==		== Tangible values (TVs) ==

			'''See main page: [[Tangible values (Conal Elliott)]]'''

	{{wikitodo\|Add a mockup for combining ALDs with TVs as result value annotations. This one is '''VERY important!!'''}}		{{wikitodo\|Add a mockup for combining ALDs with TVs as result value annotations. This one is '''VERY important!!'''}}

Apm: /* Beautiful differentiation */ triangulation

2021-11-21T20:08:39Z

Beautiful differentiation: triangulation

← Older revision		Revision as of 22:08, 21 November 2021
Line 216:		Line 216:

	* First derivation of a scalar field defined by an implicit function (gradients) can be used to find vertices on surfaces via root finding algorithms (Newton, Regula Falsi, ...)		* First derivation of a scalar field defined by an implicit function (gradients) can be used to find vertices on surfaces via root finding algorithms (Newton, Regula Falsi, ...)
	* Second derivative of scalar fields (Hesse matrices) give curvature that can e.g. be used to determine how densely the local triangulation mesh needs to be to sufficiently accurately approximate the target structure.		* Second derivative of scalar fields (Hesse matrices) give curvature that can e.g. be used to determine how densely the local [[triangulation]] mesh needs to be to sufficiently accurately approximate the target structure.

	For more see: [[Constructive solid geometry]]		For more see: [[Constructive solid geometry]]

Apm: /* Compiling to categories */ added yet unwritten link to page about Curry-Howard-Lambeck isomorphism

2021-10-21T10:40:55Z

Compiling to categories: added yet unwritten link to page about Curry-Howard-Lambeck isomorphism

← Older revision		Revision as of 12:40, 21 October 2021
Line 204:		Line 204:

	'''An astounding number of further example usage contexts are given by the work itself.'''		'''An astounding number of further example usage contexts are given by the work itself.'''

			Related: [[Curry-Howard-Lambeck isomorphism]]

	== Beautiful differentiation ==		== Beautiful differentiation ==

Apm: /* Compiling to categories */ added wikitodo

2021-10-21T10:35:40Z

Compiling to categories: added wikitodo

← Older revision		Revision as of 12:35, 21 October 2021
Line 191:		Line 191:

	'''Priority #2:'''		'''Priority #2:'''
	* Investigate Conal Elliots work "Compiling to Categories" (which is abstracting with closed cartesian categories CCCs over lambda calculus) <br>But that done from within ALDs (which essentially are lambda calculus) <br> Out of this reason this likely won't yield a nice representation. Maybe? Still interesting to investigate.		* Investigate Conal Elliots work "Compiling to Categories" (which is abstracting with closed cartesian categories CCCs over lambda calculus) <br>But that done from within ALDs (which essentially are lambda calculus) <br> Out of this reason this likely won't yield a nice representation. Maybe? Still interesting to investigate. <br>{{wikitodo\|Continue work on ALD mockups related to "compiling to categories".}}

	'''Example usage context #1 (relevant for this wikis context):''' <br>		'''Example usage context #1 (relevant for this wikis context):''' <br>