Difference between revisions of "Template:Functional programming basics"

From blackwiki
Jump to navigation Jump to search
imported>Ancheta Wis
(test)
imported>Ancheta Wis
(test)
Line 2: Line 2:
 
|name = Functional programming basics
 
|name = Functional programming basics
 
|title = [[Functional programming ]]
 
|title = [[Functional programming ]]
 +
*[[Complete partial order Cont]]
 +
*[[Hindley–Milner t s]]
 +
*[[Abstract mach Info]]
 +
<!--
 
*[[Abstract_machine#Information]]
 
*[[Abstract_machine#Information]]
<!--
+
*[[Complete_partial_order#Continuous_functions_and_fixpoints]]
 +
*[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]]
 +
*[[Lambda_calculus#The_lambda_calculus]]
 +
*[[Lambda_cube#System_F]]
 +
*[[Lambda_lifting#Let_expressions_and_lambda_calculus]]
 +
*[[Lazy_evaluation#Laziness_and_eagerness]
 +
*[[Linear_logic#Sequent_calculus_presentation]]
 +
*[[Turnstile_(symbol)#Interpretations]]*[[Complete_partial_order#Continuous_functions_and_fixpoints]]
 
*[[Abstract rewriting system]]
 
*[[Abstract rewriting system]]
 
*[[Ad hoc polymorphism]]
 
*[[Ad hoc polymorphism]]
Line 15: Line 26:
 
*[[Canonical form]]
 
*[[Canonical form]]
 
*[[Categorical abstract machine]]
 
*[[Categorical abstract machine]]
*[[Codomain]]-->
+
*[[Codomain]]
*[[Complete_partial_order#Continuous_functions_and_fixpoints]]
 
<!--
 
 
*[[Constructivism (philosophy of mathematics)]]
 
*[[Constructivism (philosophy of mathematics)]]
 
*[[Continuation-passing style]]
 
*[[Continuation-passing style]]
Line 26: Line 35:
 
*[[Domain-specific language]]
 
*[[Domain-specific language]]
 
*[[Effect system]]
 
*[[Effect system]]
*[[Exponential object]] -->
+
*[[Exponential object]]  
<!--*[[Expression evaluation]]-->
+
*[[Expression evaluation]]
<!--
 
 
*[[Expression (computer science)]]
 
*[[Expression (computer science)]]
 
*[[Expression (mathematics)]]
 
*[[Expression (mathematics)]]
Line 39: Line 47:
 
*[[Higher-order function]]
 
*[[Higher-order function]]
 
*[[Higher-order logic]]
 
*[[Higher-order logic]]
-->
+
*[[Intuitionistic type theory]]
*[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]]
 
<!--*[[Intuitionistic type theory]]
 
 
*[[Intuitionistic logic]]
 
*[[Intuitionistic logic]]
 
*[[Kan extension]]
 
*[[Kan extension]]
*[[Lambda calculus definition]]-->
+
*[[Lambda calculus definition]]
*[[Lambda_calculus#The_lambda_calculus]]
 
*[[Lambda_cube#System_F]]
 
*[[Lambda_lifting#Let_expressions_and_lambda_calculus]]
 
*[[Lazy_evaluation#Laziness_and_eagerness]]
 
*[[Linear_logic#Sequent_calculus_presentation]]
 
 
*[[Miranda (programming language)]]
 
*[[Miranda (programming language)]]
 
*[[Monad (functional programming)]]
 
*[[Monad (functional programming)]]
 
*[[Natural_deduction#Judgments_and_propositions]]
 
*[[Natural_deduction#Judgments_and_propositions]]
<!--
 
 
*[[Normal form (abstract rewriting)]]
 
*[[Normal form (abstract rewriting)]]
 
*[[Partial application]]
 
*[[Partial application]]
Line 75: Line 75:
 
*[[Tail call]]
 
*[[Tail call]]
 
*[[Thunk]]
 
*[[Thunk]]
*[[Topos]]-->
+
*[[Topos]]
*[[Turnstile_(symbol)#Interpretations]]
 
<!--
 
 
*[[Type class]]
 
*[[Type class]]
 
*[[Type constructor]]
 
*[[Type constructor]]

Revision as of 15:52, 27 March 2019

50px Template documentation

See also