Interruptable state
Feb. 19th, 2009 08:35 pmПонадобилось мне состояние, вычисление которого можно прервать в любой момент. Комбинатор
Вот как тут описать комбинатор
( Read more... )
guard
не подходит тем, что его просто нет для State
. if/then/else
не устравает, потому что иногда прерывать необходимо в любом месте, например, в одной из вызываемой функции рекурсивной функции:loop = do modify (+1) check loop check = do s <- get if s == 42 then interrupt else return ()
Вот как тут описать комбинатор
interrupt
?