-
haystack
Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment. (by rtulip)
-
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.
Feel free to look at the issues page to see what work I've got lined up: https://github.com/rtulip/haystack/issues
Yes, unless there's another language I'm unfamiliar that shares the name. But the inspiration and some core ideas came from Porth: https://gitlab.com/tsoding/porth
Since you're making a statically-typed concatenative language, I'll point you to a joy reference, kitten, notes to motivate type checking stack languages, and a paper that formalizes type checking for stack languages. Since this looks like a relatively high-level stack language (given the presence of ADTs), you may find that you want to add quotes to your language, specifically opaque quotes since your language is typed. In that case, you'll realize that you'll need a better way to formulate polymorphism over stacks, and the paper on type checking will provide that to you.