[ prog / sol / mona ]

prog


Greenspun's tenth rule

2 2020-12-07 08:57

>>1
A dedicated C-based program will be much faster
in most cases, due better optimizations - however it will take much longer to write.
for example, this minikanren runs inside scheme;
If it was translated to C code parser, and that parser was
run vs a pure Scheme program the C parser will win on performance
and bugs will be caught by static analysis tools if desired.
The scheme program will be transpiled to C code with all the scheme
cruft/overhead since its automated, not hand-written.

https://github.com/webyrd/miniKanren-with-symbolic-constraints/blob/master/mk.scm

7


VIP:

do not edit these