Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/dsl_arithmetic_1_optimize_test.hs

Created January 17, 2017 17:09
Show Gist options
  • Save deque-blog/cf9c405b8c7cbe336810a50d5404ab96 to your computer and use it in GitHub Desktop.
Save deque-blog/cf9c405b8c7cbe336810a50d5404ab96 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dsl_arithmetic_1_optimize_test.hs
> let e = add [ cst(1)
, cst(2)
, mul [cst(0), var("x"), var("y")]
, mul [cst(1), var("y"), cst(2)]
, add [cst(0), var("x") ]]
> prn e
"(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))"
> prn (optimize e)
"(+ 3 (* 2 y) x)"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment