Search results

Some [[Functional programming|functional programming languages]] make explicit use of type constructors. A notable example is [[Haskell]], * {{Cite book|last=Pierce|first=Benjamin|title=Types and Programming Languages|publisher=MIT Press|date=2002|isbn=0-262-16209-1}}, chapter 29, "Type Opera ...

...th>C</math> is a set of "categorial" features, <math>F</math> is a set of "functional" features (which come in two flavors, "weak", denoted simply <math>f</math> ...for the category feature, and the empty string is substituted for the weak functional feature. That is, we can rephrase the rule as two sub-rules as follows: ...

...90006-6}}</ref> though axiomatization exist for more expressive dependency languages such as [[full typed dependencies]].<ref name="Abiteboul">{{cite book|autho ...

{{Short description|Function defined on formal languages in computer science}} ...1}S</math> of a [[set (mathematics)|set]] <math>S</math> of [[word (formal languages)|strings]] and a string <math>u</math> is the set of all strings obtainable ...

{{Short description|In functional programming}} ...e but not all of the arguments to a function are useful; for example, many languages have a function or operator similar to <code>plus_one</code>. Partial appli ...

|title=Continuous-system simulation languages: A state-of-the-art survey|publisher=Elsevier Science Publishers B. V. Amst ...del. They consist of [[FORTRAN]]-like programming language statements, and functional blocks of program code (procedures) designed for repeat operations that fre ...

...web/20210717021537/https://www.cs.bham.ac.uk/~hxt/2015/compilers/compiling-functional.pdf|archive-date=2021-07-17|access-date=September 9, 2020|website=}}</ref> ...niel P.|date=October 1986|title=A Calculus for Assignments in Higher-Order Languages|url=https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf|archive-url=|ar ...

...rametric polymorphism]]. Kinds appear, either explicitly or implicitly, in languages whose type systems account for parametric polymorphism in a programmaticall ...d proper types in this context. This normally includes function types in [[functional programming language]]s. ...

...first1=Cliff B. |editor-first1=C. B |editor-last1=Jones |title=Programming Languages and Their Definition |date=1984 |volume=177 |doi=10.1007/BFb0048933 |chapte ...

...ning another expression. The let-expression is present in some functional languages in two forms; let or "let rec". Let rec is an extension of the simple let e ...guage introduced the let expression, which has appeared in most functional languages since that time. ...

...to problems can be submitted in over 40 programming [[programming language|languages]], including esoteric ones, via the Sphere Engine. It is run by the Polish ...allows students to compare paradigms and approaches with a wide variety of languages. ...

...0104 |title=Introduction to generalized type systems |journal=[[Journal of Functional Programming]] |volume=1 |issue=2 |pages=125–154 |year=1991 |doi=10.1017/s09 ...author=Jan-Willem Roorda|author2=Johan Jeuring|title=Pure Type Systems for Functional Programming|access-date=2010-08-29|archive-url=https://web.archive.org/web/ ...

In [[programming language]]s (especially [[functional programming]] languages) and [[type theory]], an '''option type''' or '''maybe type''' is a [[param A distinct, but related concept outside of functional programming, which is popular in [[object-oriented programming]], is called ...

...ey]] (see [[#Comparison of languages with intersection types|comparison of languages with intersection types]]), use intersection types to combine interface spe Other programming languages, such as [[Java_(programming_language)|Java]], require distinct implementat ...

...t affinity to work on his publications. He was able to speak in different languages; Paganoni describes his warm personality: ...iration to those who had the good fortune of knowing him. He spoke several languages fluently and therefore was able to communicate directly, sharing the richne ...

...lso concerned with the practical realization of [[functional programming]] languages, language tools and [[type systems|type theory]] that can control the resou ...sive power of higher-order types or, life without CONS |journal=Journal of Functional Programming |date=2001 |volume=11 |issue=1 |pages=55–94 |doi=10.1017/S09567 ...

...unctional programming|Functional]], [[Purely functional programming|Purely functional]], [[Declarative programming]] '''SequenceL''' is a general purpose [[functional programming]] language and [[automatic parallelization|auto-parallelizing]] ...

...k-title=Proceedings of the seventh ACM SIGPLAN international conference on Functional programming|pages=26&ndash;35|publisher=[[Association for Computing Machine ...e 26th ACM International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA 2011)|pages=407&ndash;426|publisher=[[Association ...

|chapter=A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. Early programming languages were [[Imperative programming|imperative]]. These implement functionality b ...

"functional completeness" in the context of combinatory algebra. name="Lambek"/> to formulate an appropriate analogue of functional ...