search

breck7 / scrollsdk

The code for Particles and Parsers, which Scroll is built on.
https://sdk.scroll.pub
383 stars 17 forks source link

TreeBase: Add unit types to WorldWideTypes #62

Closed breck7 closed 3 years ago

breck7 commented 5 years ago

Should have types like 40oz 10meters 12ft etc.

https://medium.com/@Jernfrost/defining-custom-units-in-julia-and-python-513c34a4c971

https://en.wikipedia.org/wiki/Dimensional_analysis

breck7 commented 5 years ago

We should probably solve this one first: https://github.com/treenotation/jtree/issues

breck7 commented 5 years ago

We should have the 7 base SI units. https://en.wikipedia.org/wiki/SI_base_unit

breck7 commented 5 years ago

Related; http://typesatwork.imm.dtu.dk/material/TaW_Paper_TypesAtWork_Kennedy.pdf

breck7 commented 5 years ago

https://frinklang.org/ https://frinklang.org/frinkdata/units.txt

breck7 commented 5 years ago

This whole thread is good: https://www.reddit.com/r/ProgrammingLanguages/comments/cx87a1/units_of_measure/

breck7 commented 3 years ago

Not necessarily a bad idea but more important things to do first