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