{"id":880,"slug":"standard-ml","name":"Standard ML","short_description":"Standard ML (SML) is a general-purpose functional programming language with compile-time type checking and type inference.","url":"https://github.com/topics/standard-ml","github_count":521,"created_by":"Robin Milner, Mads Tofte, Robert Harper","logo_url":null,"released":"1983","wikipedia_url":"https://en.wikipedia.org/wiki/Standard_ML","related_topics":["language","fsharp","ocaml"],"aliases":["sml"],"github_url":null,"content":"\u003cp\u003eStandard ML (SML; “Standard Meta Language”) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.\u003c/p\u003e\n\n\u003cp\u003eSML is a modern dialect of \u003ca href=\"https://en.wikipedia.org/wiki/ML_(programming_language)\"\u003eML\u003c/a\u003e, the programming language used in the \u003ca href=\"https://en.wikipedia.org/wiki/Logic_for_Computable_Functions\"\u003eLogic for Computable Functions\u003c/a\u003e theorem-proving project. It is distinctive among widely used languages in that it has \u003ca href=\"https://github.com/SMLFamily/The-Definition-of-Standard-ML-Revised\"\u003ea formal specification\u003c/a\u003e.\u003c/p\u003e\n","created_at":"2024-07-29T14:00:00.687Z","updated_at":"2026-08-05T00:26:35.289Z","topic_url":"https://awesome.ecosyste.ms/api/v1/topics/standard-ml","html_url":"https://awesome.ecosyste.ms/topics/standard-ml","projects_url":"https://awesome.ecosyste.ms/api/v1/projects?keyword=standard-ml","lists_url":"https://awesome.ecosyste.ms/api/v1/lists?topic=standard-ml"}