p = problem $ do
x <- newVar
y <- newVar
x >| 0
x <| 10
y >| 0
y <| 10
(x*x + y*y) >| 9
minimize $ x*x - 2*x*y + 4*x + y*y - 4*y + 4 + 7
*Main > last $ take 1000 $ optimize p
(7.000000322085075,array (1,2) [(1,0.8733208989876261),(2,2.872753373591708)])
ня?
Ленивые вычисления + Y-комбинатор с мемоизацией = динамическое программирование (не совсем =)
y lim f = let a = listArray lim $ map g (range lim)
g = f (a!)
in (a!)
fib = y (1, 100) $ \f n -> if (n<=2) then 1 else (f (n-1)) + (f (n-2))
Пусть есть две функции State:
moveUp :: State (Integer, Integer) ()
moveUp = modify (\(x, y) -> (x, y+1))
и
callStupid :: State String ()
callStupid = modify (++ " sucks")
Как теперь реализовать функцию moveUpAndCallStupid :: State FunkyType ()
чтобы руками не разворачивать монады State и не собирать новые?
data FunkyData = Funky {
name :: String,
coordinates :: (Integer, Integer)
}
instance (Num a, Num b) => Num (a->b) where
(+) f1 f2 = \x -> f1 x + f2 x
(-) f1 f2 = \x -> f1 x - f2 x
(*) f1 f2 = \x -> f1 x * f2 x
abs f = \x -> abs $ f x
signum f = \x -> signum $ f x
fromInteger a = \x -> fromIntegral a