Implicit type conversions with data loss

[renoX]

On Thursday, 7 June 2012 at 03:19:18 UTC, ctrl wrote:
> Thanks for your answers.
>
>> You want a sane language: use a different language, most 
>> C-derived language have insane semantic for integers..
>> Have you tried Ada?
>
> I want a language with metaprogramming and compile-time 
> computations.

A google search reported that it was an explicit requirement of 
Ada to not have macros or the like to simplify debugging..

The only language that I know who has what you want and a sane 
integer semantic (very rare) is Nimrod ( http://nimrod-code.org/ 
).

I've learned about Nimrod only a few weeks ago, it seems to be an 
interesting language, but its OO syntax is "too simple" ( 
http://forum.nimrod-code.org/t/3 ).

renoX