Most macros I write are `def-foo' (declarative) or `with-foo' (setup then tidying). This gives predictable semantics: important with macros.
miniblog.
Related Posts
An optimistic take on neural networks for programming: https://medium.com/@karpathy/software-2-0-a64152b37c35
It makes some good points about predictable runtime performance, ability to trade CPU for accuracy, and the ease of hardware acceleration.
Yes, highly optimising compilers can be less predictable. But given the choice between two compilers, where one is easier to reason about but the other produces faster overall code, I'd pick the latter every time.
Linear types make performance more predictable https://blog.tweag.io/posts/2017-03-13-linear-types.html (exploring linear types in Haskell)