Lisp in the Rust Type System

https://github.com/playX18/lisp-in-types/

by quasigloam • 1 month ago

116 19 1 month ago

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

lgrapenthin2• 1 month ago

did you generate this comment?

bigfishrunning5• 1 month ago

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

bigfishrunning5• 1 month ago

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

CupricTea• 1 month 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.

saghm• 1 month ago

I was surprised but pleased to see this was a declarative macro rather than a proc macro. While proc macros are more powerful, there's a surprising amount of expressive power in the declarative ones, and I'm fond of playing around with them to figure out how to stretch them beyond where it seems like they should be able to get (and maybe shouldn't be used for in real code, but that doesn't make it less fun for playing around!)

quasigloam• 30 days ago

(Self plug) There’s also a lisp in the decl macro system directly: https://github.com/RyanWelly/lisp-in-rs-macros

wuschel• 1 month ago

That is incredible, but I must ask: Beside really getting to know Rust's trait and type system, and besides experimental / educational tinkering, could this have any practical use case?

mtlmtlmtlmtl• 1 month ago

If this could somehow be used to implement proc macros in lisp instead of rust, I'd be very interested in exploring real use cases. But from my limited understanding of how it works, it seems not.

Lisp in the Rust Type System

Related Stories