2014-07-29 19:50 GMT-03:00 John Myles White <johnmyleswh...@gmail.com>: > > In this case, Float would be less, rather than more, clear because our > Float would describe a type that most languages would call Double. >
In my humble opinion we can call it Float without confusion and forget about other languages naming conventions (i.e. double). This is up to you, but to me Float is quite clear, it's the "default" floating point type. And except for graphics stuff (my limited view of science), no one needs such distinction between Float32 and Float64. Júlio.
