Interesting. What about more complex units, e.g. acceleration - m/s^2?
Make the Type System Do the Work
11–20 of 141 posts
Re: Make the Type System Do the Work
#12The Boost.Units[1] library takes this even further, allowing you to do things like divide a length by a time quantity and get a velocity, again with compile-time type checking. [1]: http://www.boost.org/doc/libs/1_55_0/doc/html/boost_units.ht...
F# has similar also: http://en.wikibooks.org/wiki/F_Sharp_Programming/Units_of_Me...
Re: Make the Type System Do the Work
#13No.
Re: Make the Type System Do the Work
#14[deleted]
Re: Make the Type System Do the Work
#15To take this to the current state of the art, look at Haskell, Agda, and Idris. Latter two being dependently typed. Steps for learning Haskell: https://gist.github.com/bitemyapp/8739525
yo switch the gist to markdown to get word wrap
Re: Make the Type System Do the Work
#16This is a good trick but it needs to be used judiciously or you'll end up with lots of boilerplate.
I particularly like Go's type system, though, because it makes it very simple:
type celsius float64
Re: Make the Type System Do the Work
#17This is fairly the premise of OOP on display. And fairly basic at that. Im not sure whats to be learned here except that in the real world, your representations will always need to be extended and subclassing is usually a bad hammer.
Interfaces are better but extend poorly through subclassing as well.
Composition is infinite but difficult to define over time when things change (usually resorts to more subclassing or more injection strategies).
I wish this article were valuable to solving the actual problem but its just a primer on OOP vs using primitives which is not particularly instructive or useful to solving real world problems.
Re: Make the Type System Do the Work
#18To take this to the current state of the art, look at Haskell, Agda, and Idris. Latter two being dependently typed. Steps for learning Haskell: https://gist.github.com/bitemyapp/8739525
What are your impressions of the three languages?
Personally, I'm learning Haskell first, because Haskell is the most popular of the three and there is plenty of good learning material. As far as Adga and Idris go, I think Idris looks more appealing.
Re: Make the Type System Do the Work
#19To take this to the current state of the art, look at Haskell, Agda, and Idris. Latter two being dependently typed. Steps for learning Haskell: https://gist.github.com/bitemyapp/8739525
Excellent, thanks! I may actually do so now.
Re: Make the Type System Do the Work
#20In some environments beware of creating new types and objects:
http://developer.android.com/training/articles/perf-tips.htm...