Movatterモバイル変換


[0]ホーム

URL:


Przejdź do zawartości
Wikipediawolna encyklopedia
Szukaj

Standard ML

Z Wikipedii, wolnej encyklopedii
Wikipedia:Weryfikowalność
Ten artykuł od 2021-03 wymagazweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formieprzypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach:Encyklopedia PWN •Google Books • Google Scholar • Federacja Bibliotek Cyfrowych •BazHum •BazTech •RCIN • Internet Archive (texts /inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się wdyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon{{Dopracować}} z tego artykułu.

Standard ML (SML)język programowaniafunkcyjnego powstały w1990 roku jako pierwszy standard językaML (ang.Meta Language). Twórcami SML-a byliRobin Milner,Mads Tofte iRobert Harper.

W1997 roku powstał aktualny standard języka. Został on opracowany przezMilnera,Tofte iHarpera orazDavida Mac Queeina.

Podobnym językiem jestOCaml.

Przykładowy kod

[edytuj |edytuj kod]

Poniższy kod realizujealgorytmsortowania szybkiego:<<.

valfilt=List.filterfunquicksort<<xs=letfunqs[]=[]|qs[x]=[x]|qs(p::xs)=letvallessThanP=(fnx=><<(x,p))inqs(filtlessThanPxs)@p::(qs(filt(notolessThanP)xs))endinqsxsend
Języki programowania
1GL
2GL/
Język drugiej generacji/
Asembler
3GL /
Język trzeciej generacji
wieloparadygmatowe
proceduralne
istrukturalne
historyczne
inne
obiektowe
funkcyjne
edukacyjne
4GL/
Język czwartej generacji/
Język dziedzinowy
Języki zapytań do baz danych
Generatory raportów / stron
Przetwarzanie danych, analiza i raportowanie
5GL/Logiczne
Ezoteryczne
Inne
Źródło: „https://pl.wikipedia.org/w/index.php?title=Standard_ML&oldid=62808105
Kategoria:
Ukryta kategoria:

[8]ページ先頭

©2009-2025 Movatter.jp