leastfixedpoint

Archived tweet #9494 from the @leastfixedpoint Twitter Archive
@jonathoda This is great! Quite a few of these are areas where IMO the *language* is getting it wrong - the natural instincts of the user are right. E.g. #8, #15 maybe, #19 (!!!), #48 (capability discipline!), #49 (purity!), #62 (it is to weep), #39&#66 (linearity??), ..., #155, ...