Проектирование с помощью типов

От переводчика: странно размещать предисловие к циклу статей в самом конце, когда переведены все главы. Это вынужденное решение, вызванное тем, что я переводил материал глава за главой. Только сейчас — в самом конце — у меня есть ссылки на все части перевода. Поэтому так.

Ну, а теперь слово Скотту Влащину — автору оригинального цикла.

В этом цикле мы познакомимся с несколькими способами использования типов в процессе проектирования. В частности, осмысленное использование типов помогает сделать проект как понятнее, так и корректнее.

Этот цикл будет посвящён «микро-уровню» проектирования, то есть отдельным типам и функциям. Высокоуровневые подходы к проектированию и связанные с ними решения об использовании функционального или объектно-ориентированного стиля, мы обсудим в другом цикле.

Многие из предложенных решений можно перенести в C# или Java, но F# по своей природе больше для них подходит.

1. Введение

2. Одновариантные типы-объединения

3. Делаем недопустимые состояния не представимыми

4. Исследуем новые концепции

5. Делаем состояния явными

6. Типизированные строки

7. Нестроковые типы

8. Заключение