Snippets tagged units of measure
-
Units of Measure
Show's how to define units of measure to add stronger typing to your numerical functions.
75 people like this
Like the snippet!Posted: 13 years ago by Robert Pickering
-
XNA's Vector3 with units of measure
A vector type with units of measure built on top of XNA's Vector3. Not complete, the point is mainly to show how to use generic units of measure to adapt an existing type.
9 people like this
Like the snippet!Posted: 12 years ago by Johann Deneux
-
Extending units of measure to arbitrary types
Continuing from https://twitter.com/JKPappas/status/558339587719045120, here's an approach on extending units of measure to arbitrary types.
18 people like this
Like the snippet!Posted: 9 years ago by Eirik Tsarpalis
-
Bitcoin mining profitability calculation
Calculates profitability of a Bitcoin mining operation today (February 25, 2017) using current difficult level, Bitcoin price and a state of the art Bitcoin miner.
2 people like this
Like the snippet!Posted: 7 years ago by Ademar Gonzalez
-
Generalized Units of Measure Revisited (using method overloading)
An approach to using annotated types in F# using overloaded methods.
3 people like this
Like the snippet!Posted: 6 years ago by Eirik Tsarpalis
-
General power function with units
The snippet demonstrates how to write a general power function that has correct type involving units-of-measure. The function uses numbers represented using types. The snippet is mainly an example of what can be done (not recommended for the real world).
5 people like this
Like the snippet!Posted: 13 years ago by Tomas Petricek
-
Using units of measure for safe array access
A typical problem when working with arrays and indices is that it's easy to access an array with the wrong index. Units of measure in F# can be applied to integers, which makes it possible to abuse them to prevent this kind of error.
7 people like this
Like the snippet!Posted: 12 years ago by Johann Deneux
-
Improved Generic Units of Measure
Improved version of http://fssnip.net/pm/title/Extending-units-of-measure-to-arbitrary-types that adopts the "type class" approach and sheds requirement for passing the witness type when tag/untagging UoM values.
3 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis
-
Generalized Units of Measure Revisited (using SRTPs)
An approach to using annotated types in F# using SRTPs.
4 people like this
Like the snippet!Posted: 6 years ago by Eirik Tsarpalis
-
Where does the Celsius come from?
An exploration of the power of Computation Expressions, Type Extensions, Extension Methods, and Method Overloading. May or may not be a monad or a monoid - we're not sure, nor do we care to check.
7 people like this
Like the snippet!Posted: 6 years ago by Tomas Petricek, Krzysztof Cieślak, John Azariah, Phillip Carter