YS
т.к. будут ссылать на другие кложуры
Size: a a a
2021 January 03
YS
(поправьте меня если не так)
к
каррируется тут не применение функции, а сама функция, то есть + каррирован
-- не каррированная функция
plus1 :: (Int, Int) -> Int
plus1 (a, b) = a + b
-- каррированная
plus2 :: Int -> Int -> Int
plus2 = \a -> \b -> a + b
-- или
plus2 a b = a + b
а ((+) 1) это просто применение аргумента, ничего о каррированности тут нет
curry plus 1
вот тут есть каррированние
plus1 :: (Int, Int) -> Int
plus1 (a, b) = a + b
-- каррированная
plus2 :: Int -> Int -> Int
plus2 = \a -> \b -> a + b
-- или
plus2 a b = a + b
а ((+) 1) это просто применение аргумента, ничего о каррированности тут нет
curry plus 1
вот тут есть каррированние
YS
Сергей наверное перепутал
С
видимо да
С
но тогда почему частично примененная функция это каф а лямбда не каф
YS
наверное, потому что лямбда возвращает функцию, в теле которой тоже кложура
YS
блин, пора знатокам подключиться, а то я тут наговорю всякого(
С
а когда Вершилов вернется ?
YS
"А Саша выйдет?" (с)
YS
(не знаю)
YS
можно попробовать сравнить стг
x -> x + 1 и (+1)YS
и может будет чего видно
YS
module Main where
foo :: Int -> Int
foo = \x -> x + 1
main :: IO ()
main = print (foo 1)
-- незначимые части стг
--
Main.foo :: GHC.Types.Int -> GHC.Types.Int
[GblId, Arity=1, Unf=OtherCon []] =
\r [x_sS1]
let {
sat_sS2 [Occ=Once] :: GHC.Types.Int
[LclId] =
CCCS GHC.Types.I#! [1#];
} in GHC.Num.+ GHC.Num.$fNumInt x_sS1 sat_sS2;
sat_sS5 :: GHC.Types.Int
[LclId] =
\u []
let {
sat_sS4 [Occ=Once] :: GHC.Types.Int
[LclId] =
CCCS GHC.Types.I#! [1#]; } in
let {
sat_sS3 [Occ=Once] :: GHC.Types.Int
[LclId] =
CCCS GHC.Types.I#! [1#];
} in GHC.Num.+ GHC.Num.$fNumInt sat_sS3 sat_sS4;
Main.main :: GHC.Types.IO ()
[GblId] =
\u [] System.IO.print GHC.Show.$fShowInt sat_sS5;
:Main.main :: GHC.Types.IO ()
[GblId] =
\u [] GHC.TopHandler.runMainIO Main.main;
YS
module Main where
foo :: Int -> Int
foo = (+1)
main :: IO ()
main = print (foo 1)
-- незначимые части стг
--
ds_rRn :: GHC.Types.Int
[GblId, Caf=NoCafRefs, Unf=OtherCon []] =
CCS_DONT_CARE GHC.Types.I#! [1#];
Main.foo :: GHC.Types.Int -> GHC.Types.Int
[GblId, Arity=1, Unf=OtherCon []] =
\r [ds1_sS3] GHC.Num.+ GHC.Num.$fNumInt ds1_sS3 ds_rRn;
sat_sS5 :: GHC.Types.Int
[LclId] =
\u []
let {
sat_sS4 [Occ=Once] :: GHC.Types.Int
[LclId] =
CCCS GHC.Types.I#! [1#];
} in GHC.Num.+ GHC.Num.$fNumInt sat_sS4 ds_rRn;
Main.main :: GHC.Types.IO ()
[GblId] =
\u [] System.IO.print GHC.Show.$fShowInt sat_sS5;
:Main.main :: GHC.Types.IO ()
[GblId] =
\u [] GHC.TopHandler.runMainIO Main.main;
YS
тут видно, что
(+1) во втором случае вынесена в топ-левелYS
хотя, стоп...
YS
тут кажется
1 вынесен в топ-левел)YS
а в первом случае он постоянно аллоцируется при вызове
YS
насколько я понял