Do be do be do · HackerPapers discussions

Do be do be do — HN submission

Sun, 31 Mar 2024 05:56:47 GMT

Do be do be do (2017) [pdf]

31 points; 8 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Do be do be do — mentioned by trenchgun

Wed, 24 Jan 2024 10:38:32 GMT

>Well, which abilities does it need then? No idea. Abilities called IO and Exception. I am sure you are familiar with effect systems and algebraic effects, right? Abilities are what algebraic effects are called in Unison: https://www.unison-lang.org/docs/fundamentals/abilities/ So, in Haskell you would have IO monad and Exception monad, but in Unison you have an IO ability and an Exception ability. If you want to know more: https://www.unison-lang.org/docs/language-reference/abilitie... and: Convent, L., Lindley, S., McBride, C. and McLaughlin, C., 2020. Doo bee doo bee doo. Journal of…

Paper and discussion history. A mention is not an endorsement.

Do be do be do — mentioned by ithkuil

Wed, 29 Mar 2023 17:22:43 GMT

To each their own, ymmv. This was my gateway drug: https://arxiv.org/abs/1611.09259

Paper and discussion history. A mention is not an endorsement.

Do be do be do — mentioned by ithkuil

Thu, 29 Jul 2021 07:47:31 GMT

Frank is also interesting https://github.com/frank-lang/frank https://arxiv.org/abs/1611.09259

Paper and discussion history. A mention is not an endorsement.

Do be do be do — mentioned by cies

Wed, 22 May 2019 21:43:46 GMT

There is a language called Frank. I read a paper on it, called "Do Be Do Be", which was an epic read. https://arxiv.org/abs/1611.09259

Paper and discussion history. A mention is not an endorsement.

Do be do be do — HN submission

Sun, 12 Aug 2018 18:36:21 GMT

Do Be Do Be Do

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.