numbat
numbat copied to clipboard
sharkdp
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Hi, the current implementation of the `human` formatter uses days as its biggest unit, I added years and months Before : ``` >>> 2 yr + 50 days -> human...
Hi, here I'm testing the cli, and since I'm on Win 7, it shows like this; ``` Numbat is a statically typed programming language for scientific computations with first class...
see #91 This PR makes changes to Numbats `prelude` to treat angles as dimensionful quantities. `Angle` becomes a new base dimension. And `radian` is the base unit in that dimension....
A while ago we added support for getting [info about units and variables](https://github.com/sharkdp/numbat/pull/267), Now that we're getting some [interesting functions](https://github.com/sharkdp/numbat/pull/416), let's extend the `info` mechanism (and related decorators) to support...
``` >>> fn f(y: T, x: T) = atan2(y, x) error: while type checking ┌─ :1:23 │ 1 │ fn f(y: T, x: T) = atan2(y, x) │ ^^^^^ …...
`3 meter + 0` should work. Similarly: something like `hypot(2m, 0)` should work.
https://crates.io/crates/rug (LGPL! Possible to compile to WASM?) Simply use f64 or something like f128? => we could put numeric values on the stack
These are defined as 5 mL and 15 mL, respectively, and are used in the UK and elsewhere where metric is used. See https://en.wikipedia.org/wiki/Tablespoon and https://en.wikipedia.org/wiki/Teaspoon#Metric_teaspoon. The situation is even...
When using `Mib` instead of `MiB`, a user will get something like ``` >>> Mib error: while type checking ┌─ :1:1 │ 1 │ Mib │ ^^^ unknown identifier │...
I'd like there to be a way to force creating a variable even if it would conflict/overwrite a previously defined unit, or even just "kill" an existing unit definition so...
