411 REFERENCE · Wikibooks
Type-oriented programming
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
300px|center|Decorative programming icon.
A programming paradigm
Type-oriented programming is a paradigm spanning both object-oriented and functional approaches to writing statically typed code. Most programming languages in this category make extensive use of subtyping and parametric polymorphism.
This material introduces the basic concepts, most of them known from object-oriented and functional languages, and then goes on to explain some more involved techniques used in languages with powerful type systems.
Table of Contents
Basic concepts
/Types and properties/
/Instance methods/
/Type methods/
/Restricted properties/
/Function types/
/Proxies/
Type operators
/Type arguments/
‘Self’ at the type level
/Type variance/
/Bounded type arguments/
Types of higher kinds
/Functors/
/Monads/
/Monad transformers/
T
Computer programming
25%