Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Clojure has a couple of stack based langs like fif so you may find them useful examples.
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.
Racket sees language programming as a big part of their mission, and the book Beautiful Racket has a lesson on building a stack based programming language.
There is a GitHub template to get you started https://github.com/racket-templates/rosette-template