Size: a a a

2020 March 27

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Rust - говно среднее
в натуре, чат идеалистов
источник

AK

Alexander Krivitskiy in rust_offtopic
А ещё в плюсах есть HKT. Раст сосат

https://stackoverflow.com/questions/2565097/higher-kinded-types-with-c
источник

A

Adv0cat in rust_offtopic
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Rust - говно среднее
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
в натуре, чат идеалистов
Почти так
источник

G

Gymmasssorla in rust_offtopic
Разве это плохо?
источник

G

Gymmasssorla in rust_offtopic
Да, Растом пользуются
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Разве это плохо?
плохо то, что отрываетесь от реальности
источник

А⚙

Антон ⚙️ in rust_offtopic
Nick Linker
Ты конечно права, но есть неотъемлемый объём работы, который ты должна будешь делать в ATS, и который не нужно делать скажем в Хаскеле - я о доказательствах. Написание доказательств мне напоминает написание программ на динамическом языке с причудливым синтаксисом и без возможности отладки. То есть некий текст, который надо написать правильно для сигнатуры каждой функции, причём вход не всегда понятен, а выходом является сообщение об ошибке.
В Idris вроде довольно хорошая поддержка доказательств
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
плохо то, что отрываетесь от реальности
Как отрываемся?
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Как отрываемся?
ну нет, на 237 круг не пойду, надоело
источник

G

Gymmasssorla in rust_offtopic
Антон ⚙️
В Idris вроде довольно хорошая поддержка доказательств
Много ручной работы всё равно
источник

G

Gymmasssorla in rust_offtopic
КМК, можно было бы автоматизировать
источник

G

Gymmasssorla in rust_offtopic
Ctrl+Alt+S по-факту только с простейшими случаями работает
источник

G

Gymmasssorla in rust_offtopic
Можно было бы хотя бы часто встречающиеся случаи покрыть, попробовать доказать дистрибутивность операции, инволюцию, инъекцию, попробовать скомбинировать это
источник

СД

Стас Донцов... in rust_offtopic
Alex Zhukovsky
я думаю лет через 15 плюсы ждет судьба кобола
а раст будет все еще не готов, ага
источник

G

Gymmasssorla in rust_offtopic
Стас Донцов
а раст будет все еще не готов, ага
Rust уже готов
источник

СД

Стас Донцов... in rust_offtopic
а кстати, в чем фишка hkt?
источник

G

Gymmasssorla in rust_offtopic
Стас Донцов
а кстати, в чем фишка hkt?
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Указание типа через :: там странное
единственное что в нём плохо хз
источник