William Benton
willb.io
William Benton
@willb.io
Always trying to simplify the complex unless there’s an opportunity for an interdisciplinary analogy.
The Stasium versions are tremendous (but the writing was strong enough to cut through the original mixes imho)!
February 13, 2024 at 4:17 PM
I agree with the sentiment, suggested by some commenters, who suggest that the questioner is basically diving in to the deep end of type system problems.

But Luca Cardelli’s survey paper is a pretty good introduction to the general area: http://lucacardelli.name/Papers/TypeSystems.pdf
lucacardelli.name
July 12, 2023 at 5:02 PM
I really dislike Quarto’s opinionated post listing as well but the excellence of the rest of Quarto has made up for it in my experience! (I migrated my venerable Jekyll blog this spring: https://chapeau.freevariable.com)
Chapeau
chapeau.freevariable.com
July 7, 2023 at 12:19 AM