Есть ещё безумный вариант попробовать написать свой noInline на STG

ну че-то анлифтнутого типа-то ему нельзя будет наверх уносить!

Вообще noSharing :: a -> a звучит как что-то что можно сделать на кор плагине, надо будет попробовать

foo a = [1.. seq a 1000] - так не заработает?

Не, гхц слишком умный, такой фигней его не обмануть.

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

foo :: forall a. a -> [Int]
foo
  = \ (@ a_aPX) (a1_aPO :: a_aPX) ->
      case a1_aPO of { __DEFAULT -> foo1 }

Вот так сработает

foo :: a -> [Int]
foo a = noinline enumFromTo 1 (seq a 1000)

Не зная ничего об enumFromTo (из-за noinline) гхц ничего сделать не сможет, seq не вынесет

foo :: a -> [Int]
foo a = noinline enumFromTo 1 (seq a 1000)

В ghc-8.8.2 в GHC.Exts никакого noinline нету. А вот в пакете base-4.15.0.0 - есть. Это под какую версию компилятора-то?

GHC.Magic

Спасибо

foo :: a -> [Int]
foo a = noinline enumFromTo 1 (seq a 1000)

Что я делаю не так?

import Debug.Trace

import GHC.Magic (noinline)

ping :: Show a => a -> Int
ping x = traceShow ("ping", x) 42

bar :: () -> Int
bar () = noinline ping ()

main = do
  print $ bar ()
  print $ bar ()

ghc -O1 выводит "ping" 1 раз, ghc -O0 - 2 раза

import Debug.Trace

import GHC.Magic (noinline)

ping :: Show a => a -> Int
ping x = traceShow ("ping", x) 42

bar :: () -> Int
bar () = noinline ping ()

main = do
  print $ bar ()
  print $ bar ()

предыдущий пример работает из-за того что ноинлайн для enumFromTo

А мой почему не работает-то?

Я тоже хочу так уметь

а если написать ф-ю которая применит пинг к () и ноинлайн для этой функции написать

Не помогает. noinline f x  действует только в этом виде?

нет

Всё ещё не-а (

foo :: () -> Int
foo = ping

bar = noinline foo

так чтоб вынести фуу не надо знать че внутри

Во-первых, на main обязательно нужен -fno-cse, или разные аргументы для bar, иначе ghc сделает

let x = bar (); y = print x in y >> y

Во-вторых, нужно что-то типа такого:

ping :: forall a. Show a => a -> Int
ping x = traceShow ("ping", x) 42

{-# NOINLINE bar #-}
bar :: a -> Int
bar a = noinline ping (a `seq` ())

Само по себе noinline здесь не помогает, суть в том, что из-за него ghc не знает, будет ли вычислен аргумент ping, поэтому не может вынести seq a вперед и убрать зависимось ping от аргумента, поэтому и не выносит