2014 - Maciek Próchniak - Type Driven Development
Автор: confiturapl
Загружено: 2014-09-05
Просмотров: 1270
Описание:
Każdy chyba wie (a przynajmniej powinien wiedzieć) o co chodzi w Test Driven Development.
W językach z odpowiednio silnym systemem typów - takich jak Scala lub Haskell da się osiągnąć coś jeszcze. Kompilator może wykonywać część testów za nas. Często można usłyszeć argumenty w stylu: "nie jestem w stanie wymyślić żadnych sensownych bugów, które mogą być wykryte przez kompilator".
Chciałbym przedstawić kilka przykładów w Scali które (mam nadzieję) pokażą że to stwierdzenie nie jest prawdą - zaczynając od najprostszych, takich jak unikanie NullPointerException, a kończąc na eksperymentalnych próbach definiowania dość złożonych kontraktów jakie możemy znaleźć w takich bibliotekach jak Scalaz i Shapeless.
Będę zakładał że słuchacze znają przynajmniej pobieżnie składnię Scali.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: