Шаблоны проектирования для проверки статического типа [closed]

Закрыт. Этот вопрос не по теме . В настоящее время он не принимает ответы.

Хотите улучшить этот вопрос? Обновите вопрос , чтобы он был по теме для Stack Overflow.

Закрыт в прошлом году .

В настоящее время я пытаюсь выяснить, какие аспекты моей программы могут быть статически проверены компилятором scala. Прочитав этот вопрос , я пришел к идее шаблонов проектирования для типов. Мне довольно сложно разобраться в возможностях системы типов Scala. Поэтому я хотел бы посмотреть на практическое использование (а не на арифметику Пеано и тому подобное). Простые шаблоны, которые часто повторяются в обычном коде.

Кто-нибудь знает какие-нибудь блоги или даже книги, посвященные этому вопросу? Желательно на Scala, но это может быть полезно и для других языков.

задан Community 23 May 2017 в 11:55

0 ответов

Другие вопросы по тегам:

design-patterns scala haskell types

Шаблоны проектирования для проверки статического типа [closed]

0 ответов

Похожие вопросы: