Nyckelbegrepp inom funktionell programmering och programmeringsparadigm.
Här är ett svensk-engelskt lexikon med översättningar av mindre uppenbara begrepp inom Haskell, funktionell programmering och programmeringsparadigm.
Ett problem med terminologin i denna kurs är att matematiken och olika delar av datalogin inte har en gemensam terminologi. Det som kallas för funktion inom matematiken och Haskell har en mycket bredare definition bland C-programmerare och Pythonprogrammerare. Det som kallas för polymorfism inom Java kallas inom programmeringparadigm för subtyping polymorphism och polymorfi är inom programmeringsparadigmen ett mycket bredare begrepp som innefattar operatoröverlagring (som är ett exempel på ad hoc polymorfi) och generics i java (som är ett exempel på parametrisk polymorfi).
| Svenska termer | Engelska termer |
| currying | currying Links to an external site. |
| datatyp | data type Links to an external site. |
| evalueringsstrategi | evaluation strategy Links to an external site. |
| högre ordningens funktion | higher-order function Links to an external site. |
| lambdakalkyl Links to an external site. | lambda calculus Links to an external site. |
| lat evaluering | lazy evaluation Links to an external site. |
| mönsterpassning | pattern matching Links to an external site. |
| oföränderlighet | immutability Links to an external site. |
| polymorfism | polymorphism Links to an external site. |
| referenstransparens | referential Transparency Links to an external site. |
| ren funktion | pure function Links to an external site. |
| överlagring | overloading (metod Links to an external site.) (operator Links to an external site.) |
| överskuggning | method override Links to an external site. |
Inet-delen
| kommunikationsprotokoll | communication protocol Links to an external site. |