Типи даних можна складати, множити й навіть підносити до степеня майже так само, як числа.

Типи даних можна складати, множити й навіть підносити до степеня майже так само, як числа. Андрій Севастьянов пояснює, чому ця аналогія працює, як із неї виростають суми й добутки типів, Unit, Void, рекурсивні типи та GADT, і як математика допомагає краще зрозуміти системи типів у сучасних мовах програмування. 👉 https://dou.ua/goto/qJXn