johnburnham

3 ms·

1. 1.▲
   by johnburnham 7y ago

   We use affine types, which means every value can get used at most once. This is a lot less painful in practice than it sounds though, since: a. we can copy things for free at compile-time that get erased at runtime b. we have a `cpy` primit
2. 2.▲
   by johnburnham 7y ago

   Since this is Hacker News and not the Haskell subreddit, though, I feel obligated to answer the inevitable "Why should 'normal' developers care?" question that often comes up here whenever people talk about functional pr
3. 3.▲
   by johnburnham 7y ago

   I'm one of the developers working on Formality and want to add a some links to: - Our docs (docs.formality-lang.org) - Our standard library ( https://github.com/moonad/Formality-Base ) - Our Telegram channel ( https