b
самый моральный язык
Size: a a a
2020 August 28
b
Rust
p
Программирование тлен понятное дело
p
Но есть другие области
b
главное помни что когда ты пишешь код на Rust ты присоединяешься к большому противостоянию за добро и безопасность!!
p
А вообще как вам идея компилятор из идриса в хаскель?
b
ты на стороне воинов света
H
18–летний раст–нигилист
* Заходят нигилист, мизантроп и циник в бар *
Бармен: алкоголь продаём только для совершеннолетних
Бармен: алкоголь продаём только для совершеннолетних
p
главное помни что когда ты пишешь код на Rust ты присоединяешься к большому противостоянию за добро и безопасность!!
Я не пишу код на Раст и вряд ли ещё буду кек
p
Да тут вообще на расте пишут два человека
p
Ну может три
b
суровая правда…
p
Ага
p
А вообще как вам идея компилятор из идриса в хаскель?
Тогда мы получаем мощь системы типов Идриса и компилятор хаскеля
p
Хотя время компиляции будет где-то в пизде но то лирика
H
А вообще как вам идея компилятор из идриса в хаскель?
Мне нравится идея сначала выучить теорию типов
b
Тогда мы получаем мощь системы типов Идриса и компилятор хаскеля
мы получаем мощь из мочи и говна
p
Нужно будет из типизированного дерева генерить код на хаскеле
b
на идрисе пишет хотя бы 10 человек?
b
formal methods MY ASS