News for hackers. Stuff that matters.

A comment on Yatima: A programming language for the decentralized web.

Re:Yatima: A programming language for the decentralized web by wyager on Monday June 07, 2021 @10:53PM (#27430145)
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?
[ Parent | on HN ]
Re:Yatima: A programming language for the decentralized web by jcburnham on Tuesday June 08, 2021 @12:56AM (#27430779)
"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?

[ Parent | on HN ]