The README makes a lot of bold claims for what, as far as I can tell, seems to be vaporware. Does this language have any kind of effect system yet, or can it only evaluate pure expressions?
- A performant lazy functional runtime with sharing implemented from scratch in Rust
- A dependent type system with substructural types
- Parsing, tooling, a standard library, ability to run on the web via wasm
- Content-addressing and serialization to IPLD so that packages can be shared over IPFS
That's what we claim to do in our README, and that's what we do.
It's true that Yatima doesn't have an effect system yet, nor is it production-ready, but it's a pre-alpha programming language project, what's the standard being applied here?