92

Lisp in the Rust Type System

[deleted]
4 hours 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.

43 minutes agoCupricTea

This is impressive! I'm supposed to do work today, but now I just want to play with this thing

2 hours agobigfishrunning

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

5 hours agoElenaDaibunny

did you generate this comment?

3 hours agolgrapenthin

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...

2 hours agobigfishrunning

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.

an hour agoSpaceNugget

[dead]