[jaupe]

I really like that it feels like a dynamically typed language but with the security of type inference. That's really cool

[chrisaycock]

That's exactly the feel I've been going for. Instead of "gradual typing", I wondered if there was a way to make everything statically typed but still read from a file. I settled on a combination of type providers (F#) and compile-time function evaluation (D).