corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0874e-ff9d-7273-9c3a-22d629d49045

Physical units in programming languages

marbu · published 3 April 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.marbu.eu Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
28
Words captured
4,692

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Dimensional_analysis
en.wikipedia.org
https://www.root.cz/clanky/bezpecne-programovani-ala-ada/
root.cz
https://en.wikipedia.org/wiki/GNAT
en.wikipedia.org
https://stackoverflow.com/questions/67141246/naive-unit-checking-via-strong-typing-and-operator-overloading
stackoverflow.com
https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html
learn.adacore.com
https://learn.adacore.com/courses/intro-to-ada/index.html
learn.adacore.com
https://gmpreussner.com/research/dimensional-analysis-in-programming-languages
gmpreussner.com
https://doi.org/10.1002/spe.4380150604
doi.org
https://gcc.gnu.org/onlinedocs/gnat_ugn/Performing-Dimensionality-Analysis-in-GNAT.html
gcc.gnu.org
https://en.wikibooks.org/wiki/Ada_Programming/Aspects
en.wikibooks.org
https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/implementation_defined_aspects.html
docs.adacore.com
https://github.com/gcc-mirror/gcc/blob/master/gcc/ada/libgnat/s-digemk.ads
github.com
https://en.wikipedia.org/wiki/International_System_of_Units
en.wikipedia.org
https://en.wikipedia.org/wiki/MKS_system_of_units
en.wikipedia.org
https://en.wikipedia.org/wiki/Ampere_hour
en.wikipedia.org
https://en.wikipedia.org/wiki/F_Sharp_(programming_language
en.wikipedia.org
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure
docs.microsoft.com
https://news.ycombinator.com/item?id=9212329
news.ycombinator.com
https://docs.microsoft.com/en-us/archive/blogs/andrewkennedy/units-of-measure-in-f-part-one-introducing-units
docs.microsoft.com
https://fsharp.github.io/fsharp-core-docs/reference/fsharp-data-unitsystems-si-unitsymbols.html
fsharp.github.io
https://stackoverflow.com/questions/4359767/how-do-you-print-the-resulting-units-using-units-of-measure-in-f
stackoverflow.com
https://pint.readthedocs.io/en/stable/
pint.readthedocs.io
https://numpy.org/
numpy.org
https://pandas.pydata.org/
pandas.pydata.org
https://pythonhosted.org/uncertainties/
pythonhosted.org
https://pint.readthedocs.io/en/stable/developers_reference.html
pint.readthedocs.io
http://archive.adaic.com/tools/CKWG/Dimension/Physical_units_with_GNAT_GPL_2013-AUJ35.1.pdf
archive.adaic.com
https://pint.readthedocs.io/en/stable/tutorial.html
pint.readthedocs.io