Т8
Я в принцыпе против воняния всяким говном в общественных местах. Будь то травка, сигареты и как там эти всякие хуи роботов которые сосут называются, Айкосы и Вейпы и прочее.
+++
Size: a a a
2020 March 27
Т8
@victor_callidus а ты точно скалист и к c# отношения не имеешь?
VS
Т-34 85
@victor_callidus а ты точно скалист и к c# отношения не имеешь?
Я в точности наоборот 🔄
VS
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
Т8
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
пробовал идрис уже?
G
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
К сожалению, сейчас это только влажные наши с тобой мечтания. Идрис бывает даже на несложных случаях выдаёт ICE, библиотек почти 0. К продакшыну он точно не готов...
VS
Т-34 85
пробовал идрис уже?
Ну так, поставил его и попробовал Хеллоуврод. Пока что ничего серьезно не написал.
G
А зависимые типы и в Scala есть (частично): https://stackoverflow.com/questions/12935731/any-reason-why-scala-does-not-explicitly-support-dependent-types/12937819
СД
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
а в чем прикол зависимых типов?
Т8
К сожалению, сейчас это только влажные наши с тобой мечтания. Идрис бывает даже на несложных случаях выдаёт ICE, библиотек почти 0. К продакшыну он точно не готов...
а что такое ICE?
G
а в чем прикол зависимых типов?
Они позволяют описывать поведение программы в типах, чтобы проверить инвариванты во время компиляции
AZ
а в чем прикол зависимых типов?
в том чтобы у тебя проверки выхода за границы массива во время компиляции работали например
G
Т-34 85
а что такое ICE?
Internal Compiler Error
AZ
полезно? Полезно
G
Не готово? Не готово )
СД
Они позволяют описывать поведение программы в типах, чтобы проверить инвариванты во время компиляции
это не adt?
AZ
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
G
это не adt?
Нет
G
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
Есть же в плюсах проверки на шаблонахъ
СД
Нет
но там тоже описывается тип и его возможности (алгебра), плюс проверки во время компиляции