Programming Paradigms Keywords Global 54 words

Types of programming paradigms, type theory, and execution models, for example, declarative, immutability, subtyping, categorytheory, and closures, etc.

Tools Builder JSON

Keywords by First Letter — with the top-scoring words in each

A 6

actors affine algebraic adhoc applicative aspectoriented

B 2

bifunctor borrowchecker

C 6

closures continuation comonad coroutines composability categorytheory

D 3

dependent dataflow dependenttypes

E 2

eventdriven effectsystem

F 3

fibers functional functorial

G 2

generators gadt

H 2

higherorder homoiconicity

I 1

imperative

L 2

lens lifetimes

M 2

monadic monoid

N 1

nominal

O 3

optics ownership objectoriented

P 8

paradigm paradigms polymorph parametric procedural profunctor purefunctions partialapplication

R 2

reactive reflection

S 5

signals semigroup structural subtyping sideeffects

T 4

typecheck typesystem typechecker typeclasses

All words — 54

actors 0

adhoc —

affine 0

algebraic 0

applicative —

aspectoriented —

bifunctor —

borrowchecker —

categorytheory —

closures 0

comonad —

composability —

continuation 0

coroutines —

dataflow —

dependent 0

dependenttypes —

effectsystem —

eventdriven —

fibers 0

functional 0

functorial —

gadt —

generators 0

higherorder —

homoiconicity —

imperative 0

lens 0

lifetimes 0

monadic 0

monoid —

nominal 0

objectoriented —

optics 0

ownership 0

paradigm 0

paradigms 0

parametric 0

partialapplication —

polymorph 0

procedural 0

profunctor —

purefunctions —

reactive 0

reflection 0

semigroup 0

sideeffects —

signals 0

structural 0

subtyping —

typecheck —

typechecker —

typeclasses —

typesystem —

42 Domain Score (0 = checked, no TLD available; click a score for the breakdown) · — not checked yet

About Programming keywords

Programming terms for developer and SaaS domain names: languages, keywords, data structures and software jargon.

All Programming lists »