On: Robpike/Lisp: Toy Lisp 1.5 interpreter in Go

[ashtonkem]

I always get the feeling that a lot of languages would be well served by having an APL or prolog implementation added as a library or macro; this would let teams leverage these tools down in the core of their application without having to compromise on how they create APIs.

Closest I’ve seen to this was core.logic in the Clojure community, but it appears to be dead.

[trevyn → ashtonkem]

Rust is working on chalk, which claims to be “Prolog-ish”: https://github.com/rust-lang/chalk/blob/master/README.md

It’s being used in rust-analyzer (the leading language server) today, and is likely to be used in the compiler in the future. Not really intended to be general-purpose, but an interesting datapoint. And could evolve to be more general, knowing the Rust community.

[dunefox → ashtonkem]

Something like this? http://shenlanguage.org/

The idea seems pretty damn intriguing.

[fulafel → ashtonkem]

Datalog is very much alive in Clojure, there are many implementations and you pick between in-memory and disk based ones.