Meta Language

Meta Language - ML, rodzina statycznie typowanych języków funkcyjnych. Jako jeden z pierwszych posiadał typy polimorficzne umożliwiajace metaprogramowanie. Zaprojektowany jako LISP z typami.

Sześć rodzajów polimorfizmu

18 minut(y)

Gdy dociera do mnie informacja o kolejnym wspaniałym języku programowania, którego warto się nauczyć, to pierwsze co robię to sprawdzam jak wygląda polimorfizm w tym języku programowania.

Kolejny język programowania - język wszystkomający

9 minut(y)

Język wszystkomający jest to język w którym można programować imperatywnie, funkcyjnie, obiektowo, proceduralnie oraz strukturalnie. Prawdopodobnie jest to język zły do nauki jako pierwszy język programowania. Może też być złym językiem do nauki pojedynczych paradygmatów programowania, jeśli nie mamy odpowiedniej dyscypliny. Jeśli jednak mamy tę dyscyplinę jest to genialny język do nauki nowych paradygmatów programowania. Po co uczyć się nowych paradygmatów programowania starałem się wyjaśnić w artykule Kolejny język programowania do nauki - paradygmaty programowania.

Kolejny język programowania do nauki - paradygmaty programowania

13 minut(y)

Zdecydowaliśmy się nauczyć programować. I zostać programistami. Może nawet dostaliśmy pierwszą pracę. I w tej pracy ktoś nam powiedział, że uczy się nowego, a więc i kolejnego, języka programowania. Czemu się uczy? Bo np. usłyszał/przeczytał cytat:

Który język programowania wybrać na początek - język natywny

12 minut(y)

Wiele osób pyta się, który język programowania wybrać na początek jako pierwszy język do nauki. Wiele jednak zależy od tego do czego chcemy użyć tego języka programowania. Dlatego wybrałem zwycięzców w czterech kategoriach: dynamicznie typowany język skryptowy ogólnego przeznaczenia statycznie typowany język korporacyjny używany do pisania długowiecznych aplikacji klasy enterprise język fullstackowy, który można używać do pisania frontendu i backendu szybki język natywny działający bez maszyny wirtualnej i interpretera

Który język programowania wybrać na początek - język fullstackowy

14 minut(y)

Wiele osób pyta się, który język programowania wybrać na początek jako pierwszy język do nauki. Wiele jednak zależy od tego do czego chcemy użyć tego języka programowania. Dlatego wybrałem zwycięzców w czterech kategoriach: dynamicznie typowany język skryptowy ogólnego przeznaczenia statycznie typowany język korporacyjny używany do pisania długowiecznych aplikacji klasy enterprise język fullstackowy, który można używać do pisania frontendu i backendu szybki język natywny działający bez maszyny wirtualnej i interpretera

Wróc do góry ↑

Linki zewnętrzne

Dialekty języka ML

  1. OCaml - prawdopodobnie pierwszy statycznie typowany język wszystkomający (obiektowo-funkcyjny).
  2. Standard ML, (SML) - ustandaryzowana wersja języka.
  3. Concurrent ML, (CML) - dialekt Standard ML posiadający rozszerzenia do programowania współbierznego.
  4. Dependent ML, (DML) - eksperymentalna wersja ML posiadająca typy zależne.
  5. Lazy ML, (LML) - język ML z leniwą ewaluacją kompilowany do kodu natywnego. Jeden z protoplastów języka Haskell
  6. MacroML - eksperymentalna wersja ML posiadająca makra inspirowane makrami z języka Scheme
  7. Elm - język transpilowany do JS, inspirowany językami ML i Haskell.

Kursy