Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/dsl_arithmetic_1_eval_as_partial.hs

Created January 16, 2017 20:26
Show Gist options
  • Save deque-blog/654519ddf0ab16db665c7e7aa11b8899 to your computer and use it in GitHub Desktop.
Save deque-blog/654519ddf0ab16db665c7e7aa11b8899 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dsl_arithmetic_1_eval_as_partial.hs
dependencies :: Expr -> Set.Set Id
dependencies (Var v) = Set.singleton v
dependencies (Op _ xs) = foldl1' Set.union (map dependencies xs)
dependencies e = Set.empty
eval' :: Env -> Expr -> Int
eval' env e =
case optimize (partial env e) of
Cst n -> n
e -> error $ "Missing vars: " ++ show (dependencies e)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment