|
|
|
|
|
|
by sharkdp
945 days ago
|
|
|
F# is the only language I looked at that has a really powerful unit system. The author of that unit system wrote his PhD thesis on the subject [1]. Numbat's type system is actually pretty close to what was suggested in that thesis (in contrast to F#'s system, which is based on units — not dimensions). [1] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-391.pdf |
|
|