Open link
Saved in @hd 's collection Software architecture in 2021-08-16
type system
Types + Properties = Software
ploeh blog