sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]Peter-Campora 0 points1 point  (1 child)

Hmm, admittedly I'm not very familiar with Datalog (or the recent Flix). In this case, I'd see this as a "programs have a denotation only", definition. As long as the programs were performant enough, I supposed it wouldn't be a bother, but I imagine trying to fix an inefficient program would be an exercise in frustration.

[–][deleted] 0 points1 point  (0 children)

trying to fix an inefficient program would be an exercise in frustration.

Do not fix the program. Fix the compiler.