Size: a a a

2020 March 23

В

Вафель in rust_offtopic
Вафель
Классно....
Даже как-то странно что такой простор для оптимизаций и zero-cost'ности ни разу не вспахан в расте...
источник

В

Вафель in rust_offtopic
Doge Shibu
Есть одна проблема, у тех реализаций, про которые я слышал, время компиляции сильно растёт. (Если про хаскель речь).

Есть ещё вот такая смешная штука: https://anydsl.github.io/
Ну, ожидаймо. Другое дело что от флага компилятора никто бы не пострадал
источник

DS

Doge Shibu in rust_offtopic
Вафель
Даже как-то странно что такой простор для оптимизаций и zero-cost'ности ни разу не вспахан в расте...
Технически очень сложная вещь, её сложно сделать на тех IR'ах, которыми раст оперирует, насколько я понимаю.
источник

DS

Doge Shibu in rust_offtopic
То есть её можно сделать разумными усилиями для лямбда исчисления, но у раста совершенно другая модель вычисления в плане IR.
источник

DS

Doge Shibu in rust_offtopic
А у хаскеля тот же GHC Core - это по сути и есть лямбда исчисление.

Как и тот IR, что юзают в том AnyDSL на который я оставил ссылку.
источник

В

Вафель in rust_offtopic
Понятно, а жаль
источник

RP

Roman Proskuryakov in rust_offtopic
@DogeShibu а это разве не суперкомпиляция?
источник

RP

Roman Proskuryakov in rust_offtopic
как Алекс выше сказал про возведение в 5 степень
источник

DS

Doge Shibu in rust_offtopic
Roman Proskuryakov
@DogeShibu а это разве не суперкомпиляция?
Да, это одно и то же, просто названия разные, насколько я понимаю.
источник

RP

Roman Proskuryakov in rust_offtopic
ок
источник

DS

Doge Shibu in rust_offtopic
Но я не претендую на эксперта по этой теме, я только по верхам статьи читал
источник

RP

Roman Proskuryakov in rust_offtopic
ми ту
источник

p

polunin.ai in rust_offtopic
что здесь есть x в sigma: S x X -> S? Это векторное умножение?
и что такое Д?
источник

AZ

Alex Zhukovsky in rust_offtopic
Стас Донцов
в принципе первая норм: идея видна. Правда возник вопрос про остальные вещи по типу адт, матчинга и прочего: в конце статьи чувствуется, что они как-то помогают ссылочной прозрачности или основной идее, но как они связаны с ней намека не дано, возможно это уже другая статья. Однако, она бы помогла сложить картину мира и возможно эта картина бы складывалась как раз около главной идеи: ссылочной прозрачности... начал вторую, с функтором у меня были проблемы, с третьего раза зашло, я бы поправил, напишу потом как.
адт и паттерн матчинг просто удобные вещи, в расте вон они есть безо всякого фп
источник

p

polunin.ai in rust_offtopic
хотя какое векторное умножение если это множества
источник

DS

Doge Shibu in rust_offtopic
polunin.ai
что здесь есть x в sigma: S x X -> S? Это векторное умножение?
и что такое Д?
Декартово произведение же
источник

AZ

Alex Zhukovsky in rust_offtopic
это тапл умножение
источник

AZ

Alex Zhukovsky in rust_offtopic
единственное умножение на множествах
источник

p

polunin.ai in rust_offtopic
да, чет протупил. тогда не понимаю чем является Д
источник

OA

Oleg Andreev in rust_offtopic
polunin.ai
что здесь есть x в sigma: S x X -> S? Это векторное умножение?
и что такое Д?
Д - это покрытие твоего кода тестами, а SxX - покрытие кода тестами сына маминой подруги
источник