core.logic VS racket

It's also available in Clojure: https://github.com/clojure/core.logic

If you want to write one yourself, it's pretty easy: https://www.youtube.com/watch?v=y1bVJOAfhKY

Something like Clojure's core.logic would be pretty nice too. As I understand it, this is one of those features that has been re-invented time and again in the Lisp world over the years. Although the CL standard is already fairly large, it would probably be a bit controversial to make that a required part of a CL implementation. Still, it would be cool to have the option of using dependent types in the macro system to generate formerly verified Lisp code at compile time.

It also has core.logic which is minikanren. There are other logic programming options as well. Some libraries like core.typed use core.logic for the type checker.

You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/c...

I swear I'd bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover: https://mitpress.mit.edu/books/little-prover

related:

https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim...

Racket—the Language-Oriented Programming Language—version 8.12 is now available from https://racket-lang.org

See https://racket.discourse.group/t/racket-v8-12-is-now-availab... for the release announcement and highlights.

Thank you to the many people who contributed to this release!

Feedback Welcome

Racket version 8.11.1 is now available from https://racket-lang.org/

Racket (https://racket-lang.org) has an IDE (DrRacket) which isn't EMACS. ARC (which powers hacker news) is (was?) written in Racket.

Nice! Repeating a comment I just made on HN: I signed up for RacketCon, will be joining remotely. I am looking forward to it a lot. Usually I use the Racket language perhaps for 10% of my personal projects, but I am currently writing a Racket AI book, so all things Racket are of current interest. Past RacketCons have been a lot of fun. I usually use Common Lisp, but Racket is batteries included Scheme, and more, and is a very pleasant language and ecosystem. Just in case you don’t have Racket installed: https://racket-lang.org/

I signed up for RacketCon, joining remotely. I am looking forward to it a lot. Usually I use the Racket language perhaps for 10% of my personal projects, but I am currently writing a Racket AI book, so all things Racket are of current interest.

Past RacketCons have been a lot of fun.

I usually use Common Lisp, but Racket is batteries included Scheme, and more, and is a very pleasant language and ecosystem. Just in case you don’t have Racket installed: https://racket-lang.org/

I'd suggest Racket (https://racket-lang.org) which is a batteries-included language environment that includes scheme and has a lot of high-quality documentation.

Guile (https://www.gnu.org/software/guile/) isn't quite as learner-focused but is another great choice.

How did I get to the bottom of the page and not ONE person has recommended racket?

The Racket fork of CS supports Apple Silicon natively, and can be installed independently: https://github.com/racket/racket/blob/master/racket/src/ChezScheme/BUILDING Chez adds a few features (threads, ffi, ...) to R6RS; there is a useful combined index to TSPL4 and the CS User Guide at http://cisco.github.io/ChezScheme/csug9.5/csug_1.html

If you're using SICP in Scheme (or are you doing the JS version?) then you may want to look at How to Design Programs. It uses Racket which is a Scheme descendent so much of the language you've learned in SICP will work in it without issue. It also has a pretty good set of GUI and drawing capabilities you can find through the Racket docs page and will use some of with HTDP.