как лень победить?

[lomeo]

Не очень понимаю, как сделать некоторые вычисления eager. Кто знает, подскажите.
Допустим у меня есть простой шелл - State с одной целой переменной. В шелле поддерживается две команды

• r - прочесть целое значение
• w - вывести целое значение

Вот код:

Comments

[9000]

Вроде есть оператор "!", заставляющий вычислить выражение сейчас же?

[lomeo]

этот тип так аннотируется, мол, при создании конструктором значения, этот параметр будет вычисляться форсированно.

[thesz]

*Main> :t ($)
($) :: (a -> b) -> a -> b
*Main> :t ($!)
($!) :: (a -> b) -> a -> b
*Main> ($!) id (error "aaa")
*** Exception: aaa
*Main> ($) id (error "aaa")
*** Exception: aaa
*Main> ($) (const 10) (error "aaa")
10
*Main> ($!) (const 10) (error "aaa")
*** Exception: aaa
*Main>

Что надо сменить:

cmdRead :: String -> TestShell
cmdRead x =
do let i = read x
put $! i
return ()

f $! x = форсировать x и вычислить (f x).

[lomeo]

Спасибо! Я про $! знал, но что то не получалось. Уж куда я его только не прикладывал. В реальной программе, разумеется, сложный тип, а не Int, пришлось еще в самом типе ставить в одном месте $!, и еще в одном !. Но зато заработало!

а еще..

[igor_ozerov]

а еще вроде как есть функция strict

Re: а еще..

[lomeo]

где?