This gets to the heart of the problem for all type systems supporting deduction. Haskell is slightly better, but at a certain level of abstraction a function type can’t be separated from its implementation. https://brevzin.github.io/c++/2018/10/20/concepts-declarations/ …
Millimeters times millimeters results in millimeters squared, validated at compile time.pic.twitter.com/5bKbAvUqiH
-
-
If you write a lengthy arithmetic function and use the wrong type somewhere along the way, the compiler will whack you.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.