Wow! Dimensional analysis at compile-time with Libra: http://typelevel.org/blog/2017/06/13/libra.html …
Curious what @manyangled thinks of this and how it compares tohttps://github.com/erikerlandson/coulomb …
-
-
coulomb may also be faster by virtue of the way it exploits macros, but I'd need to verify with benchmarking
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Libra & coulomb have significant feature overlap. I suspect Libra is inconvenient for signatures like f(x: Int WithUnit (Bit %/ Second))
-
BUT... Zainab Ali did things w/ HLists I convinced myself were impossible in my earlier coulomb experiments, so I'm keeping an open mind
End of conversation
New conversation -
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.