𝛈µ
Юзай быстрые интеджеры
Size: a a a
2020 April 13
G
Юзай быстрые интеджеры
Это какие?
S
вроде и там и там libgmp...
A
кто знает pdf reader чтобы после закрытия программы она сохраняла текущее положение (или хотя бы страницу) и при следующем открытии открывала на том месте? скачала adobe acrobat а он не умеет так
Если линукс то Okular это умеет.
λ
Что-то вообще неубедительно.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
> либо не эффективные
В хаскеле оверхед часто сильно ниже, чем в целом оверхед от ФП в скале
В хаскеле оверхед часто сильно ниже, чем в целом оверхед от ФП в скале
λ
Что-то вообще неубедительно.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
при этом final tagless как система эффектов это лютейшее неюзабельное говнище
p
ФП срач начинается: прямо здесь
DS
при этом final tagless как система эффектов это лютейшее неюзабельное говнище
Ну оно не с самым хорошим UX, зато быстрая и не требует сложной машинерии для реализации.
То есть тот же полисеми без специальных оптимизаций в компиляторе достаточно эффективно не работает.
То есть тот же полисеми без специальных оптимизаций в компиляторе достаточно эффективно не работает.
DS
> либо не эффективные
В хаскеле оверхед часто сильно ниже, чем в целом оверхед от ФП в скале
В хаскеле оверхед часто сильно ниже, чем в целом оверхед от ФП в скале
Ну и да, смотря как писать на скале в ФП стиле
λ
Ну оно не с самым хорошим UX, зато быстрая и не требует сложной машинерии для реализации.
То есть тот же полисеми без специальных оптимизаций в компиляторе достаточно эффективно не работает.
То есть тот же полисеми без специальных оптимизаций в компиляторе достаточно эффективно не работает.
полисеми никогда быстро не заработает, потому что он так сделан
λ
забудь о полисеми
DS
полисеми никогда быстро не заработает, потому что он так сделан
Или я с кем-то путаю
DS
забудь о полисеми
А разве не для него хотели оптимизацию в компилятор просунуть?
λ
там хотели и просунули оптимизацию для фри структур в целом
DS
полисеми никогда быстро не заработает, потому что он так сделан
Ну а какой тогда zero-cost вариант?
DS
Или хотя бы наиболее близкий к нему
DS
На данный момент
λ
нету зирокоста, есть варианты с приемлемой производительностью
λ
так то и мтл совсем не зирокост
DS
так то и мтл совсем не зирокост
По сравнению с альтернативами - он к нему стремится