Similar to Standard_ML

• 

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

  Gleam (programming language)
  
• 

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

  Idris (programming language)
  
• 

  ISWIM

  ISWIM
  
• 

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

  
• 

  Kent Recursive Calculator

  Kent Recursive Calculator
  
• 

  Lazy K

  
• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  LISP

  Lisp (programming language)
  
• 

  Lush (プログラム言語)

  
• 

  Mathematica

  Wolfram Mathematica
  
• 

  Miranda

  Miranda (programming language)
  
• 

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

  ML (programming language)
  
• 

  Mozartプログラミングシステム

  Mozart Programming System
  
• 

  OCaml

  OCaml
  
• 

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

  Oz (programming language)
  
• 

  PureScript

  PureScript
  
• 

  REBOL

  Rebol
  
• 

  Refal

  Refal
  
• 

  R言語

  R (programming language)
  ▲1 trends

  
• 

  SATySFi

  
• 

  Scheme

  Scheme (programming language)
  
• 

  Standard ML

  Standard ML
  
• 

  XQuery

  XQuery
  
• 

  XSL Transformations

  XSLT
  
• 

  Agda

  Agda (programming language)
  
• 

  CPL (圏論プログラミング言語)

  
• 

  Scala

  Scala (programming language)
  
• 

  Haskell

  Haskell