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

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

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

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

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

  1. Введение

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

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

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

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

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

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

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

Комментарии (0)