quantified-uncertainty / squiggle

An estimation language

https://squiggle-language.com

MIT License

152 stars 23 forks source link

Epic: Units #125

Closed OAGr closed 1 year ago

OAGr commented 2 years ago

Todo

[ ] Write short summary
[ ] https://github.com/quantified-uncertainty/squiggle/issues/186 Add it to interpreter (reducer)
[ ] https://github.com/quantified-uncertainty/squiggle/issues/400 Make room for it in grammar spec
[ ] Add it to parser
[x] https://github.com/quantified-uncertainty/squiggle/issues/7

Ozzie's original issue kickoff:

Eventually, we will want to have a decent system for managing simple units, especially time.

This following elm example provides a nice API that could be worth emulating.

https://package.elm-lang.org/packages/ianmackenzie/elm-units/latest/

quinn-dougherty commented 2 years ago

not quite a duplicate cuz it's more general but time was originally discussed in https://github.com/QURIresearch/squiggle/issues/7

quinn-dougherty commented 2 years ago

Ozzie in #186 :

MathJS has a notion of units. It would be excellent to have some of this available in the interpreter; specifically, the aspects about time. We should be able to handle units of datetime, and units of time length, very well.

berekuk commented 2 years ago

Most of this seems stale.

Should this, #400 and #7 all be be closed?

we have units (1k, 1M, etc)
we have dates and durations

leopoldaschenbrenner commented 2 years ago

I'm not sure if this is relevant here, but it'd be useful if there was some more customizability for units/charts!

Maybe the two quickest fixes:

instead of "200m" show 20%
instead of "G" use "B" for billions.