For a quick example, take C: typedef rad_f float; typedef degree_f float; Although in C there's no way that I know of to do implicit conversion betwee

For a quick example, take C: typedef rad_f float; typedef degree_f float; Although in C there's no way that I know of to do implicit conversion between the two. The closest thing I've found to what I mean is C#'s implicit cast system: http://nathan.ca/2014/02/type-rich-programming/ http://nathan.ca/2014/02/type-rich-programming/