Re: I'd love to see DScript one day ...

[ketmar via Digitalmars-d]

On Tuesday, 14 June 2016 at 12:57:01 UTC, Chris wrote:
Dynamic typing should only be allowed to the extend `auto` 
works:

var name = "Herbert"
// ...
name = "Brown"  // ok

name = 5 // error

this is still error-prone. why don't just do static typing 
instead, and introduce `anything` type, which is "variant", and 
can hold literally anything? with `auto` you'll barely need to 
think about types at all.

and yep, compiler can turn runtime typechecks in compile-time 
specialization — kinda like templates. so we'll have something 
like this:

// this does runtime type checks
auto add (auto a, auto b) { return a+b; }

// this does compile-time specialization, but
// can also be executed by very straightforward
// interpreter
auto add2 (auto a, auto b) {
  if (typeof(a) is int && typeof(b) is int) {
    // here compiler knows actual types of `a` and `b`
    return a+b;
  } else {
    throw new Error("wut?!");
  }
}