News for hackers. Stuff that matters.

A comment on John Carmack: Script Interpreters Considered Harmful. Parent comment

Re:John Carmack: Script Interpreters Considered Harmful by jrockway on Sunday August 14, 2011 @08:05AM (#2883428)
The type of x is Int|String

The type of (+ 1) is Int -> Int

The type of y is Int

Because x is of type Int|String and it's passed to a function that can only operate on Int, the program fails to compile.

[ Parent | on HN ]
Re:John Carmack: Script Interpreters Considered Harmful by kingkilr on Sunday August 14, 2011 @11:10AM (#2883797)
I highly reccomend you read, "Localized type inference of atomic types in python" by Brett Cannon (2005), it shines a light on just how much this doesn't work.
[ Parent | on HN ]
Re:John Carmack: Script Interpreters Considered Harmful by ned_batchelder on Monday August 15, 2011 @11:29AM (#2887276)
So when you said, "looks just like Python," you literally meant, "lexically looks like Python," because you aren't building a language that works just like Python.
[ Parent | on HN ]