p
Еще бы определиться, что считать фп
+
Size: a a a
2020 February 22
λ
ну к примеру в хаскеле все типы данных ссылочные + еще сверху припдрено лейзи
Не все, но это дефолт
B
ну там есть boxed tuples для сырых типов (или как оно называется) но их почти не юзают
r
Насколько я понял, используемый сейчас алгоритм для fusion (short cut deforestation) - это приближение для невычислимой функции. То есть, подгонять исходники, чтобы они оптимизировались иногда приходится?
A
ну там есть boxed tuples для сырых типов (или как оно называется) но их почти не юзают
Почему не используют?
B
т.е. все завязано на то что любое значение содержит сслку на само зхначение, или на лейзи код который его развернет
B
а дальше просят компилятор сделать быстро)
λ
ну там есть boxed tuples для сырых типов (или как оно называется) но их почти не юзают
Unboxed tuples. А ещё есть анбоксед, анлифтед и т.д. типы
A
т.е. все завязано на то что любое значение содержит сслку на само зхначение, или на лейзи код который его развернет
Для структур есть даже расширение, которое делает их строгими. И компилятор дальше это еще и оптимизирует.
λ
red75prime
Насколько я понял, используемый сейчас алгоритм для fusion (short cut deforestation) - это приближение для невычислимой функции. То есть, подгонять исходники, чтобы они оптимизировались иногда приходится?
Магии не бывает
а
осталось создать FP язык с зирокост абстракциями и без аллокаций лишних)
О, я как раз пишу модификацию Haskell со стекаллоком и борровчекером :-)
B
О, я как раз пишу модификацию Haskell со стекаллоком и борровчекером :-)
Жостка)
DF
О, я как раз пишу модификацию Haskell со стекаллоком и борровчекером :-)
В одиночку?
а
Dollar Føølish
В одиночку?
Да это так, эксперимент. Ничего серьёзного не будет
DF
Да это так, эксперимент. Ничего серьёзного не будет
На расте?
а
Dollar Føølish
На расте?
На хаскеле
DF
А, норм
а
Правда я пока что не осилила парсер комбинаторы, так что процесс идёт медленно хаха