DS
Т-34 85
а какой язык "такой же", но не ленивый?
Даже с ходу не скажу, потому что остальные из ML либо с мутабельными данными, либо с зав типами и ориентированны на другое
Size: a a a
2020 March 09
Т8
Даже с ходу не скажу, потому что остальные из ML либо с мутабельными данными, либо с зав типами и ориентированны на другое
ого. Может, есть какая-то серьёзная проблема в таком сочетании?
G
Т-34 85
а какой язык "такой же", но не ленивый?
ATS, Idris
DS
ATS, Idris
Не такие, они с зависимыми типами и на другое ориентированны.
DS
АТС вообще с мутабельностью
G
АТС вообще с мутабельностью
Ну да, системный же
Т8
Не такие, они с зависимыми типами и на другое ориентированны.
а почему завтипы для системного языка не годятся?
DS
Т-34 85
а почему завтипы для системного языка не годятся?
Годятся, см. ATS и F* (там refinement типы, но не суть), но они твоим целям противоречат, с ними придется думать больше, чем с аффиными типами как в расте
Т8
Годятся, см. ATS и F* (там refinement типы, но не суть), но они твоим целям противоречат, с ними придется думать больше, чем с аффиными типами как в расте
проекты и форки заброшены https://github.com/xlq/aos
DS
Т-34 85
проекты и форки заброшены https://github.com/xlq/aos
Потому что это ресерч язык одного чувака
Т8
Потому что это ресерч язык одного чувака
но почему задумку никто не подхватил?
DS
Т-34 85
но почему задумку никто не подхватил?
Потому что всегда лаг есть между идеями и их реализациями в проде.
То есть аффинные типы тысячу лет назад были, но реализовали в прод языке только недавно
То есть аффинные типы тысячу лет назад были, но реализовали в прод языке только недавно
DS
Ну и т.д., это со всеми идеями в IT так
Т8
Потому что всегда лаг есть между идеями и их реализациями в проде.
То есть аффинные типы тысячу лет назад были, но реализовали в прод языке только недавно
То есть аффинные типы тысячу лет назад были, но реализовали в прод языке только недавно
так, погоди. Раньше не было компов, но теперь-то они есть. Чего не хватает?
DS
Т-34 85
так, погоди. Раньше не было компов, но теперь-то они есть. Чего не хватает?
Обмена знаниями между индустрией и академией.
Этого всегда занимает десятки лет
Этого всегда занимает десятки лет
DS
Т.е. далеко ходить не надо: какой процент разработчиков читали хотя бы базовую книжку по теории типов, типа того же tapl?
DS
Т.е. можно спросить в этом чате, уже и так достаточно продвинутом и результат будет любопытный.
Т8
Т.е. можно спросить в этом чате, уже и так достаточно продвинутом и результат будет любопытный.
то есть индустрия просто не хочет изучать труды академиков? Или, может, хочет, но не получается?
DS
Т-34 85
то есть индустрия просто не хочет изучать труды академиков? Или, может, хочет, но не получается?
Скорее даже не знает об их существовании толком
p
@psilon ты говорил что если можно без багов написать хеловорд, значит можно разбить сложную программу на много хеловордов и написать большую программу без багов, да?