Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on What would it take to add refinement types to Rust?. Parent comment
If you mean to go all the way on units, dimensions and typing, there's a bestiary there, quited maintained (with several Ada 'takes' too) https://www.gmpreussner.com/research/dimensional-analysis-in...
There are no comments on this comment yet.
If you mean to go all the way on units, dimensions and typing, there's a bestiary there, quited maintained (with several Ada 'takes' too) https://www.gmpreussner.com/research/dimensional-analysis-in...