G
надо сделать программирование на типах более простым, тогда и генерировать можно
Size: a a a
2020 May 22
p
Не уверен что можно как-то по другому генерировать код не через документацию
G
идрис умеет уже
p
надо сделать программирование на типах более простым, тогда и генерировать можно
А, лол. Тоже можно.
p
Так даже лучше
G
идрис правда только сейчас базу индукции и другие тривиальные случаи умеет подставлять, но все еще впереди ))))
p
Воспринимать типы данных компьютеру проще чем комментарии на человеческом языке
G
и намного точнее получится выхлоп, да
G
иногда даже только 1 возможный случай возможен для подставновки
G
если хорошо типчики описали
G
а с их подходом легче просто не парится и взять нормально язык с комбинаторами чем писать комментарии который не факт что сгенерируют правильный код
G
мап + форич и все
G
чем хуже комментариев
G
ничем
Т8
надо сделать программирование на типах более простым, тогда и генерировать можно
Для этого надо отойти от ФП. И отойти от крутых типов, лол
p
наоборот, чем круче типы, тем проще их использовать
Т8
наоборот, чем круче типы, тем проще их использовать
Какие трудности при использовании типов C++?
p
Т-34 85
Какие трудности при использовании типов C++?
int*
Т8
Напоминаю, там из стандарта к стантарту типизация усиливается
p
хуй знает что это - массив, или просто число