AA
одновременно с Idris 3
Size: a a a
2020 May 16
KV
ATS 3, Scala 3 и Idris 3 — вот они, языки моей мечты!
а
Rust 3018 Edition
A
ATS 3, Scala 3 и Idris 3 — вот они, языки моей мечты!
Языки академической мечты - супер, но писать всё равно удобнее на Ниме :)
AA
СПОРНО
A
ДА
AA
ну мож на ним 3 будет удобнее
A
Время между Идрис 2 и Идрис 3 - 20 лет, а разница между Ним 2 и Ним 3 - 10 месяцев
NV
А разницу между ним 2 и ним 3 никто и не заметит
KV
Языки академической мечты - супер, но писать всё равно удобнее на Ниме :)
Столько ошибок в слове хаскель
A
Столько ошибок в слове хаскель
Смейтесь-смейтесь, сейчас Арак доделает борров-чекер, и, может, следующим, за копированием монадических интерфейсов из хаскеля примется.
KV
Смейтесь-смейтесь, сейчас Арак доделает борров-чекер, и, может, следующим, за копированием монадических интерфейсов из хаскеля примется.
Ну это сложнее, чем форкнуть GHC и добавить туда борров-чекер, т. е. в прицнипе никоим образом не возможно
KV
А, ну в такой формулировке ещё возможно, но кому нафиг нужно
A
Ну да, академикам не очень надо - это понятно. Но целевая аудитория все же те кто в прод пишут.
AA
бороучекер 2049
KV
Ну да, академикам не очень надо - это понятно. Но целевая аудитория все же те кто в прод пишут.
Поэтому я и говорю, что лучше на хаскеле, а не на ниме
A
Смотря что лучше.
KV
Академическому ниму ещё непонятно сколько ползти до продакшена
АГ
Как думаете, ATS 3 и Scala 3 примерно в одно время выйдут?
Как бы ни вышли, это будет очень нескоро, к великому неудовольствию @A64m_qb0
KV
К великому неудовольствию скалистов ещё