JS
но на тотальных языках можно написать много полезных программ, так что они вполне себе ЯП
Size: a a a
2021 March 25
[
ну, да. В нормальном программировании очень редко случается, что "ух, кажется, нам надо написать алгоритм, считающий количество стадий выполнения известной математической дилеммы и делать мы это должны когда у нас уже написано 99% проекта на тотальном языке программирования, который этого не может"
t
>на тотальном языке программирования
поэтому мы тихооонечко просунем в тотальный язык ffi-биндинг к либе на сишке
поэтому мы тихооонечко просунем в тотальный язык ffi-биндинг к либе на сишке
JS
полностью тотальных — это где нельзя люк приоткрыть?
t
ну если бы в идрисе и агде не было аннотаций для того, чтобы пообещать, что функция точно-точно тотальная, хотя ни программист, ни компилятор этого не знают наверняка...
t
полностью тотальных — это где нельзя люк приоткрыть?
и, как следствие, никакой io невозможен? 🙂
[
ну типа
JS
в ATS выход в нетотальность вообще огромный и на самом видном месте лежит
JS
и, как следствие, никакой io невозможен? 🙂
возможен только через примитивы, встроенные в язык
[
Кстати, хочу пожелать здоровья и благополучия стабильности HLS. Вчера закрыл учебный проект, всё было нормально. Сегодня открываю, висит какая-то непонятная ошибка, но при этом стак билдит, а ghci файл подхватывает.
JS
а что, много знаете полностью тотальных компилируемых языков?
есть такой! Dhall. из IO там только чтение файлов
t
возможен только через примитивы, встроенные в язык
но ведь независимо от примитивов, язык не может гарантировать тотальность ио, потому что в общем случае ио нетотален. или я неправильно понимаю?
t
ничто не может запретить сисколлу никогда не вернуть управление процессу
JS
но ведь независимо от примитивов, язык не может гарантировать тотальность ио, потому что в общем случае ио нетотален. или я неправильно понимаю?
да, компромиссы
t
Кстати, хочу пожелать здоровья и благополучия стабильности HLS. Вчера закрыл учебный проект, всё было нормально. Сегодня открываю, висит какая-то непонятная ошибка, но при этом стак билдит, а ghci файл подхватывает.
еще и ansi-эскейпы на чем-то, что выглядит как винда
YS
думаю это и есть винда
[
еще и ansi-эскейпы на чем-то, что выглядит как винда
Если это выглядит как винда, пахнет, как винда, ощущается, как винда, и пользователь говорит, что это винда, то это винда.
Так вот, это винда.
Так вот, это винда.