3 ms·
Interesting! I've been thinking about a fully declarative language (logic-based like datalog/prolog or functional) with an orthogonal optimization layer. This
by tracnar 7y ago
Interesting!
I've been thinking about a fully declarative language (logic-based like datalog/prolog or functional) with an orthogonal optimization layer. This seems to go in that direction, but still based on an imperative base and focused on parallelism. Are there other languages doing this logic/optimization split?
- eslaught 7y agoHere's a free idea for anyone who's interested: I want to see a CSS for program optimization. You label your code with whatever semantics labels you want. By default they do nothing, but you can load "code profiles" to instruct the compiler how to optimize the code based on whatever machine/application specific properties you care about. This way you can add optimization hints to the code without littering them throughout the code base.
- all2 7y agoTake a look at Halide, a DSL for graphics / matrix calculations.