type class
Hindley-Milner type system
functor
isoclass
generic class
pleomorphism
typical
gradual typing
statically-typed
type system
bridge pattern
ad-hoc polymorphism
name-based type system
nominal type system
type hinting
duck typing
prototype-oriented programming
quasivariety
abstract type
strongly-typed
exotype
quintessence
generic programming
Galois group
iso-
algebraic subvariety
Smalltalk
bicategory
inclusion polymorphism
subtyping
regular map
prototype-based programming
overloading
type
phantom type
typecast
polymorphia
stenotypist
polytype
coterminal
software framework
scheme
breed
generic type
balanced category
slice category
sieve
ultrahomogeneous
type erasure
formal parameter
factory method pattern
endomorphism
object-oriented programming
lens
pseudoclass
typograph
polymorphic
commutative
catamorphism
Scala
Standard ML
composite reuse principle
prototypic
varitypist
tree
archetypical
facade pattern
prototypical
archetypal
module pattern
prototypal
monomorphisation
typing
functor category
abstract class
orthomorphism
nominative type system
metatype
composite type
Liskov substitution principle
universal property
hemisemidirect
generics
prototype pattern
semigroupoid
record
mapping
ancestor
parametric polymorphism
class-based programming
Zariski topology
template method
elaboration
object adapter pattern
sort
subset classifier
projection
amorphia
generic

English words for 'A type system construct that supports ad hoc polymorphism, first pioneered in Haskell.'

As you may have noticed, above you will find words for "A type system construct that supports ad hoc polymorphism, first pioneered in Haskell.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries