3 ms·
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 on
by wyager 5y ago
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?
- jcburnham 5y ago"vaporware" is a pretty harsh accusation for a project that has: - 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?