Syngraphic sugar - Revision history

Apm: added Category:Programming

2023-07-11T10:52:31Z

← Older revision		Revision as of 12:52, 11 July 2023
Line 129:		Line 129:
	* [https://en.wikipedia.org/wiki/Syntactic_sugar Syntactic sugar]		* [https://en.wikipedia.org/wiki/Syntactic_sugar Syntactic sugar]
	* [https://en.wikipedia.org/wiki/Arity Arity]		* [https://en.wikipedia.org/wiki/Arity Arity]

			[[Category:Programming]]

2021-10-19T08:54:36Z

Notes

← Older revision		Revision as of 10:54, 19 October 2021
Line 114:		Line 114:
	'''To clear up potential misconceptions:'''		'''To clear up potential misconceptions:'''
	* [[Code projection]] does not not necessarily mean [[structured editing]]		* [[Code projection]] does not not necessarily mean [[structured editing]]
	* [[Structured editing]] does not not necessarily mean that "typing normally" cannot be supported		* [[Structured editing]] does not not necessarily mean that "[[typing normally]]" cannot be supported
	----		----
	'''An important basis:'''		'''An important basis:'''

2021-10-19T08:49:56Z

Example: (n > 0) ⇒ (> n 0) ⇒ n (>0)

← Older revision		Revision as of 10:49, 19 October 2021
Line 26:		Line 26:
	For the example (n > 0) in visual style see center of the image on the right. <br>		For the example (n > 0) in visual style see center of the image on the right. <br>
	With (n > 0) represented in three [[annotated lambda diagram]] styles <br>		With (n > 0) represented in three [[annotated lambda diagram]] styles <br>
	that ~~increasing~~ add the amount of "syngraphic sugar" from left to right. <br>		that increasingly add the amount of "syngraphic sugar" from left to right. <br>

	First: The (>) label is shifted to the right. <br>		First: The (>) label is shifted to the right. <br>

2021-10-19T08:47:56Z

← Older revision		Revision as of 10:47, 19 October 2021
Line 1:		Line 1:
	{{site specific term}}		{{site specific term}}
	"Syngrahphic sugar" shall here mean "syntactic sugar" but for "graphical syntax" as found in [[annotated lambda diagrams]]. <br>		"Syngrahphic sugar" shall here mean "syntactic sugar" but for "graphical syntax" as found in [[annotated lambda diagrams]]. <br>
	As of (2021) "Syntatctic sugar" is an established term in the context of functional programming see in external links and .... <br>		As of (2021) "Syntatctic sugar" is an established term in the context of functional programming (see in external links and ....) <br>

	Wikipedia about syntactic sugar: <br>		Wikipedia about syntactic sugar: <br>

2021-10-19T08:47:32Z

spelling typo

← Older revision		Revision as of 10:47, 19 October 2021
Line 1:		Line 1:
	{{site specific term}}		{{site specific term}}
	"Syngrahphic sugar" shall here mean "syntactic sugar" but for "graphical syntax" as found in [[annotated lambda diagrams]]. <br>		"Syngrahphic sugar" shall here mean "syntactic sugar" but for "graphical syntax" as found in [[annotated lambda diagrams]]. <br>
	As of (2021) "Syntatctic sugar" is an established term in the context of ~~finctional~~ programming see in external links and .... <br>		As of (2021) "Syntatctic sugar" is an established term in the context of functional programming see in external links and .... <br>

	Wikipedia about syntactic sugar: <br>		Wikipedia about syntactic sugar: <br>

2021-07-12T22:30:24Z

External links =: added related section

← Older revision		Revision as of 00:30, 13 July 2021
Line 119:		Line 119:
	* A [[content addressed]] approach on codebases should massively help in implementation of languages capable [[code projection]]		* A [[content addressed]] approach on codebases should massively help in implementation of languages capable [[code projection]]

	= External links ==		= Related =

			* [[Annotated lambda diagrams]]
			* [[Annotated lambda diagram mockups]]
			* [[Software]]

			= External links =

	* [https://en.wikipedia.org/wiki/Syntactic_sugar Syntactic sugar]		* [https://en.wikipedia.org/wiki/Syntactic_sugar Syntactic sugar]
	* [https://en.wikipedia.org/wiki/Arity Arity]		* [https://en.wikipedia.org/wiki/Arity Arity]

2021-07-12T22:21:46Z

Syntactic sugar in the function header of annotated lambda diagrams

← Older revision		Revision as of 00:21, 13 July 2021
Line 75:		Line 75:

	A lambda marker with a power of zero is basically only present for "functions" withount arguments aka constants		A lambda marker with a power of zero is basically only present for "functions" withount arguments aka constants
	that are solely composed of implicit (and also constant as all [[content addressed]] ~~libtrary~~ content) library dependencies.		that are solely composed of implicit (and also constant as all [[content addressed]] library content) library dependencies.

	=== Further cases of syngraphic sugar in [[annotated lambda diagrams]] ===		=== Further cases of syngraphic sugar in [[annotated lambda diagrams]] ===

2021-07-12T10:26:51Z

Further cases of syngraphic sugar in annotated lambda diagrams: === Syntactic sugar in the function header of annotated lambda diagrams ===

@@ Line 56: / Line 56: @@
 * top of all functions (or more precisely crossing borders of closures) – except "magic" functions that take no arguments
 * let ... in ... constructs within closures
 === Further cases of syngraphic sugar in [[annotated lambda diagrams]] ===

2021-07-12T09:29:44Z

Syngraphic sugar in annotated lambda diagrams: matched image description more closely to context

← Older revision		Revision as of 11:29, 12 July 2021
Line 11:		Line 11:
	== Syngraphic sugar in [[annotated lambda diagrams]] ==		== Syngraphic sugar in [[annotated lambda diagrams]] ==

	[[File:AnnoLamDiag p2c.png\|640px\|thumb\|right\|Conversion of Cartesian coordinates to polar coordinates in the representation of annotated lambda diagrams. ~~<br~~>~~For details see: [[ALDs – example Cartesian to polar]]~~.]]		[[File:AnnoLamDiag p2c.png\|640px\|thumb\|right\|Conversion of Cartesian coordinates to polar coordinates in the representation of annotated lambda diagrams. '''Syngraphic sugar marked in bright green.''' In the center: Three equivalent representations of (n>0) using increasing amounts of "syngraphic sugar".]]

	Annotated lambda diagrams without any "syngraphic sugar" enforce prefix notation for functions with two arguments (2ary functions). <br>		Annotated lambda diagrams without any "syngraphic sugar" enforce prefix notation for functions with two arguments (2ary functions). <br>

2021-07-12T09:26:28Z

Concrete examples: added arrows to headline

← Older revision		Revision as of 11:26, 12 July 2021
Line 22:		Line 22:
	Syngrahic sugar is marked bright green in the image on the right.		Syngrahic sugar is marked bright green in the image on the right.

	=== Example: ~ (n > 0) ~ (> n 0) ~ n (>0) ===		=== Example: (n > 0) ⇒ (> n 0) ⇒ n (>0) ===

	For the example (n > 0) in visual style see center of the image on the right. <br>		For the example (n > 0) in visual style see center of the image on the right. <br>