declarative_programming
PUBLIC过程式和声明式的范式对比，出现在很多地方，这里罗列一些。
| declarative | imperative |
|---|---|
| Lisp | C |
| TensorFlow | PyTorth |
| Nix | Apt/Pacman |
| SQL | ORM |
| CMake/Makefile | build.sh |
| Halide | OpenMP/thread pool |
| Symbolic Diff (symforce) | Automatic Diff (JAX/Jet) |
| DP for loop | DP recursive with cache (used in transformer inference) |
| Eigen Lazy Evaluation | OpenBLAS |