I wish there was a functional language that cared about performance guarantees and memory semantics like Rust or Zig. Would it even be possible to have a functional language with no GC?

@jelle Thanks for the tip; I haven't seen this before. I'm having little trouble reconciling its emphasis on efficiency with its installation instructions:

npm i -g formality-lang

@philipwhite Well one of the goals of the language is to have multiple implementations in different languages. I think writing a sort of `proof of concept' in typescript is fine

@jelle Was just reading through the type theory part of the documentation for Formality. They way they are solving different type theory problems seems to be quite unique actually. I should play around with this language a bit.


@philipwhite I was thinking the same thing, thanks for the original toot haha, otherwise I would not have found this

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!