ante VS riju

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.

Thanks for linking this. This is actually a superior offering to replit. They recently removed the ability to access a simple repl without logging in. Now you a) have to login and b) have to deal with this obtuse IDE-in-a-browser project creation shit. It's so many extra steps before I can run code.

I just want a URL in which I can run some code. https://riju.codes/ is literally that. Thanks!

An option is to do what I've done with my lang, Claro, getting the compiler and/or REPL hosted online on Riju. The maintainer is a very helpful guy that gave thorough docs you can follow for getting your language added. Check out https://riju.codes for the top level thing, and check out https://riju.codes/claro for an example what it looks like for a side project language to run there. Only issue there is you shouldn't expect regular redeploys as you continue working on the language. I just ask nicely every 3 or 4 months when I have some big change I'd like represented there and he redeploys.

There's the source code for such a site, if that would help: https://github.com/radian-software/riju

Docker + heavily restricted user + firewalls.. seems to get you much of the way there. I am aware that some work was done back in the pre-Docker day with Ruby's online sandbox to neuter Ruby's ability to make certain syscalls, but I imagine Docker, eBPF, or even using WebAssembly makes it a lot easier now.

Might as well link to an open source alternative: https://riju.codes/

Fun fact: Whenever I want to remember the name of this project, I just head over to https://HN.algolia.com and find out on the front page thanks to one of the most upvoted HN posts of all time, "Replit used legal threats to kill my open-source project": https://news.ycombinator.com/item?id=27424195

You should check out https://riju.codes it's really not that hard to get any old language running there :). It's a couple config files. I managed to get my language hosted there and the maintainer was really helpful in the process https://riju.codes/claro

Same here. However it did point me in the direction of the ex-interns awesome project which I used very often for technical interviews: https://riju.codes/

Faz fork do https://riju.codes (https://github.com/raxod502/riju) e implementa suporte pra matlab.

I miss the old repl.it, so I use https://riju.codes.