Благодарим ви, че изпратихте вашето запитване! Един от членовете на нашия екип ще се свърже с вас скоро.
Благодарим ви, че направихте своята резервация! Един от членовете на нашия екип ще се свърже с вас скоро.
План на курса
Основен тип класопедия
- Functor Applicative Foldable, Traversable Monads Други (стрелка и др.)
Разширени типове
- Алгебрични типове данни в дълбочина Класове за разширени типове Семейства типове GADT
Отстраняване на грешки и оптимизиране на кода
- Стриктност в типовете данни и функциите Профилиране на паметта и процесора Ефективни структури от данни (байтов низ, текст, вектор и др.) Бележка за "несигурни"
Разбиране на системата за изпълнение
- Оформление на паметта в GHC Разопаковане на строги полета Разбиране и четене на Core
Паралелност в Haskell
- Haskell теми MVars and co. STM паралелизъм
Чужди функционален интерфейс
- Основи на FFI Безопасни срещу опасни Globals в Haskell
Шаблон Haskell
- Сплайсинг и цитиране Реификацията на монадата Q
Изисквания
Основни познания по Haskell език за програмиране и известен опит с Haskell програмиране.
14 Часа
Oтзиви от потребители (1)
In genera; learning about the concept of Haskell and FP
