goldfirere/units
View on GitHub ↗ ★ 101 Haskell
The home of the units Haskell package
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2015-02-05 · latest 2025-08-04
20082026
-
There 100% are unit systems implemented with types. (One example: https://github.com/goldfirere/units/tree/master/units ) Structural types does not preclude having some names that prevent mix-ups. Haskell’s `data` keyword doesn’t let you…
comment by ashton314 · 2025-08-04 · in Names are not type safety (2020) -
…through the type system, e.g. using the units package https://hackage.haskell.org/package/units https://github.com/goldfirere/units/tree/master/units It even has nice features like: "The laws of nature have dimensions, and they hold true…
comment by tobias2014 · 2023-11-03 · in Frink is a programming language designed to make physical calculations simple -
…https://bitbucket.org/xnyhps/haskell-unittyped/ . Though, enabled by GHC 7.8, units may now be nicer: https://github.com/goldfirere/units
comment by pseudonom- · 2015-02-05 · in Learn Physics by Programming in Haskell [pdf]