Lisp in the Rust Type System
github.com
Lisp in the Rust Type System
1–10 of 24 posts
Re: Lisp in the Rust Type System
#2[dead]
Re: Lisp in the Rust Type System
#3call/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
Re: Lisp in the Rust Type System
#4[deleted]
Re: Lisp in the Rust Type System
#5call/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?
Re: Lisp in the Rust Type System
#6call/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...
Re: Lisp in the Rust Type System
#7This is impressive! I'm supposed to do work today, but now I just want to play with this thing
Re: Lisp in the Rust Type System
#8Earlier quoted context omitted.
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.
Re: Lisp in the Rust Type System
#9I'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.
Re: Lisp in the Rust Type System
#10Earlier quoted context omitted.
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...
Some people have AI fatigue, I have "this is AI" when nothing says it is fatigue, that and "this is slop!" without looking at it and judging it by the output fatigue.