Телеграмм чат группы haskellru страница 15891

Возможно, дурацкий вопрос, но можно ли как-нибудь положить thunk в переменную и периодически копировать и вычислять копии, чтобы оригинал оставался невычисленным?

источник

20:31пожаловаться #11

Kirill Valyavin in Haskell

А, точно, завернуть в функцию же

источник

20:33пожаловаться #12

кана in Haskell

сделать функцию вместо занка, да

источник

20:33пожаловаться #13

кана in Haskell

можно для гарантии сделать функцию от числа

источник

20:33пожаловаться #14

кана in Haskell

хотя не понятно как этим пользоваться тогда, но вроде бы все равно есть шанс что при функции оно сохранится, если значение куда-нибудь лифтанется

источник

20:34пожаловаться #15

I O in Haskell

Kirill Valyavin

А, точно, завернуть в функцию же

Просто сделать функцию почти наверняка не хватит, ghc просто сделает float-out и санк опять появится. Например такое

foo :: () -> [Int]
foo () = [1..1000]

скомпилируется в

foo1 :: [Int]
foo1 = eftInt 1# 1000#

foo :: () -> [Int]
foo = \ (ds_d19K :: ()) -> case ds_d19K of { () -> foo1 }

Можно навесить на функцию GHC.Exts.oneShot, тогда такое

foo :: () -> [Int]
foo = oneShot \() -> [1..1000]

скомпилируется в

foo :: () -> [Int]
foo = \ (v_B2 :: ()) -> case v_B2 of { () -> eftInt 1# 1000# }

Можно еще в принципе сделать -fno-full-laziness, но это действует как минимум на весь модуль, так что не советую.

источник

20:53пожаловаться #16

Kirill Valyavin in Haskell

Полиморфную может?

источник

20:53пожаловаться #17

Kirill Valyavin in Haskell

Ах да, есть же ещё oneShot

источник

20:54пожаловаться #18

I O in Haskell

Kirill Valyavin

Полиморфную может?

Всм такое?

foo :: a -> [Int]
foo _ = [1..1000]

Может, будет все то же самое

foo1 :: [Int]
foo1 = eftInt 1# 1000#

foo :: forall a. a -> [Int]
foo = \ (@ a_aPR) _ -> foo1

источник

20:57пожаловаться #19

Kirill Valyavin in Haskell

foo x = seq x [1..1000]
а так?

источник

20:58пожаловаться #20