AP
Pokeacad Go
Лови академиков на улице, тренируй дома (дозами Golang), бейся с другими тренерами!
Лови академиков на улице, тренируй дома (дозами Golang), бейся с другими тренерами!
Size: a a a
2020 June 21
АГ
А ты проникся :)
AP
А ты проникся :)
упрлс
JS
смотрите, как Карри эволюционирует в Карри—Говарда!
AP
Изоморфировал!
AP
(простити, больше не буду)
АГ
АГ
AV
Pokeacad Go
Лови академиков на улице, тренируй дома (дозами Golang), бейся с другими тренерами!
Лови академиков на улице, тренируй дома (дозами Golang), бейся с другими тренерами!
А банда R там будет?
AP
"Команда Racket"!
JS
R недостаточно функциональный?
JS
или недостаточно академичный?
AP
Rocket ~ Racket
Y
Ну и, коечно же, нужно больше ЛЕДЯНОЙ АКАДЕМИЧЕСКОЙ ЯРОСТИ. Перелицовывать термин под маркетинг должно быть стыдно, надо чтобы на таких деятелей показывали пальцем и отказывали от стола. Термин который достаточно долго полоскали в маркетинге утрачивается всякий смысл. Взять хотя бы ООП. ООП, что ты такое?!
2020 June 22
L
Приветы! В этот четверг (25.06) в 19-00MSK планируется доклад от Юрия Горшкова @Yuu_chan
«Предмет верблюжьей гордости»
Наверное, нет другого языка со столь навороченной системой модулей, как в OCaml. В докладе мы посмотрим, как с их помощью можно не только организовывать код, но и имитировать объекты, тайпклассы, семейства типов и другие штуки.
Ссылка появиться в канале за 15 минут до мероприятия. До встречи!
«Предмет верблюжьей гордости»
Наверное, нет другого языка со столь навороченной системой модулей, как в OCaml. В докладе мы посмотрим, как с их помощью можно не только организовывать код, но и имитировать объекты, тайпклассы, семейства типов и другие штуки.
Ссылка появиться в канале за 15 минут до мероприятия. До встречи!
EM
Про тайпклассы прям интересно было бы послушать. Как их можно нормально организовать в OCaml без имплицитов?
K
Никак
K
Без изменения языка