воскресенье, 1 ноября 2015 г.

Inoreader - [Перевод] Неупакованные типы объединений в Scala на основе изоморфизма Карри-Ховарда

New article from your email rule in Inoreader

Примечание переводчика. В будущей версии Scala ("Don Giovanni") анонсирована поддержка типов объединения (union types). Miles Sabin, широко известный в узких кругах как создатель Shapeless, демонстрирует в этой статье 2011 года, как создать типы объединения уже сейчас.

Scala имеет очень выразительную систему типов. Однако она не включает (по крайней мере как примитивы) всех вожделенных элементов. Есть несколько поистине полезных типов, подпадающих под эту категорию — это типы полиморфных функций высшего ранга (higher-rank) и рекурсивные структурные типы. Но о них я расскажу подробнее в следующих постах, а сегодня я собираюсь показать вам, как в Scala мы можем создать типы объединения (union types). В ходе объяснения я пролью немного света на изоморфизм Карри-Ховарда и покажу, как использовать его в наших целях.

42770ed92098475fac9f4632be73e3d5.jpg

Читать дальше →
Inoreader is a light and fast RSS Reader. Follow us on Twitter and Facebook
You have matches for "и", "в", "на"

Комментариев нет:

Отправить комментарий