YB
множество которое включает самого себя несколько раз)
(тривиальные циклические зависимости даже)
(тривиальные циклические зависимости даже)
Size: a a a
2020 December 04
CD
и ему кодоген на сишке
не сработает
CC
не сработает
ну так оно работало
CC
хз насколько синтетические тесты)
CD
ну так оно работало
мы обсуждали со Славой вопрос, в целом есть общее мнение
CD
что учиться надо прогать на Идрисе
C
Казалось бы причем тут Эльба
CD
Казалось бы причем тут Эльба
ась?
C
Idris elba
CD
ну так оно работало
есть отчёт известного в узких кругах олимпиадника
CD
что нейронка не может нормально прогать на общем назначении
CD
потому что перепутать порядок пары операторов - GG
CD
она выдаст почти правильный ответ
CC
что учиться надо прогать на Идрисе
Ну кажется что это наиболее перспективно
p
что ты там в твиттере же? ну это уже не помню! это не про этот доклад!
CD
Ну кажется что это наиболее перспективно
Да, это достаточно очевидный ответ, тем более что Idris позволяет качественно поставить задачу
CD
Просто заполни лакуну, реализуя формализованные требования
CC
Да, это достаточно очевидный ответ, тем более что Idris позволяет качественно поставить задачу
и запруфать решение