Exemplos de linguagens que se enquadram nesse paradigma

Puro

• Charity Caridade
• Clean Limpar
• Curry Curry
• Haskell Haskell
• Hope Esperança
• Miranda Miranda

Impure

• APL APL
• Candle Vela
• Curl Enrolar
• Erlang Erlang
• F# F #
• FPr FPr
• CAL CAL
• Hop Salto
• J J
• Joy Alegria
• Kite Pipa
• Lisp Cicio
• Clojure Clojure
• Common Lisp Common Lisp
• Dylan Dylan
• eLisp Emacs Lisp elisp Emacs Lisp
• Little b B pouco
• Logo Logotipo
• Scheme Esquema
• Racket (formerly PLT Scheme) Racket (anteriormente PLT Scheme)
• Tea Chá
• Lush Exuberante
• Mathematica Mathematica
• ML ML
• Standard ML Standard ML
• Alice Alice
• OCaml OCaml
• Mythryl Mythryl
• Nemerle Nemerle
• Opal Opala
• OPS5 OPS5
• Poplog Poplog
• Q (equational programming language) Q (linguagem de programação equacional)
• Q (programming language from Kx Systems) Q (linguagem de programação de sistemas Kx)
• R R
• REFAL REFAL
• Russell Russell
• Scala Scala
• Spreadsheets Planilhas

[ edit ] Imperative languages