search

sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units
https://numbat.dev
Apache License 2.0
1.15k stars 49 forks source link

Interesting resources #20

Open sharkdp opened 2 years ago

sharkdp commented 2 years ago

https://www.cs.ox.ac.uk/people/samuel.staton/papers/tlca2015.pdf

sharkdp commented 1 year ago

https://github.com/train-it-eu/conf-slides/blob/master/2022.09%20-%20CppCon/mp-units%20v2%20-%20new%20features%20discussion.pdf

sharkdp commented 1 year ago

F# has 'native' support for physical units: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure https://learn.microsoft.com/en-us/archive/blogs/andrewkennedy/

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

Andrew Kennedy is also the author of the PhD thesis linked in #29

sharkdp commented 1 year ago

https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html

sharkdp commented 1 year ago

https://www.hillelwayne.com/post/frink/

sharkdp commented 1 year ago

https://en.wikipedia.org/wiki/Category:Programming_languages_supporting_units_of_measure

sharkdp commented 1 year ago

https://painterqubits.github.io/Unitful.jl/stable/

sharkdp commented 1 year ago

Really great overview: https://gmpreussner.com/research/dimensional-analysis-in-programming-languages

sharkdp commented 4 months ago

https://adam.gundry.co.uk/pub/thesis/thesis-2013-12-03.pdf, chapter 3

other references here: https://adam.gundry.co.uk/

sharkdp commented 4 months ago

https://strathprints.strath.ac.uk/76626/1/McBride_etal_amctmtxii2021_type_systems_for_programs_respecting_dimensions.pdf

sharkdp commented 4 months ago

https://core.ac.uk/download/pdf/214022983.pdf

sharkdp commented 4 months ago

https://adam.gundry.co.uk/pub/typechecker-plugins/typechecker-plugins-2015-07-17.pdf