Size: a a a

2020 March 27

Т8

Т-34 85 in rust_offtopic
Victor Sapiens
Я в принцыпе против воняния всяким говном в общественных местах. Будь то травка, сигареты и как там эти всякие хуи роботов которые сосут называются, Айкосы и Вейпы и прочее.
+++
источник

Т8

Т-34 85 in rust_offtopic
@victor_callidus а ты точно скалист и к c# отношения не имеешь?
источник

VS

Victor Sapiens in rust_offtopic
Т-34 85
@victor_callidus а ты точно скалист и к c# отношения не имеешь?
Я в точности наоборот 🔄
источник

VS

Victor Sapiens in rust_offtopic
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
источник

Т8

Т-34 85 in rust_offtopic
Victor Sapiens
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
пробовал идрис уже?
источник

G

Gymmasssorla in rust_offtopic
Victor Sapiens
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
К сожалению, сейчас это только влажные наши с тобой мечтания. Идрис бывает даже на несложных случаях выдаёт ICE, библиотек почти 0. К продакшыну он точно не готов...
источник

VS

Victor Sapiens in rust_offtopic
Т-34 85
пробовал идрис уже?
Ну так, поставил его и попробовал Хеллоуврод. Пока что ничего серьезно не написал.
источник

G

Gymmasssorla in rust_offtopic
источник

СД

Стас Донцов... in rust_offtopic
Victor Sapiens
Хотя хотел бы на ФП перейти но не на Скалу или Хаскель на а что-то с зависимыми типами типо Идрис
а в чем прикол зависимых типов?
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
К сожалению, сейчас это только влажные наши с тобой мечтания. Идрис бывает даже на несложных случаях выдаёт ICE, библиотек почти 0. К продакшыну он точно не готов...
а что такое ICE?
источник

G

Gymmasssorla in rust_offtopic
Стас Донцов
а в чем прикол зависимых типов?
Они позволяют описывать поведение программы в типах, чтобы проверить инвариванты во время компиляции
источник

AZ

Alex Zhukovsky in rust_offtopic
Стас Донцов
а в чем прикол зависимых типов?
в том чтобы у тебя проверки выхода за границы массива во время компиляции работали например
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
а что такое ICE?
Internal Compiler Error
источник

AZ

Alex Zhukovsky in rust_offtopic
полезно? Полезно
источник

G

Gymmasssorla in rust_offtopic
Не готово? Не готово )
источник

СД

Стас Донцов... in rust_offtopic
Gymmasssorla
Они позволяют описывать поведение программы в типах, чтобы проверить инвариванты во время компиляции
это не adt?
источник

AZ

Alex Zhukovsky in rust_offtopic
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
источник

G

Gymmasssorla in rust_offtopic
Стас Донцов
это не adt?
Нет
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
В плюсах проверок просто нет, в расте они есть, но паникуют, а компилятор нужно дрочить чтобы он догадывался когда проверки можно убрать
Есть же в плюсах проверки на шаблонахъ
источник

СД

Стас Донцов... in rust_offtopic
но там тоже описывается тип и его возможности (алгебра), плюс проверки во время компиляции
источник