ixi (computers liker era)@iximeow·Apr 9, 2021checked exceptions are immensely goodQuote TweetShafik Yaghmour@shafikyaghmour · Apr 9, 2021Programming Language opinions that get you into this situationread image descriptionALT8677
Brendan Zabarauskas@brendanzab·Apr 9, 2021Extend them to be resumable, checked exceptions with nice polymorphism and you pretty much have algebraic effects and handlers I think?13
Brendan Zabarauskas@brendanzabReplying to @brendanzab and @iximeowAlso Effekt:effekt-lang.orgEffekt Language: HomeA research language with effect handlers and lightweight effect polymorphism3:27 AM · Apr 9, 2021·Twitter Web App1 Like
Brendan Zabarauskas@brendanzab·Apr 9, 2021Replying to @brendanzab and @iximeowI get why they are so hated in Java, but then people hate Java's limiting type system, but that doesn't mean type systems in general are bad.2