Haskell - Timing-Out-Berechnungen in der Rand-Monade

Question

Ich möchte zufällige Berechnungen in Haskell mit einem Timeout unter Verwendung der Control.Monad.Random-Bibliothek auswerten. Die folgenden funktioniert gut:

ghci> import System.Timeout 
ghci> import Control.Monad.Random 
ghci> timeout 1000 . evalRandIO $ getRandomR (True, False) 
Just True 

Doch dieser Ansatz scheint nicht zu funktionieren, wenn wir eine Berechnung des Typs Rand StdGen a haben, die nie (das heißt auswertet nach unten) endet. Zum Beispiel:

ghci> let f = f :: Rand StdGen Bool 
ghci> timeout 1000 $ evalRandIO f 
Just 

Hier GHCI druckt "Just" und dann auf unbestimmte Zeit hängt, versucht f zu bewerten. Kann jemand, der mehr über die Haskell-Laufzeit weiß als ich, erklären, warum dies geschieht und wie man es umgehen kann? Meine Vermutung ist, dass der Ausdruck evalRandIO f zu WHNF ausgewertet wird und so timeout 10 denkt, dass die Berechnung beendet wird, aber ich habe wirklich keine Ahnung.

Answer 1

Dies könnte mehr Sinn machen, wenn Sie so etwas wie

> Just x <- timeout 1000 $ evalRandIO f 
> :t x 
x :: Bool 
> x 
Interrupted. 

Die Berechnung selbst ist abgeschlossen, es WHNF ist nämlich zu tun waren erreicht, fangen sie timeout so nicht. Die timeout 1000-Funktion selbst wird vervollständigt und gibt Just undefined zurück. Ein Beispiel, wo Sie timeout bekommen wäre eine Boden Auswertung zu fangen

> import Control.DeepSeq 
> :set +m -- Multiline mode 
> let f :: Bool 
|  f = f 
| 
> timeout 1000000 $ deepseq f (return f) 
Nothing 

Sie werden sehen, dass es für eine Sekunde hängt, dann kehrt Nothing wenn deepseq nicht f so nicht beendet Auswertung es return f durchführen kann.

Also ja, Ihr Problem stammt aus der Tatsache, dass f = f zu WHNF statt NF ausgewertet wird. Um NF zu erzwingen, müssen Sie etwas wie deepseq verwenden. Ein anderes möglicherweise einfacheres Beispiel wäre, einfach den Operator $! zu verwenden, wie zum Beispiel:

> let f :: Rand StdGen Bool 
|  f = f 
| 
> timeout 1000000 $ evalRandIO $! f 
Nothing