Hacker News
- Dimensional Analysis in Programming Languages (2018) https://gmpreussner.com/research/dimensional-analysis-in-programming-languages 38 comments
Lobsters
- Dimensional Analysis in Programming Languages https://gmpreussner.com/research/dimensional-analysis-in-programming-languages 3 comments programming
- Dimensional Analysis in Programming Languages https://gmpreussner.com/research/dimensional-analysis-in-programming-languages 24 comments programming
Linking pages
- The Frink is Good, the Unit is Evil • Hillel Wayne https://www.hillelwayne.com/post/frink/ 72 comments
- GitHub - Kevinpgalligan/ka: A calculator language. https://github.com/Kevinpgalligan/ka 18 comments
- Some notes on for loops • Buttondown https://buttondown.email/hillelwayne/archive/some-notes-on-for-loops/ 9 comments
Linked pages
- Frink https://frinklang.org 140 comments
- GitHub - paholg/dimensioned: Compile-time dimensional analysis for various unit systems using Rust's type system. https://github.com/paholg/dimensioned 65 comments
- Type safe dimensional analysis in Haskell | Stephan Boyer https://www.stephanboyer.com/post/131/type-safe-dimensional-analysis-in-haskell 29 comments
- https://crates.io/crates/dimensioned 29 comments
- dimensional: Statically checked physical dimensions http://hackage.haskell.org/package/dimensional 17 comments
- List of humorous units of measurement - Wikipedia http://en.wikipedia.org/wiki/List_of_humorous_units_of_measurement 15 comments
- Validating the Unit Correctness of Spreadsheet Programs http://www.cs.brown.edu/~sk/Publications/Papers/Published/asknf-valid-unit-sprdsht/ 7 comments
- Pint · PyPI https://pypi.org/project/Pint/ 6 comments
- https://frinklang.org/frinkdata/units.txt 2 comments
- http://www.unc.edu/~rowlett/units/ 1 comment
- Physical Units Pass the Generic Test | The AdaCore Blog http://blog.adacore.com/physical-units-pass-the-generic-test 0 comments
- GitHub - rudogma/scala-supertagged: Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals. https://github.com/Rudogma/scala-supertagged 0 comments
- Fortress (programming language) - Wikipedia https://en.wikipedia.org/wiki/Fortress_(programming_language) 0 comments
- GitHub - iliekturtles/uom: Units of measurement -- type-safe zero-cost dimensional analysis https://github.com/iliekturtles/uom 0 comments
- https://crates.io/crates/uom 0 comments
Related searches:
Search whole site: site:gmpreussner.com
Search title: Dimensional Analysis in Programming Languages | gmpreussner
See how to search.