ante VS racket

Have you had a look at Ante? It looks a lot like a Rust 2.0 with better ergonomics. There are a lot of interesting ideas.

Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.

In my experience, people believe that programming languages are a solved space, and we should stick with what we have.

It's unfortunate; because languages are very polarized today. I think there's a lot of room for languages that are safe, fast, and most importantly, *easy.* Today's languages are generally two out of three.

Luckily, a lot of languages are exploring that space!

* Vale is blending generational references with regions, to have memory-safe single ownership without garbage collection or a borrow checker. [0]

* Cone is adding a borrow checker on top of GC, RC, single ownership, and even custom user allocators. [1]

* Lobster found a way to add borrow-checker-like static analysis to reference counting. [2]

* HVM is using borrowing and cloning under the hood to make pure functional programming ridiculously fast. [3]

* Ante is using lifetime inference and algebraic effects to make programs faster and more flexible. [4]

* D is adding a borrow checker!

[0] https://verdagon.dev/blog/zero-cost-refs-regions

[1] https://cone.jondgoodwin.com/

[2] https://www.strlen.com/lobster/

[3] https://github.com/Kindelia/HVM

[4] https://antelang.org/

[Ante](https://antelang.org/): lifetime inference, refinement types, algebraic effects.

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.