Meta Language
Z Wikipedii
ML (ang. Meta Language) jest rodziną funkcyjnych języków programowania, które charakteryzuje się statycznym, silnym typowaniem. Jako jeden z pierwszych języków udostępniał typy polimorficzne.
Został zaprojektowany m.in. przez Robina Milnera w roku 1973 i był częścią większego projektu LCF (Logic for Computable Functions). Zadaniem LCF było automatyczne dowodzenie poprawności funkcyjnych programów, języka ML używano właśnie do zapisu tych programów. Stąd też obecnie ML jest stosowany m.in. do automatycznego dowodzenia twierdzeń i poprawności programów, a także szybkiego prototypowania.
Rozwinęło się wiele dialektów języka, m.in. Ocaml (włączający do języka elementy programowania obiektowego), Concurrent ML (wspierający programowanie współbieżne) czy Lazy ML (który w odróżnieniu od innych dialektów stosuje leniwą ewaluację).
W roku 1984 z inicjatywy Robina Milnera ustandaryzowano język ML tworząc dialekt Standard ML. Istnieje kilkanaście implementacji tego dialektu, m.in. Moscow ML, Stanford ML i SML97. W roku 2000 standard został poprawiony, czego efektem było powstanie ML-2000.
ABAP • Ada • AWK • Asembler • C • C++ • C# • COBOL • Common Lisp • D • F# • Forth • Fortran • GAUSS • Icon • Java • JavaScript • Lisp • Lustre• Modula 2 • Ocaml • Oberon • Object Pascal • Objective-C • Pascal • Perl • PHP • PL/SQL • Python • REXX • Ruby • SAS 4GL • sh • Smalltalk • Snobol • SQL • Visual Basic • VB.NET • XUL
Akademickie: Comal • Eiffel • Haskell • Logo • MCPL • ML • Nemerle • Prolog • Scheme
Historyczne: ALGOL • APL • BASIC • Clipper • JAS • MUMPS • PLAN • PL/I • PL/M • SAKO • SAS (asembler) • Simula
Inne: Erlang • occam • QCL
Ezoteryczne: INTERCAL • Brainfuck • BeFunge • Unlambda • Malbolge • Whitespace • FALSE • HQ9+ • Shakespeare • Whirl • Ook
| Skandal we włoskiej telewizji publicznej |
|
Wydział personalny składający się z ponad 250 urzędników zajmuje się 13 248 stałymi pracownikami i 43 000 współpracowników RAI, która zatrudnia m.in. 114 fryzjerów i 67 garderobianych - tak rzymski tygodnik "L'Espresso" opisał włoską telewizję publiczną RAI.
|
| Segment pism dla rodziców zanotował wzrost sprzedaży |
|
Wszystkie miesiÄ™czniki dla rodziców zanotowaÅ‚y w lutym br. wyższÄ… sprzedaż ogółem w porównaniu z lutym ub.r. – wynika z danych ZwiÄ…zku Kontroli Dystrybucji Prasy.
|
| Zawitkowski nowym naczelnym "Dziewczyny" |
|
Robert Zawitkowski będzie redaktorem naczelnym miesięcznika młodzieżowego "Dziewczyna" (Axel Springer Polska).
|
| Minister skarbu chce kuratora dla Polskiego Radia |
|
Minister skarbu państwa Aleksander Grad zwrócił się do sądu o ustanowienie kuratora Polskiego Radia. Chce w ten sposób przeciwdziałać paraliżowi we władzach spółki.
|
| TVN24 wyrusza na Euro 2008 helikopterem |
|
Komentatorami rozgrywek Euro 2008 w TVN24 będą Jan Tomaszewski i Olaf Lubaszenko. Do obsługi mistrzostw Europy w piłce nożnej stacja wykorzysta też śmigłowiec Błękitny 24, który poleci do Austrii.
|