Comment by bjoli

A statically typed s-expression language for dotnet (called bjolang. Because I made it), with fast Rrb vectors and champ maps. No object system, but a trait system with associated types. The looping system is inspired by my own hygienic looping system for guile scheme ( https://rikspucko.koketteriet.se/bjoli/goof-loop )

It is really really fun, but I have no idea what I am doing.

I really dislike async and will hast asyncheonisity behind coroutines (which sadly will be botched because dotnet). i will use them to implement concurrentML sometime in the future. Not unlike go, but the will be called bjoroutines and soaened with the "bjo" keyword.

Other than that, it is pretty standard hindley Milner, but with some limitations to make parallel compilation simpler.

Edit: och: and i will make comprehensions general. (summing (in-vec my-vec)) Or (folding #(+ % a b) :for a (in-list aList) :for b (in-generstor a-generator))