Cuno
Я бы скорее сказал: "Как в хаскеле, только чуть хуже"
でゲソ
Хаскель про функциональное программирование
Danila Matveev
у меня дежавю
Danila Matveev
а не, другой чат
Cuno
Хаскель про функциональное программирование
Трейты благополучно "позаимствованы" из хаскеля.
Danila Matveev
фп ортогонально ооп, и одно не исключает другое
でゲソ
Я просто щас задумался, что есть в хаскеле чего нет в расте.
でゲソ
Замыкания?
Sherzod
в расте есть же
Danila Matveev
hkt
Danila Matveev
нормальный вывод типов
Sherzod
hkt
это было очевидно
でゲソ
в расте есть же
Покажи пример
kitsu
Покажи пример
https://doc.rust-lang.org/book/first-edition/closures.html
kitsu
сайд-эффекты наверно более явно выражены в хускелле
kitsu
а, ну и не уверен, что в расте есть curry/uncurry
でゲソ
https://doc.rust-lang.org/book/first-edition/closures.html
Неанонимные лямбды короче
でゲソ
а, ну и не уверен, что в расте есть curry/uncurry
Я слабо понимаю кому вообще может понадобиться карирование
Cuno
Неанонимные лямбды короче
неанонимные анонимные функции?
Berkus
неанонимные анонимные функции?
анонимные неанонимные!
でゲソ
Прям чисто фп не
Berkus
а также добро пожаловать в Functions Anonymous
Mike
Прям чисто фп не
Ну тогда тебе придется поверить, что карирование нужно для композиций
Mike
Ну как нужно, можно и самому обертывать каждый раз
Berkus
Ну тогда тебе придется поверить, что карирование нужно для композиций
только если у твоей функции может быть только 1 аргумент кек
でゲソ
Ну тогда тебе придется поверить, что карирование нужно для композиций
>поверить Не желаете поговорите о господе боге нашем Иисусе Христе
Mike
>поверить Не желаете поговорите о господе боге нашем Иисусе Христе
ну если ты не писал особо то кроме веры ничего и не остается)
vladislav
http://eax.me/cpp-will-never-die/
Cuno
там такая себе критика
Cuno
баянистая статья, кстати
vladislav
да вроде всё по делу, кроме "нету нормальной IDE"
Cuno
Там очень много не по делу
vladislav
например?
Cuno
взять хотя бы ссылку на benchmarks game
Cuno
в которой теперь раст между С и С++
Cuno
(конечно, 2 года прошло, но все же)
պլհկ
Cuno
сравнение динамических анализаторов С++ (санитайзеры) с бороу-чеккером - фейл
Vladimir
Ну и вообще этот сайт говно, посмотреть достаточно на сорцы других языков
Vladimir
Там бенчи с++ /с юзают либы для распараллеливания, а для раста крейты юзать незя
vladislav
А я и не обратил внимания, что статья 2-х летней давности
vladislav
бенчи не очень актуальны, да
Маjко
сравнение динамических анализаторов С++ (санитайзеры) с бороу-чеккером - фейл
Санитайзеры == эвристики. Борроу-чекер == доказательство теорем и куча теории
Маjко
eao очень субъективен и зачастую несет пургу.
Anonymous
https://www.linux.org.ru/forum/development/11513142 лол
Vladimir
Предъявы про смартпоинтер тоже не понял
Anonymous
>нет перегрузки операторов
Anonymous
че
Vladimir
Её тогда вроде не было
vladislav
комменты интересные, впрочем
Anonymous
а, это 2015
Anonymous
тогда вообще не вижу смысла это читать
Vladimir
Я кстати не понял что его с семантикой не устраивает
Vladimir
Референс вроде был в то время
Vladimir
А вот мемориал модель, даже в с++ нету, на сколько я понимаю
Vladimir
И связано это с безопасностью - едвали
Vladimir
И странно что он считает генерацию кода связанной с доказательством корректности логики. Последней кстати в расте нет
kitsu
в хаскеле ведь их нет
монады, речь про них а у рустича подобного обособления и нет
Мерль
http://eax.me/cpp-will-never-die/
Статья 2015 года, и вообще eax почти евангелист си-плюшечки
vladislav
Да, не обратил внимаие на дату публикации
Anonymous
хаскель просто имет возможность обрабатывать сайд эффекты чистыми функциями
adam
в хаскеле ведь их нет
Если бы в языке не было сайд эффектов, то в нем не было бы и и/о
vladislav
А как там дела у раста в servo? И новые версии фаерфокса на servo же? Я давно перестал этим интересоваться.
adam
Основная квота хаскелля, даже не знающие языка это могут знать
vladislav
Не, там пока только css движок впилили
то есть servo сейчас всё ещё только разрабатывается и в конечном продукте не применяется?
vladislav
так сколько его пилят уже
Anonymous
как будто сделать движок это так просто
Filipp
его по кусочкам переносят в найтли фф
vladislav
как будто сделать движок это так просто
ну, так и времени уже порядком прошло
Anonymous
как видишь недостаточно