Lisp in the Rust Type System
github.com92 points by quasigloam 2 days ago
92 points by quasigloam 2 days ago
I'm honestly a bit shocked this was done entirely using declarative macros. Normally when I see such arbitrary syntax I assume it's implemented as a proc macro.
This is impressive! I'm supposed to do work today, but now I just want to play with this thing
call/ec at the type level is the surprising part here, most compile-time Lisp implementations stop at basic eval but escape continuations need real control flow reasoning through trait resolution
did you generate this comment?
Not the parent poster, but I'm curious why you think this? the comment seems reasonable and makes sense, your LLM detector might be more finely tuned then mine...
The sentence structures they use are always the same. Plus, the use of "real" here is "real" awkward and LLMs use it like that all the time.
[dead]