Function-level programming - Revision history

Mathnerd314159: change paradigms template to navbox (see Template talk:Programming paradigms#too long)

2024-02-01T22:19:58Z

change paradigms template to navbox (see Template talk:Programming paradigms#too long)

← Previous revision		Revision as of 22:19, 1 February 2024
Line 2:		Line 2:
	{{confused\|functional programming}}		{{confused\|functional programming}}
	{{original research\|date=April 2018}}		{{original research\|date=April 2018}}
⚫	{{Programming paradigms}}

	In computer science, '''function-level''' programming refers to one of the two contrasting [[programming paradigm]]s identified by [[John Backus]] in his work on programs as mathematical objects, the other being [[value-level programming]].		In computer science, '''function-level''' programming refers to one of the two contrasting [[programming paradigm]]s identified by [[John Backus]] in his work on programs as mathematical objects, the other being [[value-level programming]].
Line 55:		Line 54:
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

		⚫	{{Programming paradigms navbox}}

	{{DEFAULTSORT:Function-Level Programming}}		{{DEFAULTSORT:Function-Level Programming}}

Comp.arch at 09:22, 14 March 2023

2023-03-14T09:22:58Z

← Previous revision		Revision as of 09:22, 14 March 2023
Line 23:		Line 23:
	When Backus studied and publicized his function-level style of programming, his message was mostly misunderstood<ref>{{cite journal\|doi=10.1145/72551.72554\|title=Conception, evolution, and application of functional programming languages\|journal=ACM Computing Surveys\|volume=21\|issue=3\|pages=359–411\|year=1989\|last1=Hudak\|first1=Paul\|s2cid=207637854}}</ref> as supporting the traditional [[functional programming]] style languages instead of his own [[FP (programming language)\|FP]] and its successor [[FL programming language\|FL]].		When Backus studied and publicized his function-level style of programming, his message was mostly misunderstood<ref>{{cite journal\|doi=10.1145/72551.72554\|title=Conception, evolution, and application of functional programming languages\|journal=ACM Computing Surveys\|volume=21\|issue=3\|pages=359–411\|year=1989\|last1=Hudak\|first1=Paul\|s2cid=207637854}}</ref> as supporting the traditional [[functional programming]] style languages instead of his own [[FP (programming language)\|FP]] and its successor [[FL programming language\|FL]].

	Backus calls functional programming [[applicative programming]]{{clarify\|date=November 2016}}; his function-level programming is a particular, constrained type.		Backus calls functional programming [[applicative programming]];{{clarify\|date=November 2016}} his function-level programming is a particular, constrained type.

	A key distinction from functional languages is that Backus' language has the following hierarchy of types:		A key distinction from functional languages is that Backus' language has the following hierarchy of types:
	* atoms		* atoms
	* functions, which take atoms to atoms		* functions, which take atoms to atoms
	* [[Higher-order ~~functions~~]] (which he calls "functional forms"), which take one or two functions to functions		* [[Higher-order function]]s (which he calls "functional forms"), which take one or two functions to functions
	...and the only way to generate new functions is to use one of the functional forms, which are fixed: you cannot build your own functional form (at least not within FP; you can within FFP ([[Formal FP]])).		...and the only way to generate new functions is to use one of the functional forms, which are fixed: you cannot build your own functional form (at least not within FP; you can within FFP ([[Formal FP]])).

178.9.69.187: /* External links */

2023-02-18T22:53:01Z

External links

← Previous revision		Revision as of 22:53, 18 February 2023
Line 52:		Line 52:
	==External links==		==External links==
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
			* From Function Level Semantics to Program Transformation and Optimization [https://link.springer.com/content/pdf/10.1007/3-540-15198-2_5.pdf?pdf=inline%20link SpringerLink] see point 1.2 and 1.3
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

Materialscientist: Reverted edits by 178.9.69.187 (talk): addition of unnecessary/inappropriate external links (HG) (3.4.12)

2023-02-18T22:34:34Z

Reverted edits by 178.9.69.187 (talk): addition of unnecessary/inappropriate external links (HG) (3.4.12)

← Previous revision		Revision as of 22:34, 18 February 2023
Line 52:		Line 52:
	==External links==		==External links==
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence
	* [https://function-level.github.io/ From Function-Level Programming to Pointfree Style], collection of links

	{{DEFAULTSORT:Function-Level Programming}}		{{DEFAULTSORT:Function-Level Programming}}

178.9.69.187: /* External links */

2023-02-18T22:33:00Z

External links

← Previous revision		Revision as of 22:33, 18 February 2023
Line 54:		Line 54:
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence
	* [https://function-level.github.io/ From Function-Level Programming to Pointfree Style]		* [https://function-level.github.io/ From Function-Level Programming to Pointfree Style], collection of links

	{{DEFAULTSORT:Function-Level Programming}}		{{DEFAULTSORT:Function-Level Programming}}

178.9.69.187: /* External links */

2023-02-18T22:29:46Z

External links

← Previous revision		Revision as of 22:29, 18 February 2023
Line 52:		Line 52:
	==External links==		==External links==
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) ~~or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]~~		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)
	* From function level semantics to program transformation and optimization [https://link.springer.com/content/pdf/10.1007/3-540-15198-2_5.pdf?pdf=inline%20link SpringerLink]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence
			* [https://function-level.github.io/ From Function-Level Programming to Pointfree Style]

	{{DEFAULTSORT:Function-Level Programming}}		{{DEFAULTSORT:Function-Level Programming}}

178.9.69.187: /* External links */

2023-02-18T19:49:06Z

External links

← Previous revision		Revision as of 19:49, 18 February 2023
Line 53:		Line 53:
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]
			* From function level semantics to program transformation and optimization [https://link.springer.com/content/pdf/10.1007/3-540-15198-2_5.pdf?pdf=inline%20link SpringerLink]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

178.9.72.154: /* External links */

2023-01-17T22:04:16Z

External links

← Previous revision		Revision as of 22:04, 17 January 2023
Line 52:		Line 52:
	==External links==		==External links==
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Closed ~~applicative~~ ~~languages~~]		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Programming Language Semantics and Closed Applicative Languages]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

178.9.72.154: /* External links */

2023-01-17T22:00:22Z

External links

← Previous revision		Revision as of 22:00, 17 January 2023
Line 52:		Line 52:
	==External links==		==External links==
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications) or the original [https://dl.acm.org/doi/pdf/10.1145/512927.512934 Closed applicative languages]
	* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence		* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

88.77.26.214: /* External links */

2022-11-23T22:48:21Z

External links

← Previous revision		Revision as of 22:48, 23 November 2022
Line 53:		Line 53:
	* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus		* [https://dl.acm.org/doi/pdf/10.1145/800223.806757 Function Level Programs As Mathematical Objects] from John Backus
	* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)		* [http://dirkgerrits.com/publications/john-backus.pdf#section.8 Closed applicative languages, FP and FL], in John W. Backus (Publications)
			* Instance variables, a [https://esolangs.org/wiki/FP_trivia way out] of the variable abstinence

	{{DEFAULTSORT:Function-Level Programming}}		{{DEFAULTSORT:Function-Level Programming}}