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

A few examples from this list

algebraic: of or relating to algebra — "algebraic geometry"
functional: fit or ready for use or service — "the toaster was still functional even after being dropped"
imperative: requiring attention or action — "as nuclear weapons proliferate, preventing war becomes imperative"
lens: (metaphor) a channel through which something can be seen or understood — "the writer is the lens through which history can be seen"

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

A 6

actors affine algebraic applicative adhoc 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 0

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 »