deque-blog
deque-blog
/ dsl_arithmetic_4_optimize_example.clj
Last active
January 22, 2017 18:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (print-expr expr) | |
| => "(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))" | |
| (print-expr (optimize expr)) | |
| => "(+ 3 (* 2 y) x)" |
deque-blog
/ dsl_arithmetic_4_partial_eval_example.clj
Created
January 22, 2017 18:35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (print-expr expr) | |
| => "(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))" | |
| (print-expr (partial-eval {"y" 0} expr)) | |
| => "(+ 3 x)" |
deque-blog
/ dsl_arithmetic_4_final_test.clj
Created
January 22, 2017 18:41
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (print-expr (optimize expr)) | |
| => "(+ 3 (* 2 y) x)" | |
| (evaluate {"x" 1 "y" 2} expr) | |
| => 8 | |
| (partial-eval {"x" 1 "y" 2} expr) | |
| => 8 |
deque-blog
/ dsl_arithmetic_5_headers.h
Created
January 26, 2017 22:29
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <boost/algorithm/string/join.hpp> | |
| #include <boost/range/algorithm.hpp> | |
| #include <boost/range/adaptors.hpp> | |
| #include <boost/range/numeric.hpp> | |
| #include <boost/variant.hpp> |
deque-blog
/ dsl_arithmetic_5_expression.h
Last active
January 29, 2017 14:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| using nb = int; | |
| using id = std::string; | |
| struct add_tag {}; | |
| struct mul_tag {}; | |
| template<typename Tag, typename R> | |
| struct op | |
| { | |
| op() = default; |
deque-blog
/ dsl_arithmetic_5_factories.h
Last active
January 29, 2017 14:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| expression cst(int i) { return expression(i); }; | |
| expression var(id id) { return expression(id); }; | |
| expression add(std::vector<expression> const& rands) | |
| { | |
| return expression(add_op<expression>{ rands }); | |
| } | |
| expression mul(std::vector<expression> const& rands) |
deque-blog
/ dsl_arithmetic_5_example_expr.cpp
Last active
January 29, 2017 14:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| expression 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")}) | |
| }); |
deque-blog
/ dsl_arithmetic_5_accessors.h
Last active
January 29, 2017 14:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| template <typename T> | |
| int const* get_as_cst(expression_r<T> const& e) | |
| { | |
| return boost::get<int>(&e); | |
| } | |
| template <typename T> | |
| id const* get_as_var(expression_r<T> const& e) | |
| { | |
| return boost::get<id>(&e); |
deque-blog
/ dsl_arithmetic_5_expression_fixed.h
Last active
January 29, 2017 14:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| struct expression | |
| : boost::recursive_wrapper<expression_r<expression>> | |
| { | |
| using boost::recursive_wrapper<expression_r<expression>>::recursive_wrapper; | |
| }; |
deque-blog
/ dsl_arithmetic_5_functor_instance.h
Last active
January 29, 2017 14:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| template<typename A, typename M> | |
| auto fmap(M map, expression_r<A> const& e) | |
| { | |
| using B = decltype(map(std::declval<A>())); | |
| using Out = expression_r<B>; | |
| if (auto* o = get_as_add(e)) | |
| return Out(add_op<B>(o->rands() | transformed(map))); | |
| if (auto* o = get_as_mul(e)) |