Т8
Rust - говно среднее
в натуре, чат идеалистов
А ещё в плюсах есть HKT. Раст сосат
https://stackoverflow.com/questions/2565097/higher-kinded-types-with-c
Size: a a a
2020 March 27
A
G
Т-34 85
в натуре, чат идеалистов
Почти так
G
Разве это плохо?
Т8
Разве это плохо?
плохо то, что отрываетесь от реальности
А⚙
Ты конечно права, но есть неотъемлемый объём работы, который ты должна будешь делать в ATS, и который не нужно делать скажем в Хаскеле - я о доказательствах. Написание доказательств мне напоминает написание программ на динамическом языке с причудливым синтаксисом и без возможности отладки. То есть некий текст, который надо написать правильно для сигнатуры каждой функции, причём вход не всегда понятен, а выходом является сообщение об ошибке.
В Idris вроде довольно хорошая поддержка доказательств
G
Т-34 85
плохо то, что отрываетесь от реальности
Как отрываемся?
Т8
Как отрываемся?
ну нет, на 237 круг не пойду, надоело
G
В Idris вроде довольно хорошая поддержка доказательств
Много ручной работы всё равно
G
КМК, можно было бы автоматизировать
G
Ctrl+Alt+S по-факту только с простейшими случаями работает
G
Можно было бы хотя бы часто встречающиеся случаи покрыть, попробовать доказать дистрибутивность операции, инволюцию, инъекцию, попробовать скомбинировать это
СД
я думаю лет через 15 плюсы ждет судьба кобола
а раст будет все еще не готов, ага
G
а раст будет все еще не готов, ага
Rust уже готов
СД
а кстати, в чем фишка hkt?
G
а кстати, в чем фишка hkt?
AZ
Указание типа через
:: там странноеединственное что в нём плохо хз