. . . . "Standard ML"@en . . "\u0623\u0645 \u0627\u0644 \u0627\u0644\u0645\u0639\u064A\u0627\u0631\u064A\u0629 ( SML ) Standard ML \u0647\u064A \u0644\u063A\u0629 \u0628\u0631\u0645\u062C\u0629 \u0644\u0644\u0623\u063A\u0631\u0627\u0636 \u0627\u0644\u0639\u0627\u0645\u0629\u060C \u0644\u063A\u0629 \u0645\u0639\u064A\u0627\u0631\u064A\u0629 \u0648 \u0648\u0638\u064A\u0641\u064A\u0629 \u0645\u0639 \u062A\u062C\u0645\u064A\u0639 \u0632\u0645\u0646\u064A \u0630\u0648 \u0627\u062E\u062A\u0628\u0627\u0631 \u0644\u0644\u062A\u0646\u0648\u064A\u0639 \u0627\u0644\u0628\u0631\u0645\u062C\u064A. \u0648\u0647\u064A \u062A\u062D\u0638\u0649 \u0628\u0634\u0639\u0628\u064A\u0629 \u0643\u0628\u064A\u0631\u0629 \u0628\u064A\u0646 \u0643\u062A\u0627\u0628 \u0627\u0644\u0645\u062C\u0645\u0651\u0639\u0627\u062A \u0648\u0627\u0644\u0628\u0627\u062D\u062B\u064A\u0646 \u0641\u064A \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629\u060C \u0648\u0643\u0630\u0644\u0643 \u0641\u064A \u062A\u0637\u0648\u064A\u0631 . SML \u0647\u064A \u0644\u0647\u062C\u0629 \u062D\u062F\u064A\u062B\u0629 \u0644\u0640 ML \u060C \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629 \u0627\u0644\u0645\u0633\u062A\u062E\u062F\u0645\u0629 \u0641\u064A \u0645\u0634\u0631\u0648\u0639 \u0625\u062B\u0628\u0627\u062A \u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u0645\u0646\u0637\u0642 \u0644\u0644\u0648\u0638\u0627\u0626\u0641 (\u0627\u0644\u062F\u0648\u0627\u0644) \u0627\u0644\u062D\u0633\u0627\u0628\u064A\u0629 (LCF). \u0648\u0647\u064A \u0645\u0645\u064A\u0632\u0629 \u0628\u064A\u0646 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0645\u0633\u062A\u062E\u062F\u0645\u0629 \u0639\u0644\u0649 \u0646\u0637\u0627\u0642 \u0648\u0627\u0633\u0639 \u0645\u0646 \u062D\u064A\u062B \u0623\u0646\u0647\u0627 \u062A\u062D\u062A\u0648\u064A \u0639\u0644\u0649 \u0645\u0648\u0627\u0635\u0641\u0627\u062A \u0642\u064A\u0627\u0633\u064A\u0629\u060C \u0645\u0642\u062F\u0645\u0629 \u0643\u0642\u0648\u0627\u0639\u062F \u0643\u062A\u0627\u0628\u0629 \u0648\u062F\u0644\u0627\u0644\u0627\u062A \u062A\u0634\u063A\u064A\u0644\u064A\u0629 \u0641\u064A \u062A\u0639\u0631\u064A\u0641 ML \u0627\u0644\u0642\u064A\u0627\u0633\u064A ."@ar . . "Standard ML (SML) \u306F\u3001\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9EML\u306E\u6A19\u6E96\u306A\u3044\u30571\u65B9\u8A00\u3067\u3042\u308B\u3002The Definition of Standard ML \u3067\u578B\u4ED8\u3051\u898F\u5247\u3068\u64CD\u4F5C\u7684\u610F\u5473\u8AD6\u304C\u4E0E\u3048\u3089\u308C\u3066\u3044\u308B\u30021990\u5E74\u306B\u521D\u7248\u304C\u51FA\u7248\u3055\u308C\u30011997\u5E74\u306B\u5358\u7D14\u5316\u3055\u308C\u305F\u6539\u7248\u304C\u51FA\u7248\u3055\u308C\u3066\u3044\u308B\u3002"@ja . "Standard ML (SML) \u2014 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0430 \u043C\u043E\u0432\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0437\u0456 \u0441\u0442\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u0442\u0438\u043F\u0438\u0437\u0430\u0446\u0456\u0454\u044E \u0442\u0430 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u043C \u0432\u0438\u0432\u0435\u0434\u0435\u043D\u043D\u044F\u043C \u0442\u0438\u043F\u0456\u0432. SML \u0454 \u0441\u0443\u0447\u0430\u0441\u043D\u0438\u043C \u043F\u0440\u043E\u0434\u043E\u0432\u0436\u0435\u043D\u043D\u044F\u043C \u043C\u043E\u0432\u0438 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F ML. \u041D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u0431\u0456\u043B\u044C\u0448\u043E\u0441\u0442\u0456 \u0456\u043D\u0448\u0438\u0445 \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, SML \u043C\u0430\u0454 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0443 \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044E, \u0432\u043F\u0435\u0440\u0448\u0435 \u043D\u0430\u0434\u0440\u0443\u043A\u043E\u0432\u0430\u043D\u0443 \u0432 1990 \u0442\u0430 \u043E\u043D\u043E\u0432\u043B\u0435\u043D\u0443 \u0432 1997 \u0440\u043E\u0446\u0456."@uk . . "Standard ML (SML) \u2014 \u0444\u0443\u043D\u043A\u0446\u0456\u043E\u043D\u0430\u043B\u044C\u043D\u0430 \u043C\u043E\u0432\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u0437\u0456 \u0441\u0442\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u0442\u0438\u043F\u0438\u0437\u0430\u0446\u0456\u0454\u044E \u0442\u0430 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u043C \u0432\u0438\u0432\u0435\u0434\u0435\u043D\u043D\u044F\u043C \u0442\u0438\u043F\u0456\u0432. SML \u0454 \u0441\u0443\u0447\u0430\u0441\u043D\u0438\u043C \u043F\u0440\u043E\u0434\u043E\u0432\u0436\u0435\u043D\u043D\u044F\u043C \u043C\u043E\u0432\u0438 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F ML. \u041D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u0431\u0456\u043B\u044C\u0448\u043E\u0441\u0442\u0456 \u0456\u043D\u0448\u0438\u0445 \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, SML \u043C\u0430\u0454 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0443 \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044E, \u0432\u043F\u0435\u0440\u0448\u0435 \u043D\u0430\u0434\u0440\u0443\u043A\u043E\u0432\u0430\u043D\u0443 \u0432 1990 \u0442\u0430 \u043E\u043D\u043E\u0432\u043B\u0435\u043D\u0443 \u0432 1997 \u0440\u043E\u0446\u0456."@uk . . . . . . . . . . . . . . . "Standard ML (SML) est un langage de programmation g\u00E9n\u00E9raliste, modulaire, fonctionnel. Il est dot\u00E9 d'un syst\u00E8me de typage statique fort par inf\u00E9rence de types. SML descend directement du langage ML. Il existe de nombreuses impl\u00E9mentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML. \n* Portail de la programmation informatique"@fr . . . . "Standard ML '97" . . . . . . . "\uD45C\uC900 ML(Standard ML, SML)\uC740 \uC815\uC801 \uC815\uD615 \uBC0F \uD0C0\uC785 \uCD94\uB860\uC744 \uC9C0\uC6D0\uD558\uB294 \uBC94\uC6A9 \uBAA8\uB4C8\uC131, \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4. \uCEF4\uD30C\uC77C\uB7EC \uAC1C\uBC1C\uACFC \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4 \uC5F0\uAD6C, \uC790\uB3D9 \uC815\uB9AC \uC99D\uBA85\uC758 \uAC1C\uBC1C\uC5D0 \uC0AC\uC6A9\uB41C\uB2E4. SML\uC740 \uACC4\uC0B0\uAC00\uB2A5\uD55C \uD568\uC218\uC758 \uC815\uB9AC \uC99D\uBA85 \uD504\uB85C\uC81D\uD2B8\uC5D0\uC11C \uC0AC\uC6A9\uB418\uB294 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC778 ML\uC758 \uD604\uB300\uC801 \uBC29\uC5B8\uC774\uB2E4. The Definition of Standard ML\uC5D0\uC11C \uACFC \uC744 \uD3EC\uD568\uD558\uB294 \uD45C\uC900\uC774 \uC788\uB2E4\uB294 \uC810\uC5D0\uC11C \uB110\uB9AC \uC0AC\uC6A9\uB418\uB294 \uC5B8\uC5B4\uB4E4 \uC0AC\uC774\uC5D0\uC11C \uB450\uB4DC\uB7EC\uC9D1\uB2C8\uB2E4."@ko . . . . . . . . "Standard ML (SML; angle Standard Meta Language) estas \u011Deneralcela, , funkcia programlingvo kun kaj . \u011Ci popularas inter skribistoj de tradukiloj kaj , kaj anka\u016D \u0109e la ellaborado de . SML estas moderna dialekto de ML, la programlingvo uzita en la teorempruvila projekto (LCF). \u011Ci distingindas inter vaste uzataj lingvoj pro tio, ke \u011Di havas formalan specifigon, donitan kiel kaj en The Definition of Standard ML (1990, reviziita kaj simpligita kiel The Definition of Standard ML (Revised) en 1997)."@eo . . "\uD45C\uC900 ML(Standard ML, SML)\uC740 \uC815\uC801 \uC815\uD615 \uBC0F \uD0C0\uC785 \uCD94\uB860\uC744 \uC9C0\uC6D0\uD558\uB294 \uBC94\uC6A9 \uBAA8\uB4C8\uC131, \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4. \uCEF4\uD30C\uC77C\uB7EC \uAC1C\uBC1C\uACFC \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4 \uC5F0\uAD6C, \uC790\uB3D9 \uC815\uB9AC \uC99D\uBA85\uC758 \uAC1C\uBC1C\uC5D0 \uC0AC\uC6A9\uB41C\uB2E4. SML\uC740 \uACC4\uC0B0\uAC00\uB2A5\uD55C \uD568\uC218\uC758 \uC815\uB9AC \uC99D\uBA85 \uD504\uB85C\uC81D\uD2B8\uC5D0\uC11C \uC0AC\uC6A9\uB418\uB294 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC778 ML\uC758 \uD604\uB300\uC801 \uBC29\uC5B8\uC774\uB2E4. The Definition of Standard ML\uC5D0\uC11C \uACFC \uC744 \uD3EC\uD568\uD558\uB294 \uD45C\uC900\uC774 \uC788\uB2E4\uB294 \uC810\uC5D0\uC11C \uB110\uB9AC \uC0AC\uC6A9\uB418\uB294 \uC5B8\uC5B4\uB4E4 \uC0AC\uC774\uC5D0\uC11C \uB450\uB4DC\uB7EC\uC9D1\uB2C8\uB2E4."@ko . . . . . . . . . . "In informatica, SML (Standard ML) \u00E8 un linguaggio di programmazione derivato dal ML. Il linguaggio ML originale era una serie di metalinguaggi ideati da Robin Milner (e dai suoi studenti) all'Universit\u00E0 di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers). Questi metalinguaggi furono poi \"standardizzati\" per dare origine all'SML, di cui lo standard pi\u00F9 recente risale al 1997 (The Definition of Standard ML - Revised). Il linguaggio SML \u00E8 un linguaggio funzionale, quindi avente la caratteristica di rendere facile ed efficiente la creazione e l'uso di funzioni specializzate. In questo, SML assomiglia al Lisp o allo Scheme. Come questi, SML ha molti dialetti oltre al linguaggio standard, tra i quali si distingue OCaml, che \u00E8 object oriented, e CML, che \u00E8 o parallelo. Altri elementi comuni a Lisp e Scheme sono la presenza del garbage collector e di strutture di dati dinamiche che sono integrate col linguaggio, per esempio le liste. Al contrario di Lisp e Scheme, SML ha un sistema di tipi che permette gi\u00E0 al momento della compilazione la verifica che le funzioni siano usate su argomenti del tipo giusto. Inoltre, diversi dialetti di SML hanno sistemi per organizzare i programmi in moduli, con firme (signature), implementazioni (structure), e implementazioni configurabili (functors)."@it . . . . . . . . . . . . . . "\u0623\u0645 \u0627\u0644 \u0627\u0644\u0645\u0639\u064A\u0627\u0631\u064A\u0629 ( SML ) Standard ML \u0647\u064A \u0644\u063A\u0629 \u0628\u0631\u0645\u062C\u0629 \u0644\u0644\u0623\u063A\u0631\u0627\u0636 \u0627\u0644\u0639\u0627\u0645\u0629\u060C \u0644\u063A\u0629 \u0645\u0639\u064A\u0627\u0631\u064A\u0629 \u0648 \u0648\u0638\u064A\u0641\u064A\u0629 \u0645\u0639 \u062A\u062C\u0645\u064A\u0639 \u0632\u0645\u0646\u064A \u0630\u0648 \u0627\u062E\u062A\u0628\u0627\u0631 \u0644\u0644\u062A\u0646\u0648\u064A\u0639 \u0627\u0644\u0628\u0631\u0645\u062C\u064A. \u0648\u0647\u064A \u062A\u062D\u0638\u0649 \u0628\u0634\u0639\u0628\u064A\u0629 \u0643\u0628\u064A\u0631\u0629 \u0628\u064A\u0646 \u0643\u062A\u0627\u0628 \u0627\u0644\u0645\u062C\u0645\u0651\u0639\u0627\u062A \u0648\u0627\u0644\u0628\u0627\u062D\u062B\u064A\u0646 \u0641\u064A \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629\u060C \u0648\u0643\u0630\u0644\u0643 \u0641\u064A \u062A\u0637\u0648\u064A\u0631 . SML \u0647\u064A \u0644\u0647\u062C\u0629 \u062D\u062F\u064A\u062B\u0629 \u0644\u0640 ML \u060C \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629 \u0627\u0644\u0645\u0633\u062A\u062E\u062F\u0645\u0629 \u0641\u064A \u0645\u0634\u0631\u0648\u0639 \u0625\u062B\u0628\u0627\u062A \u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u0645\u0646\u0637\u0642 \u0644\u0644\u0648\u0638\u0627\u0626\u0641 (\u0627\u0644\u062F\u0648\u0627\u0644) \u0627\u0644\u062D\u0633\u0627\u0628\u064A\u0629 (LCF). \u0648\u0647\u064A \u0645\u0645\u064A\u0632\u0629 \u0628\u064A\u0646 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0645\u0633\u062A\u062E\u062F\u0645\u0629 \u0639\u0644\u0649 \u0646\u0637\u0627\u0642 \u0648\u0627\u0633\u0639 \u0645\u0646 \u062D\u064A\u062B \u0623\u0646\u0647\u0627 \u062A\u062D\u062A\u0648\u064A \u0639\u0644\u0649 \u0645\u0648\u0627\u0635\u0641\u0627\u062A \u0642\u064A\u0627\u0633\u064A\u0629\u060C \u0645\u0642\u062F\u0645\u0629 \u0643\u0642\u0648\u0627\u0639\u062F \u0643\u062A\u0627\u0628\u0629 \u0648\u062F\u0644\u0627\u0644\u0627\u062A \u062A\u0634\u063A\u064A\u0644\u064A\u0629 \u0641\u064A \u062A\u0639\u0631\u064A\u0641 ML \u0627\u0644\u0642\u064A\u0627\u0633\u064A ."@ar . "ML Est\u00E0ndard"@ca . "Standard ML (SML) \u2013 j\u0119zyk programowania funkcyjnego powsta\u0142y w 1990 roku jako pierwszy standard j\u0119zyka ML (ang. Meta Language). Tw\u00F3rcami SML-a byli Robin Milner, i . W 1997 roku powsta\u0142 aktualny standard j\u0119zyka. Zosta\u0142 on opracowany przez Milnera, i oraz . Podobnym j\u0119zykiem jest OCaml."@pl . "1113315274"^^ . . . . . . . . . "\u0623\u0645 \u0623\u0644 \u0627\u0644\u0645\u0639\u064A\u0627\u0631\u064A\u0629"@ar . "Standard ML (SML) \u00E9 uma linguagem de programa\u00E7\u00E3o funcional de prop\u00F3sito geral modular com verifica\u00E7\u00E3o e infer\u00EAncia de tipos em tempo de compila\u00E7\u00E3o. \u00C9 popular entre pesquisadores de linguagem de programa\u00E7\u00E3o e compiladores. SML \u00E9 uma descendente moderno da linguagem ML utilizada em l\u00F3gica de fun\u00E7\u00F5es comput\u00E1veis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua caracter\u00EDstica funcional e devido sua especifica\u00E7\u00E3o formal, dado como escrever regras e sem\u00E2ntica operacional na defini\u00E7\u00E3o da Standard ML."@pt . . . . . . . "Standard ML (SML) 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. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML."@en . . . . . . . . "Standard ML\uFF08SML\uFF09\uFF0C\u662F\u4E00\u4E2A\u51FD\u6570\u5F0F\u3001\u6307\u4EE4\u5F0F\u3001\u6A21\u5757\u5316\u7684\u901A\u7528\u7684\u7F16\u7A0B\u8BED\u8A00\uFF0C\u5177\u6709\u7F16\u8BD1\u65F6\u95F4\u7C7B\u578B\u68C0\u67E5\u548C\u7C7B\u578B\u63A8\u8BBA\u3002\u5B83\u6D41\u884C\u4E8E\u7F16\u8BD1\u5668\u4F5C\u8005\u548C\u7F16\u7A0B\u8BED\u8A00\u7814\u7A76\u8005\u548C\u81EA\u52A8\u5B9A\u7406\u8BC1\u660E\u7814\u7A76\u8005\u4E4B\u4E2D\u3002 Standard ML\u662FML\u7684\u73B0\u4EE3\u65B9\u8A00\uFF0CML\u662F\u7528\u4E8E\uFF08\u53EF\u8BA1\u7B97\u51FD\u6570\u903B\u8F91\uFF09\u5B9A\u7406\u8BC1\u660E\u8BA1\u5212\u7684\u7F16\u7A0B\u8BED\u8A00\u3002Standard ML\u5728\u5E7F\u6CDB\u4F7F\u7528\u7684\u8BED\u8A00\u4E4B\u4E2D\u4E0E\u4F17\u4E0D\u540C\uFF0C\u6E90\u4E8E\u5B83\u5177\u6709\u6B63\u5F0F\u89C4\u5B9A\u300AThe Definition of Standard ML\u300B\uFF0C\u7ED9\u51FA\u4E86\u8BED\u8A00\u7684\u548C\u64CD\u4F5C\u8BED\u4E49\u3002"@zh . . . . "Standard ML (SML) 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. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML."@en . "Standard ML"@en . "L'ML Est\u00E0ndard, conegut per les sigles SML, de l'angl\u00E8s Standard ML, \u00E9s un llenguatge de programaci\u00F3 funcional per a aplicacions de tota mena, amb comprovaci\u00F3 de tipus en temps de compilaci\u00F3, i . \u00C9s popular entre desenvolupadors de compiladors, i investigadors de llenguatges de programaci\u00F3, aix\u00ED com demostradors de teoremes. SML \u00E9s un descendent modern del llenguatge de programaci\u00F3 ML emprat en el projecte de demostraci\u00F3 de teoremes \"L\u00F2gica per a funcions computables\"."@ca . . . "Standard ML"@pl . . . . . . . . . . . . . "El lenguaje de programaci\u00F3n Standard ML o SML es un lenguaje descendiente del lenguaje ML que naci\u00F3 como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programaci\u00F3n, SML tiene una especificaci\u00F3n formal, como sem\u00E1ntica operacional publicada en el libro The Definition of Standard ML."@es . . . . . . . . "100337"^^ . . "Standard ML (SML) est un langage de programmation g\u00E9n\u00E9raliste, modulaire, fonctionnel. Il est dot\u00E9 d'un syst\u00E8me de typage statique fort par inf\u00E9rence de types. SML descend directement du langage ML. Il existe de nombreuses impl\u00E9mentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML. \n* Portail de la programmation informatique"@fr . "Standard ML '97"@en . . "Standard ML"@uk . . . . . . . . . . . "Standard ML (SML; angle Standard Meta Language) estas \u011Deneralcela, , funkcia programlingvo kun kaj . \u011Ci popularas inter skribistoj de tradukiloj kaj , kaj anka\u016D \u0109e la ellaborado de . SML estas moderna dialekto de ML, la programlingvo uzita en la teorempruvila projekto (LCF). \u011Ci distingindas inter vaste uzataj lingvoj pro tio, ke \u011Di havas formalan specifigon, donitan kiel kaj en The Definition of Standard ML (1990, reviziita kaj simpligita kiel The Definition of Standard ML (Revised) en 1997)."@eo . . . . "Standard ML (SML) \u306F\u3001\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9EML\u306E\u6A19\u6E96\u306A\u3044\u30571\u65B9\u8A00\u3067\u3042\u308B\u3002The Definition of Standard ML \u3067\u578B\u4ED8\u3051\u898F\u5247\u3068\u64CD\u4F5C\u7684\u610F\u5473\u8AD6\u304C\u4E0E\u3048\u3089\u308C\u3066\u3044\u308B\u30021990\u5E74\u306B\u521D\u7248\u304C\u51FA\u7248\u3055\u308C\u30011997\u5E74\u306B\u5358\u7D14\u5316\u3055\u308C\u305F\u6539\u7248\u304C\u51FA\u7248\u3055\u308C\u3066\u3044\u308B\u3002"@ja . "El lenguaje de programaci\u00F3n Standard ML o SML es un lenguaje descendiente del lenguaje ML que naci\u00F3 como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programaci\u00F3n, SML tiene una especificaci\u00F3n formal, como sem\u00E1ntica operacional publicada en el libro The Definition of Standard ML."@es . . . . ".sml"@en . . . . . "\uD45C\uC900 ML"@ko . . . . "Standard ML"@de . . "Standard ML"@zh . . "Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML-Sch\u00F6pfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die Sprache wurde von 1984 bis 1988 entwickelt und schlie\u00DFlich 1990 von Robin Milner, Mads Tofte und Robert Harper formalisiert. 1997 wurde mit SML'97 eine Revision der Sprache ver\u00F6ffentlicht, die neben einigen Vereinfachungen auch eine SML-Basisbibliothek enth\u00E4lt."@de . . . . . . . . . "2016-01-07"^^ . . . . "L'ML Est\u00E0ndard, conegut per les sigles SML, de l'angl\u00E8s Standard ML, \u00E9s un llenguatge de programaci\u00F3 funcional per a aplicacions de tota mena, amb comprovaci\u00F3 de tipus en temps de compilaci\u00F3, i . \u00C9s popular entre desenvolupadors de compiladors, i investigadors de llenguatges de programaci\u00F3, aix\u00ED com demostradors de teoremes. SML \u00E9s un descendent modern del llenguatge de programaci\u00F3 ML emprat en el projecte de demostraci\u00F3 de teoremes \"L\u00F2gica per a funcions computables\". Es distingeix entre altres llenguatges de programaci\u00F3 en qu\u00E8 t\u00E9 una especificaci\u00F3 formal i sem\u00E0ntica operacional proposades a \"La Definici\u00F3 de Standard ML (1990)\" i revisada i simplificada en l'edici\u00F3 de 1997."@ca . . "Standard ML (SML) je staticky orientovan\u00FD typov\u011B bezpe\u010Dn\u00FD univerz\u00E1ln\u00ED programovac\u00ED jazyk, kter\u00FD zt\u011Bles\u0148uje mnoho n\u00E1pad\u016F v oblasti n\u00E1vrh\u016F a implementace programovac\u00EDch jazyk\u016F. Podporuje polymorfn\u00ED inference typ\u016F a automaticky zaji\u0161\u0165uje efektivn\u00ED spr\u00E1vu pam\u011Bti. Podporuje funkcion\u00E1ln\u00ED programov\u00E1n\u00ED, ale z\u00E1rove\u0148 umo\u017E\u0148uje imperativn\u00ED programov\u00E1n\u00ED. Usnad\u0148uje programov\u00E1n\u00ED s rekurz\u00ED a symbolick\u00FDch datov\u00FDch struktur skrze podporu \u0161ablon (angl. \u201E\u201C). Tento jazyk je vybaven roz\u0161i\u0159iteln\u00FDm mechanismem pro manipulaci v\u00FDjimek a poskytuje flexibiln\u00ED modulovac\u00ED prost\u0159edky pro strukturov\u00E1n\u00ED velk\u00FDch program\u016F. V\u011Bt\u0161ina implementac\u00ED nab\u00EDz\u00ED rozs\u00E1hl\u00E9 knihovny a u\u017Eite\u010Dn\u00E9 v\u00FDvojov\u00E9 n\u00E1stroje. T\u00E9m\u011B\u0159 v\u0161echny kompil\u00E1tory generuj\u00ED nativn\u00ED strojov\u00FD k\u00F3d, a to i p\u0159i interaktivn\u00EDm re\u017Eimu interpreta. Jazyk je popul\u00E1rn\u00ED mezi inf"@cs . . . . . . . . . . . . "Standard ML"@fr . "Standard ML\uFF08SML\uFF09\uFF0C\u662F\u4E00\u4E2A\u51FD\u6570\u5F0F\u3001\u6307\u4EE4\u5F0F\u3001\u6A21\u5757\u5316\u7684\u901A\u7528\u7684\u7F16\u7A0B\u8BED\u8A00\uFF0C\u5177\u6709\u7F16\u8BD1\u65F6\u95F4\u7C7B\u578B\u68C0\u67E5\u548C\u7C7B\u578B\u63A8\u8BBA\u3002\u5B83\u6D41\u884C\u4E8E\u7F16\u8BD1\u5668\u4F5C\u8005\u548C\u7F16\u7A0B\u8BED\u8A00\u7814\u7A76\u8005\u548C\u81EA\u52A8\u5B9A\u7406\u8BC1\u660E\u7814\u7A76\u8005\u4E4B\u4E2D\u3002 Standard ML\u662FML\u7684\u73B0\u4EE3\u65B9\u8A00\uFF0CML\u662F\u7528\u4E8E\uFF08\u53EF\u8BA1\u7B97\u51FD\u6570\u903B\u8F91\uFF09\u5B9A\u7406\u8BC1\u660E\u8BA1\u5212\u7684\u7F16\u7A0B\u8BED\u8A00\u3002Standard ML\u5728\u5E7F\u6CDB\u4F7F\u7528\u7684\u8BED\u8A00\u4E4B\u4E2D\u4E0E\u4F17\u4E0D\u540C\uFF0C\u6E90\u4E8E\u5B83\u5177\u6709\u6B63\u5F0F\u89C4\u5B9A\u300AThe Definition of Standard ML\u300B\uFF0C\u7ED9\u51FA\u4E86\u8BED\u8A00\u7684\u548C\u64CD\u4F5C\u8BED\u4E49\u3002"@zh . . . . . . . . . "Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML-Sch\u00F6pfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die Sprache wurde von 1984 bis 1988 entwickelt und schlie\u00DFlich 1990 von Robin Milner, Mads Tofte und Robert Harper formalisiert. 1997 wurde mit SML'97 eine Revision der Sprache ver\u00F6ffentlicht, die neben einigen Vereinfachungen auch eine SML-Basisbibliothek enth\u00E4lt. Wichtige Merkmale von SML sind unter anderem die statische Typisierung, Polymorphie auf Funktions- und Datentypsebene, automatische Speicherbereinigung sowie strenge Auswertung und Ausnahmebehandlung. Au\u00DFerdem unterst\u00FCtzt SML Funktionen h\u00F6herer Ordnung, Module und sogenannte Funktoren, die hier parametrisierte Datentypen bezeichnen. Eine Besonderheit von SML ist, dass die Sprache vollst\u00E4ndig formal definiert ist. Dadurch k\u00F6nnen wichtige Eigenschaften der Sprache mathematisch bewiesen werden."@de . . . . . "Standard ML"@it . . . "Standard ML (SML) \u2014 \u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u0443\u0435\u043C\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u043E\u0431\u0449\u0435\u0433\u043E \u043D\u0430\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F , \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u043D\u044B\u0439 \u043D\u0430 \u0441\u0438\u0441\u0442\u0435\u043C\u0435 \u0442\u0438\u043F\u043E\u0432 \u0425\u0438\u043D\u0434\u043B\u0438 \u2014 \u041C\u0438\u043B\u043D\u0435\u0440\u0430. \u041E\u0442\u043B\u0438\u0447\u0430\u0435\u0442\u0441\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438 \u0442\u043E\u0447\u043D\u044B\u043C \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u0435\u043C (\u0433\u0430\u0440\u0430\u043D\u0442\u0438\u0440\u0443\u044E\u0449\u0438\u043C \u0438\u0434\u0435\u043D\u0442\u0438\u0447\u043D\u043E\u0441\u0442\u044C \u0441\u043C\u044B\u0441\u043B\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0432\u043D\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0441\u0442\u0438 \u043E\u0442 \u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0442\u043E\u0440\u0430 \u0438 \u0430\u043F\u043F\u0430\u0440\u0430\u0442\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F), \u0438\u043C\u0435\u044E\u0449\u0438\u043C \u0434\u043E\u043A\u0430\u0437\u0430\u043D\u043D\u0443\u044E \u043D\u0430\u0434\u0451\u0436\u043D\u043E\u0441\u0442\u044C \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0438 \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438. \u042F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u00AB\u0432 \u043E\u0441\u043D\u043E\u0432\u043D\u043E\u043C \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u043C\u00BB \u044F\u0437\u044B\u043A\u043E\u043C, \u0442\u043E \u0435\u0441\u0442\u044C \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0431\u043E\u043B\u044C\u0448\u0438\u043D\u0441\u0442\u0432\u043E \u0442\u0435\u0445\u043D\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u0441\u0432\u043E\u0439\u0441\u0442\u0432 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432, \u043D\u043E \u0442\u0430\u043A\u0436\u0435 \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u0435\u0442 \u0440\u0430\u0437\u0432\u0438\u0442\u044B\u0435 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0438 \u0438\u043C\u043F\u0435\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u043F\u0440\u0438 \u043D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u0438. \u0421\u043E\u0447\u0435\u0442\u0430\u0435\u0442 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u043E\u0441\u0442\u044C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C, \u0433\u0438\u0431\u043A\u043E\u0441\u0442\u044C \u043D\u0430 \u0443\u0440\u043E\u0432\u043D\u0435 \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u0443\u0435\u043C\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 \u0438 \u0431\u044B\u0441\u0442\u0440\u043E\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u043D\u0430 \u0443\u0440\u043E\u0432\u043D\u0435 \u044F\u0437\u044B\u043A\u0430 \u0421\u0438; \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0438\u0432\u0430\u0435\u0442 \u043F\u0440\u0435\u0432\u043E\u0441\u0445\u043E\u0434\u043D\u0443\u044E \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u043A\u0443 \u043A\u0430\u043A \u0431\u044B\u0441\u0442\u0440\u043E\u0433\u043E \u043F\u0440\u043E\u0442\u043E\u0442\u0438\u043F\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u0442\u0430\u043A \u0438 \u043C\u043E\u0434\u0443\u043B\u044C\u043D\u043E\u0441\u0442\u0438 \u0438 . SML \u0431\u044B\u043B \u043F\u0435\u0440\u0432\u044B\u043C \u0441\u0430\u043C\u043E\u0441\u0442\u043E\u044F\u0442\u0435\u043B\u044C\u043D\u044B\u043C \u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u0443\u0435\u043C\u044B\u043C \u044F\u0437\u044B\u043A\u043E\u043C \u0432 \u0441\u0435\u043C\u0435\u0439\u0441\u0442\u0432\u0435 ML \u0438 \u0434\u043E \u0441\u0438\u0445 \u043F\u043E\u0440 \u0441\u043B\u0443\u0436\u0438\u0442 \u043E\u043F\u043E\u0440\u043D\u044B\u043C \u044F\u0437\u044B\u043A\u043E\u043C \u0432 \u0441\u043E\u043E\u0431\u0449\u0435\u0441\u0442\u0432\u0435 \u043F\u043E \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u044E ML. \u0412 SML \u0432\u043F\u0435\u0440\u0432\u044B\u0435 \u0431\u044B\u043B\u0430 \u0440\u0435\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u0430 \u0443\u043D\u0438\u043A\u0430\u043B\u044C\u043D\u0430\u044F \u0430\u043F\u043F\u043B\u0438\u043A\u0430\u0442\u0438\u0432\u043D\u0430\u044F \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u043C\u043E\u0434\u0443\u043B\u0435\u0439 \u2014 \u044F\u0437\u044B\u043A \u043C\u043E\u0434\u0443\u043B\u0435\u0439 ML."@ru . . "Standard ML (SML) \u2014 \u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u0443\u0435\u043C\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u043E\u0431\u0449\u0435\u0433\u043E \u043D\u0430\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F , \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u043D\u044B\u0439 \u043D\u0430 \u0441\u0438\u0441\u0442\u0435\u043C\u0435 \u0442\u0438\u043F\u043E\u0432 \u0425\u0438\u043D\u0434\u043B\u0438 \u2014 \u041C\u0438\u043B\u043D\u0435\u0440\u0430. \u041E\u0442\u043B\u0438\u0447\u0430\u0435\u0442\u0441\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438 \u0442\u043E\u0447\u043D\u044B\u043C \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u0435\u043C (\u0433\u0430\u0440\u0430\u043D\u0442\u0438\u0440\u0443\u044E\u0449\u0438\u043C \u0438\u0434\u0435\u043D\u0442\u0438\u0447\u043D\u043E\u0441\u0442\u044C \u0441\u043C\u044B\u0441\u043B\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0432\u043D\u0435 \u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0441\u0442\u0438 \u043E\u0442 \u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0442\u043E\u0440\u0430 \u0438 \u0430\u043F\u043F\u0430\u0440\u0430\u0442\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F), \u0438\u043C\u0435\u044E\u0449\u0438\u043C \u0434\u043E\u043A\u0430\u0437\u0430\u043D\u043D\u0443\u044E \u043D\u0430\u0434\u0451\u0436\u043D\u043E\u0441\u0442\u044C \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0438 \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438. \u042F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u00AB\u0432 \u043E\u0441\u043D\u043E\u0432\u043D\u043E\u043C \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u043C\u00BB \u044F\u0437\u044B\u043A\u043E\u043C, \u0442\u043E \u0435\u0441\u0442\u044C \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0431\u043E\u043B\u044C\u0448\u0438\u043D\u0441\u0442\u0432\u043E \u0442\u0435\u0445\u043D\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u0441\u0432\u043E\u0439\u0441\u0442\u0432 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432, \u043D\u043E \u0442\u0430\u043A\u0436\u0435 \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u0435\u0442 \u0440\u0430\u0437\u0432\u0438\u0442\u044B\u0435 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0438 \u0438\u043C\u043F\u0435\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u043F\u0440\u0438 \u043D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u0438. \u0421\u043E\u0447\u0435\u0442\u0430\u0435\u0442 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u043E\u0441\u0442\u044C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C, \u0433\u0438\u0431\u043A\u043E\u0441\u0442\u044C \u043D\u0430 \u0443\u0440\u043E\u0432\u043D\u0435 \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u0443\u0435\u043C\u044B\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 \u0438 \u0431\u044B\u0441\u0442\u0440\u043E\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u043D\u0430 \u0443\u0440\u043E\u0432\u043D\u0435 \u044F\u0437\u044B\u043A\u0430 \u0421\u0438; \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0438\u0432\u0430\u0435\u0442 \u043F\u0440\u0435\u0432\u043E\u0441\u0445\u043E\u0434\u043D\u0443\u044E \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u043A\u0443 \u043A\u0430\u043A \u0431\u044B\u0441\u0442\u0440\u043E\u0433\u043E \u043F\u0440\u043E\u0442\u043E\u0442\u0438\u043F\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u0442\u0430\u043A \u0438 \u043C\u043E\u0434\u0443\u043B\u044C\u043D\u043E\u0441\u0442\u0438 \u0438 ."@ru . . . "Standard ML"@eo . . "Standard ML (SML) \u00E9 uma linguagem de programa\u00E7\u00E3o funcional de prop\u00F3sito geral modular com verifica\u00E7\u00E3o e infer\u00EAncia de tipos em tempo de compila\u00E7\u00E3o. \u00C9 popular entre pesquisadores de linguagem de programa\u00E7\u00E3o e compiladores. SML \u00E9 uma descendente moderno da linguagem ML utilizada em l\u00F3gica de fun\u00E7\u00F5es comput\u00E1veis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua caracter\u00EDstica funcional e devido sua especifica\u00E7\u00E3o formal, dado como escrever regras e sem\u00E2ntica operacional na defini\u00E7\u00E3o da Standard ML."@pt . . . . "In informatica, SML (Standard ML) \u00E8 un linguaggio di programmazione derivato dal ML. Il linguaggio ML originale era una serie di metalinguaggi ideati da Robin Milner (e dai suoi studenti) all'Universit\u00E0 di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers). Questi metalinguaggi furono poi \"standardizzati\" per dare origine all'SML, di cui lo standard pi\u00F9 recente risale al 1997 (The Definition of Standard ML - Revised)."@it . . . . . . . . . . . . . . . . "32421"^^ . . . . "Standard ML"@pt . . . . . . . . . . . . . . . . . . . "Standard ML"@ja . "Standard ML (SML) \u2013 j\u0119zyk programowania funkcyjnego powsta\u0142y w 1990 roku jako pierwszy standard j\u0119zyka ML (ang. Meta Language). Tw\u00F3rcami SML-a byli Robin Milner, i . W 1997 roku powsta\u0142 aktualny standard j\u0119zyka. Zosta\u0142 on opracowany przez Milnera, i oraz . Podobnym j\u0119zykiem jest OCaml."@pl . . . "Standard ML"@ru . . . . . . . . . . "Standard ML"@es . . "Standard ML (SML) je staticky orientovan\u00FD typov\u011B bezpe\u010Dn\u00FD univerz\u00E1ln\u00ED programovac\u00ED jazyk, kter\u00FD zt\u011Bles\u0148uje mnoho n\u00E1pad\u016F v oblasti n\u00E1vrh\u016F a implementace programovac\u00EDch jazyk\u016F. Podporuje polymorfn\u00ED inference typ\u016F a automaticky zaji\u0161\u0165uje efektivn\u00ED spr\u00E1vu pam\u011Bti. Podporuje funkcion\u00E1ln\u00ED programov\u00E1n\u00ED, ale z\u00E1rove\u0148 umo\u017E\u0148uje imperativn\u00ED programov\u00E1n\u00ED. Usnad\u0148uje programov\u00E1n\u00ED s rekurz\u00ED a symbolick\u00FDch datov\u00FDch struktur skrze podporu \u0161ablon (angl. \u201E\u201C). Tento jazyk je vybaven roz\u0161i\u0159iteln\u00FDm mechanismem pro manipulaci v\u00FDjimek a poskytuje flexibiln\u00ED modulovac\u00ED prost\u0159edky pro strukturov\u00E1n\u00ED velk\u00FDch program\u016F. V\u011Bt\u0161ina implementac\u00ED nab\u00EDz\u00ED rozs\u00E1hl\u00E9 knihovny a u\u017Eite\u010Dn\u00E9 v\u00FDvojov\u00E9 n\u00E1stroje. T\u00E9m\u011B\u0159 v\u0161echny kompil\u00E1tory generuj\u00ED nativn\u00ED strojov\u00FD k\u00F3d, a to i p\u0159i interaktivn\u00EDm re\u017Eimu interpreta. Jazyk je popul\u00E1rn\u00ED mezi informatiky, kte\u0159\u00ED kompil\u00E1tory navrhuj\u00ED a nebo implementuj\u00ED. SML je modern\u00ED potomek programovac\u00EDho jazyka ML, kter\u00FD byl poprv\u00E9 navr\u017Een k pr\u00E1ci na projektu \u201E (LCF)\u201C k dokazov\u00E1n\u00ED teor\u00E9m\u016F. Zkratka \"ML\" je odvozen\u00E1 z anglick\u00E9ho \u201E\u201C, co\u017E p\u0159elo\u017Eeno do \u010De\u0161tiny znamen\u00E1 \u201Emeta jazyk\u201C a je v\u00FDrazem z oblasti jazykov\u00E9 logiky. V n\u011Bm\u017E jsou analyzov\u00E1ny i jin\u00E9 jazyky (form\u00E1ln\u00ED nebo neform\u00E1ln\u00ED). V roce 1983, Milner napsal prvn\u00ED n\u00E1vrh standardizovan\u00E9 formy ML a b\u011Bhem n\u00E1sleduj\u00EDc\u00EDch t\u0159\u00ED let se vyvinul jazyk Standard ML."@cs . . . . . . . "2020-02-20"^^ . . . "Standard ML"@en . . . . . "Standard ML"@cs .