AP
Один большой энв и локалы местные обычно. Плюс линзы для добывания подконфигов
А на сколько сильно каррирование оптимизируется в хаскеле?
Я просто сейчас реализую каррирование на C# и там страх сколько лямбд добавляется
Size: a a a
2021 May 27
IO
Если вызов известной функции, типа
Если вызов неизвестной, типа
В коре/стг можно явно увидеть сколько у функции будет аргументов, например
f :: Int -> Int -> Int -> Intто вообще никакого оверхеда - кладем 1, 2, 3 в регистры и goto f.
f a b = \c -> a + b + c
{-# NOINLINE f #-}
g :: Int
g = f 1 2 3
Если вызов неизвестной, типа
run f a b c = f a b cесть какой-то оверхед, нужно проверить сколько у
f аргументов, если 3 - просто вызвать, если больше - сделать partial application, если меньше - дать сколько надо, потом вызвать результат с оставшимися.В коре/стг можно явно увидеть сколько у функции будет аргументов, например
run
:: forall t1 t2 t3 t4.
(t1 -> t2 -> t3 -> t4) -> t1 -> t2 -> t3 -> t4
[GblId,
Arity=4, <------
Caf=NoCafRefs,
Str=<C(C(C(S))),1*C1(C1(C1(U)))><L,U><L,U><L,U>,
Unf=OtherCon []] =
\r [f_s2tF a_s2tG b_s2tH c_s2tI] f_s2tF a_s2tG b_s2tH c_s2tI;
JS
можно легко, если отказаться от mtl
[
а стоит от него отказываться?
JS
обычно не стоит, asks достаточно
[
Кстати, я тут слышал, что есть алгебраические эффекты и что они мощнее монадок. Ещё слышал что фри монады это и есть алгебраические эффекты.
Что из этого правда и что вообще такое эти ваши алгебраические эффекты?
Что из этого правда и что вообще такое эти ваши алгебраические эффекты?
MK
не стоит вскрывать эту тему, вы молодые, шутливые...
JS
алгебраические эффекты — эффекты, которые можно складывать и получать новые эффекты
JS
АЭ могут быть мощее IO, но не монадок
[
Это не Чикатило и даже не архивы спецслужб?
JS
есть библиотека freer, которая реализует и монады посвободнее, и одновременно АЭ
YS
Дело не в важности, а в размере)
N
Просто боты хотят чтоб их на хаскеле переписали.
AP
Haskell Foundation хочет написать "ещё одно" руководство по Хаскелю:
https://github.com/haskellfoundation/HaskellSchool
Из необычного: предполагается что там будет на многих языках, в том числе на русском, так что если кто хочет поразмяться или просто перенести инфу из https://github.com/ruHaskell/ruhaskell/wiki ...
И ещё: почему-то решили взять в качестве примера Elixir School (whatever that means).
https://github.com/haskellfoundation/HaskellSchool
Из необычного: предполагается что там будет на многих языках, в том числе на русском, так что если кто хочет поразмяться или просто перенести инфу из https://github.com/ruHaskell/ruhaskell/wiki ...
И ещё: почему-то решили взять в качестве примера Elixir School (whatever that means).
[
а они не хотят задонить на "ещё одну" IDE для хаскеля?
D
Извините, а что стало с прошлой IDE?