Search results

This is a '''list of [[functional programming]] topics'''. *[[Programming paradigm]] ...

{{Short description|Programming language}} {{About|the programming language||CAML (disambiguation)}} ...

{{Infobox programming language ...uage|Multi-paradigm]]: [[Functional programming|functional]], [[Imperative programming|imperative]] ...

...ulus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs fou The join-calculus is a member of the [[Pi-calculus|π-calculus]] family of process calculi, and can be considered, at its core, an asynchronous π-c ...

...ro]] expansions, while others have the power of full-fledged [[programming language]]s. A common example from [[computer programming]] is the processing performed on [[source code]] before the next step of co ...

{{Short description|Cross-platform programming language}} {{Distinguish|Hack (programming language)}} ...

{{Short description|General purpose functional programming language}} {{Infobox programming language ...

{{Short description|Computer programming language}} {{Infobox programming language ...

'''Modular programming''' is a [[software design]] technique that emphasizes separating the functi ...the low-level code use of structured [[control flow]], and object-oriented programming to the ''data'' use of [[Object (computer science)|objects]], a kind of [[d ...

...or this reason, most [[programming language]]s and especially [[functional programming]] languages make an effort to prevent the above events from happening excep ...dve |first3=Sarita V. |last3=Adve |first4=Marc |last4=Snir |title=Parallel Programming Must Be Deterministic by Default |conference=[[USENIX]] Workshop on Hot Top ...

...| Latest version !! rowspan=2 | Developer(s) !! rowspan=2 | Implementation language !! colspan=6 | Features | [[Agda (programming language)|Agda]] || 2.6.4.3<ref name="github-agda" /> ...

{{Short description|Basis of generic programming}} ...''generic datatypes''', respectively, and they form the basis of [[generic programming]]. ...

{{Infobox programming language ...gic|(higher-order)]] logics and implementation strategies. Systems in this family follow the [[LCF (theorem prover)|LCF]] (Logic for Computable Functions) ap ...

{{Short description|Programming language}} {{Distinguish|occam (programming language)}} ...

...s such as [[Haskell (programming language)|Haskell]] and [[ML (programming language)|ML]]. It was discovered independently by [[logician]] [[Jean-Yves Girard]] ...ttps://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf |title=Practical Foundations for Programming Languages, Second Edition |vauthors=Harper R |author-link=Robert Harper (co ...

...ge)|F*]], [[Epigram (programming language)|Epigram]], [[Idris (programming language)|Idris]], and [[Lean (proof assistant)|Lean]], dependent types help reduce ...ferent from [[Polymorphism (computer science)|polymorphism]] and [[generic programming]], both of which include the type as an argument.) A dependent pair may hav ...

{{Distinguish|class (computer programming)}} ...itle=Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89) |publisher=Association for Computing Machinery |date=1 ...

...the variable. In most [[imperative programming|imperative]] [[programming language]]s, the assignment statement (or expression) is a fundamental construct. ...o in use. In some languages, the symbol used is regarded as an [[operator (programming)|operator]] (meaning that the assignment statement as a whole returns a val ...

{{Short description|Programming language feature}} ...stall |first1=Rod |last2=Strachey |first2=Christopher |title=Understanding Programming Languages |journal=[[Higher-Order and Symbolic Computation]] |date=2000 |vo ...

{{Short description|Computer programming function}} In many [[programming language]]s, '''map''' is a [[higher-order function]] that applies a [[procedural pa ...