REPL'yi CPS işleviyle nasıl kullanabilirim?

Question

Yalnızca wreq ürününün withSession :: (Session -> IO a) -> IO a ürününü kullanıyorum. Devam çizgisini çizgisel olarak değerlendirmek istiyorum, ancak bunun için herhangi bir yol bulamıyorum. Yukarıdaki pasajda

import Network.Wreq.Session as S 
withSession $ \sess -> do 
    res <- S.getWith opts sess "http://stackoverflow.com/questions" 
    -- print res 
    -- .. other things 

nasıl GHCi içinde print res değerlendirebiliriz? Başka bir deyişle, ghci'de Session türünü alabilir miyim?

Answer 1

Harika bir soru.

GHCi REPL'ye yeniden girebilecek hiçbir yöntemden haberdar değilim, böylece bunu CPS işlevlerinde kullanabiliriz. Belki başkaları bir şekilde önerebilir. Bununla birlikte, bir kesmek önerebilirim. Temel olarak, bu durumda olduğu gibi IO monadına dayanıyorsa, CPS'yi tersine çevirmek için eşzamanlılıktan yararlanabilir. İşte

beygir:

data CPSControl b = CPSControl (MVar()) (MVar b) 

startDebugCps :: ((a -> IO()) -> IO b) -> IO (a, CPSControl b) 
startDebugCps cps = do 
    cpsVal <- newEmptyMVar 
    retVal <- newEmptyMVar 
    stop <- newEmptyMVar 
    _ <- forkIO $ do 
     x <- cps $ \c -> putMVar cpsVal c >> takeMVar stop 
     putMVar retVal x 
    s <- takeMVar cpsVal 
    return (s, CPSControl stop retVal) 

stopDebugCps :: CPSControl b -> IO b 
stopDebugCps (CPSControl stop retVal) = do 
    putMVar stop() 
    takeMVar retVal 

testCps :: (String -> IO()) -> IO String 
testCps act = do 
    putStrLn "testCps: begin" 
    act "here's some string!" 
    putStrLn "testCps: end" 
    return "some return value" 

hızlı bir test:

> (x, ctrl) <- startDebugCps testCps 
testCps: begin 
> x 
"here's some string!" 
> stopDebugCps ctrl 
testCps: end 
"some return value"