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