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

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