Explicit type deduction

[mehcode]

let x: bool;
let y: type(x) = false;  // y is a bool

let m = 34;
let p: type(&m - &m);  // p is the platform-dependent pointer difference type

def some(x: int) -> bool { }
let ref: type(some);  // ref is the type of the function `some`

Other suggestions for the keyword: typeof or decltype (from C++)

[mehcode]

If we name it typeof, it'd parallel nicely with sizeof (should we decide to add it)

[mehcode]

Then again the byte-size of a type isn't a question the modern programmer asks or cares about. A whole keyword for the operation is a lot for something only rarely used.

[dmiller113]

Except you are trying to support kernal dev, and they'd use it I think.

[mehcode]

True. Also sizeof is something easily implemented in a macro / generic function.

let size = (((0 as *T) + 1) as *byte) - (0 as *byte);