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

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

источник

23:03пожаловаться #5

I O in Haskell

Нет, он ничем не отличается от просто функции кроме одного каста:

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

f1 :: forall a. a -> [Int]
f1 = \ (@ a_aQu) _ -> f_x

f :: forall a. LazyFunc a [Int]
f = f1 `cast` <Co:8>

источник

23:03пожаловаться #6

[

[BRM]White Rabbit in Haskell

🤔

источник

23:04пожаловаться #7

Kir in Haskell

Kirill Valyavin

Если oneShot и NO_INLINE не помогли с

foo = (oneShot \() -> bar ()) ()

bar () = resource

то никак

источник

23:05пожаловаться #8

Kir in Haskell

или bar = oneShot \() -> resource

источник

23:05пожаловаться #9

[

[BRM]White Rabbit in Haskell

хаскель слишком умный для нас, переходим на си

источник

23:06пожаловаться #10

Kir in Haskell

[BRM]White Rabbit

хаскель слишком умный для нас, переходим на си

Не, это просто специальная магия. oneShot отключает некоторые оптимизации

источник

23:07пожаловаться #11

Kir in Haskell

Для general use оно не нужно

источник

23:07пожаловаться #12

Kirill Valyavin in Haskell

Kir

Если oneShot и NO_INLINE не помогли с

foo = (oneShot \() -> bar ()) ()

bar () = resource

то никак

Ну походу с оптимизациями не помогает ничего (

источник

23:07пожаловаться #13

Kirill Valyavin in Haskell

Kir

Для general use оно не нужно

Не текущие кондуиты не general use, значит (

источник

23:08пожаловаться #14

Kir in Haskell

Kirill Valyavin

Ну походу с оптимизациями не помогает ничего (

Пытаетесь unsafePerformIO $ newTVarIO ... завернуть?

Пользователям кондуитов этого делать не надо же

источник

23:08пожаловаться #15

Kirill Valyavin in Haskell

Kir

Пытаетесь unsafePerformIO $ newTVarIO ... завернуть?

Пользователям кондуитов этого делать не надо же

Пользователям кондуитов нужны кондуиты, которые не сидят в памяти из-за шаринга как сычи, а пересчитываются

источник

23:09пожаловаться #16

Kir in Haskell

Kirill Valyavin

Пользователям кондуитов нужны кондуиты, которые не сидят в памяти из-за шаринга как сычи, а пересчитываются

{-# noinline bar #-} пробовали?

источник

23:11пожаловаться #17

Kirill Valyavin in Haskell

Пробовал, пробовал

источник

23:11пожаловаться #18

A64m AL256m qn<co... in Haskell

Kir

Не, это просто специальная магия. oneShot отключает некоторые оптимизации

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

источник

23:14пожаловаться #19

I O in Haskell

Кстати, state-hack это poor man's oneShot:

foo :: State# RealWorld -> [Int]
foo _ = [1..1000]

foo :: State# RealWorld -> [Int]
foo = \ _ -> eftInt 1# 1000#

источник

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