"Standard ML"@cs . . . "1107075"^^ . . "Standard ML"@cs . "15296274"^^ . . . "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. \u201Epattern matching\u201C)."@cs . . . . . . . . . . . . . . "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. \u201Epattern matching\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 \u201ELogic for Computable Functions (LCF)\u201C k dokazov\u00E1n\u00ED teor\u00E9m\u016F. Zkratka \"ML\" je odvozen\u00E1 z anglick\u00E9ho \u201EMeta Language\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 . . "6992"^^ . . "21"^^ . . . "ML"@cs . . . . .