News for hackers. Stuff that matters.
Re:Kotlin: A statically-typed language that compiles to JVM ... by kenbot on Monday November 11, 2013 @05:13PM (#6714446)
You can write any program with a Turing machine. That's a silly definition of a type system. I've never heard this usage anywhere else.

There are no comments on this comment yet.