foth VS language-incubator

I hacked up a simple forth-like system in golang, by following the overview posted in this hackernews comment-chain:

https://news.ycombinator.com/item?id=13082825

The result is here:

https://github.com/skx/foth

It's not real, but it was a pretty fun experiment regardless.

Here's one of the many forks that brings it up to 64-bit:

https://github.com/matematikaadit/jombloforth

If you like forth there's an awesome series of comments here on hacker news on building a simple variant in a few simple steps:

https://news.ycombinator.com/item?id=13082825

I took that, and built a simple forth-like system, in golang following the original recipe and breaking it down into simple steps for learning-purposes:

https://github.com/skx/foth

I'll always vote up submissions referencing anything FORTH related. For me FORTH is as much fun as lisp appears to be for others. I've never really done much with it, but I always like the simplicity and the ability to reason about it.

Sure FORTH has problems of its own, but it's always nice to use. I've hacked up a couple of simple FORTH-like systems over the years, most recently this one which was inspired by a thread on this site:

https://github.com/skx/foth

A lot of people go through guides of writing a lisp, I'd love to urge people to try writing a simple FORTH interpreter instead, or even something somewhat related such as TCL.

There's even a recipe posted in a couple of comments here:

https://news.ycombinator.com/item?id=13082825

I followed that guide to implement a simple FORTH-like system in golang:

https://github.com/skx/foth

As I was following the implementation recipe I broke it down into "educational steps". Although it isn't a true FORTH it is pretty easy to understand and useful enough to embed inside other applications.

Now and again I consider doing it again, but using a real return-stack to remove the hardcoded control-flow words from the interpreter, but I never quite find the time.

I actually hacked up a simple forth-like system, after reading a brief howto here on hackernews:

https://github.com/skx/foth/

Here's the thread which has the barebones overview which inspired me:

https://news.ycombinator.com/item?id=13082825

I could have taken it further, but the implementation there is not "real" in the sense that there is no real return-stack, so you can't implement IF-statements using the lower-level primitives.

That said it is a good starting point, and I had some fun doing it. I'd guesstimate it is more of a single weekend project though, rather than longer.

It was a lot of fun for me to reimplement this in MIPS assembler on CI20 [0]

JonesForth could be more straightforward in its interpreter part. I tried to make this part as clean as possible, hopefully did not miss anything.

Maybe I will make a RISCV version in my copious free time in the future.

[0] https://github.com/EarlGray/language-incubator/blob/29755c32...

Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1]

Also, tests were surprisingly enjoyable in Prolog: [2].

[1] https://github.com/EarlGray/language-incubator/blob/29755c32...