Szóste spotkanie grupy dev@LDZ będzie traktowało o systemie typów w języku F#, a także o Dockerze i jego możliwościach

deployowania aplikacji.

Pierwszą prezentację poprowadzi Krzysiek Cieślak na temat systemu typów języka F#. „Kolejna prezentacja o F# na dev@LDZ. Tym razem skupimy się na potężnych możliwościach jakie daje nam system typów w F# i jak dobrze zaprojektowany system typów może zostać naszym przyjacielem pomagającym unikać całej rodziny różnego rodzaju błędów. Zaprezentowane pomysły są powiązane nie tylko z F# ale również z innymi statycznie typowanymi językami takimi jak OCaml, Scala, Haskell czy Idris jak również w mniejszym stopniu C# i Java. Nie wymagana jest wcześniejsza znajomość F# czy programowania funkcyjnego.”

A nasz prowadzący to: „Fotograf, kibic sportowy, programista. Entuzjasta programowania funkcyjnego (zwłaszcza statycznie typowanej odmiany). Na co dzień tworzy aplikacje biznesowe na platformie .Net zarówno w C# jak i F#. W wolnych chwilach nie stroni od dobrej książki lub pracuje nad intersującymi projektami w F#.”

Druga prezentacja będzie traktować o Dockerze: „W dobie coraz szybszego rozwoju oprogramowania, dużego nacisku na continuous integration i continuous delivery na scenie informatycznej pojawił się docker – narzędzie lekkiej wirtualizacji. Jak zacząć pracę z dockerem? W czym może pomóc? Jak wpisuje się w pracę przeciętnej firmy wytwarzającej oprogramowanie? Jakie daje możliwości i jakie ma ograniczenia? O tym wszystkim postaram się w skrócie i na przykładach opowiedzieć.”

Prowadzącym będzie Maciek Jabłoński, który: – utrzymuje, że programuje już od 20 lat – nikt dokładnie nie wie co robi w pracy – mowi, że chciałby stać się najlepszy, a potem sprawić, że znów będzie przeciętny – w branży IT robił już wszystko… może poza kawą przez HTCPCP

Oczywiście między prelekcjami, a także po nich, będzie odpowiednio dużo czasu, żeby ze sobą porozmawiać i wymienić się swoimi doświadczeniami.

Agenda spotkania: 18:00 – 19:00 Fun with types in F# (Krzysztof Cieślak) 19:00 – 19:20 Krótka przerwa na dyskusje 19:20 – 20:20 Docker made simple (Maciej Jabłoński) 20:20 – ? Znowu zostawiamy trochę czasu na koniec, żeby można było podyskutować na różne tematy,

programistyczne przede wszystkim 🙂

Serdecznie zapraszamy na szóste już spotkanie dev@LDZ!