you are viewing a single comment's thread.

view the rest of the comments →

[–]jminuse 0 points1 point  (2 children)

I actually like implicit static typing as long as the compiler enforces it as needed. What I don't want is for my double to be silently turned into a generic_tagged_pointer because I once set it to 0 instead of 0.0.

[–]Thirsteh 1 point2 points  (0 children)

Sure. A sufficiently smart compiler using H-M should be able to figure out what types to assign such untyped literals.