Sekrety systemu typów w języku Julia

Are you going?

17 people going

Share:

Details

Każda wartość w języku Julia posiada określony typ. Ta, z pozoru prosta, reguła pozwala na zapewnienie wywołania metod ze względu na typy ich wszystkich argumentów (tzw. multiple dispatch), a to z kolei umożliwia wysoką wydajność obliczeń.

Osoby poznające język Julia, często są przytłoczone faktem jak elastyczny jest jej system typów. Mamy tutaj typy:
a) abstrakcyjne (abstract), konkretne (concrete) i nadtypy (supertype);
b) podstawowe (primitive), złożone (composite), mutowalne (mutable) i niezmienialne (immutable);
c) deklarowane (declared) i unie (unions);
d) typy parametryczne (parametric) i tzw. typy UnionAll;
e) aliasy typów;

Dodatkowo większość typów jest inwariantna (invariant), ale krotki (tuple) są kowariantne (covariant).

W trakcie spotkania wszystkie te pojęcia zostaną wyjaśnione oraz pokażemy jak można wykorzystać system typów do pisania eleganckiego, bezpiecznego, a zarazem wydajnego kodu.

Wszystkich zainteresowanych serdecznie zapraszam. Spotykamy się w środę 23 stycznia 2019 o godzinie 17:15 w sali 233 w budynku G, SGH.

Pozdrawiam,
Bogumił