Category:関数型プログラミング言語

• 

  R言語

  R (programming language)
  ▲1 trends

  
• 

  LISP

  Lisp (programming language)
  ▲1 trends

  
• 

  Mathematica

  Wolfram Mathematica
  
• 

  Scala

  Scala (programming language)
  
• 

  PureScript

  PureScript
  
• 

  Agda

  Agda (programming language)
  
• 

  SATySFi

  
• 

  OCaml

  OCaml
  
• 

  Dylan

  Dylan (programming language)
  
• 

  Clojure

  Clojure
  
• 

  Erlang

  Erlang (programming language)
  
• 

  Miranda

  Miranda (programming language)
  
• 

  Frenetic

  Frenetic (programming language)
  
• 

  Common Lisp

  Common Lisp
  
• 

  Elm (プログラミング言語)

  Elm (programming language)
  
• 

  F Sharp

  F Sharp (programming language)
  
• 

  F* (プログラミング言語)

  F* (programming language)
  
• 

  FP (プログラミング言語)

  FP (programming language)
  
• 

  Gleam (プログラミング言語)

  Gleam (programming language)
  
• 

  Idris (プログラミング言語)

  Idris (programming language)
  
• 

  Jq (プログラミング言語)

  
• 

  Kent Recursive Calculator

  Kent Recursive Calculator
  
• 

  Lazy K

  
• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  Lush (プログラム言語)

  
• 

  ML (プログラミング言語)

  ML (programming language)
  
• 

  Oz (プログラミング言語)

  Oz (programming language)
  
• 

  Standard ML

  Standard ML