Chaseproduct
написал 3467 дней назад
вернуться назад
[Перевод] Неупакованные типы объединений в Scala на основе изоморфизма Карри-Ховарда
ПРИСОЕДИНИТЬСЯ— это бесплатный сервис для общения с друзьями. Здесь ты можешь открыть свой микроблог и писать в него любые короткие сообщения. Твои друзья непременно узнают о всех событиях, происходящих в твоей жизни.
[Перевод] Неупакованные типы объединений в Scala на основе изоморфизма Карри-Ховарда