2017-07-31T10:31:58+03:00[Europe/Moscow] en true Standard ML, MLton, ML (programming language), OCaml, Dependent ML, Extensible ML, Standard ML of New Jersey, MacroML, Extended ML, Lazy ML, Moscow ML, Ur (programming language) flashcards
ML programming language family

ML programming language family

Customize
collection saved
Share
Long Term Learning Spaced Repetition
Add to Long Term Learning Desk
Fast learning Repeat this set of flashcards
Preview Test Spell
Play
Match
Review
  • Standard ML
    Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
  • MLton
    MLton is an open source, whole-program optimizing compiler for the Standard ML (SML) programming language.
  • ML (programming language)
    ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.
  • OCaml
    OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.
  • Dependent ML
    Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning.
  • Extensible ML
    Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting.
  • Standard ML of New Jersey
    Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML.
  • MacroML
    MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.
  • Extended ML
    Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language.
  • Lazy ML
    Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell.
  • Moscow ML
    Moscow ML is an implementation of Standard ML.
  • Ur (programming language)
    Ur also called Ur/Web is a Free and Open source functional programming language specific for web development, created by Adam Chlipala at the Massachusetts Institute of Technology that from a single program produces server code, browser client code and SQL code specific for the chosen database backend.