Oℕ
а инференс вселенных где не устроил?
Size: a a a
2020 May 23
Oℕ
а вы портировали код с языка X на язык Y, получилось плохо, и вывод - язык Y плохой
Oℕ
Ну тогда почти любой язык лучше, чем почти любой другой
R
а инференс вселенных где не устроил?
а я уже не помню. Я помню, что я читал, что там какие-то вещи нельзя делать и думал "ну уж лучше неудобные некумулятивные вселенные в агде, чем это"
AA
а вы портировали код с языка X на язык Y, получилось плохо, и вывод - язык Y плохой
а че не так с этим выводом-то?
AA
Ну тогда почти любой язык лучше, чем почти любой другой
только не лучше, а хуже, а так все верно
R
а вы портировали код с языка X на язык Y, получилось плохо, и вывод - язык Y плохой
с языка X с довольно базовыми фичами на родственный ему язык Y
Oℕ
Например хаскель хуже джавы
AV
А джава хуже хаскеля
Oℕ
Если портировать код, обнаруживается, что наследования нет и рефлекшена.
Oℕ
А джава хуже хаскеля
ето так
AA
Например хаскель хуже джавы
ну да, есть такой жава код который нормально не перепишешь на хаскеле
AV
Можно было бы сказать, что выигрывает го, но го проигрывает обоим
R
и как 2 относится к вопросу?
в смысле, как? Если принять за правило, что надо выводить общие типы, то выводить придется в отдельных случаях много, причем в таких случаях они редко когда нужны эти общие типы
Oℕ
ну да, есть такой жава код который нормально не перепишешь на хаскеле
думаю почти любой код с довольно базовыми фичами
R
Если портировать код, обнаруживается, что наследования нет и рефлекшена.
это не родственные языки
Oℕ
в смысле, как? Если принять за правило, что надо выводить общие типы, то выводить придется в отдельных случаях много, причем в таких случаях они редко когда нужны эти общие типы
Вы просто спросили "какой тип должен быть?", так будто там типа не присвоишь, вопрос риторический, слушатель в тупике. Но написать руками тип не так уж сложно
R
ладно, как я допишу свой бесконечный туториал про унификацию в агде, на нем и продемонстрирую убожество идриса
Oℕ
это не родственные языки
По состоянию на 2020й агда и идрис тоже нихрена не родственные
Oℕ
Они сильно разошлись уже