News for hackers. Stuff that matters.

A comment on Do I Really Need a Programming Language?. Parent comment

Re:Do I Really Need a Programming Language? by brudgers on Sunday December 29, 2013 @10:33AM (#6979829)
By that token, there is no such thing as statically typed either, and if we chase the turtles all the way down to the Turing tarpit, there's only two types: high and low and they're both voltages or the equivalent.

As Wittgenstein remarked, many philosophical conundrums arise from the odd results that follow from using ordinary language in an odd way.

[ Parent | on HN ]
Re:Do I Really Need a Programming Language? by catnaroek on Sunday December 29, 2013 @10:47AM (#6979891)
> By that token, there is no such thing as statically typed either

Wrong. Just because a language A is implemented by means of a translation into language B or execution by a machine C, it does not mean that A's abstractions do not exist at all. If A makes guarantees B or C cannot possibly make, then A will compile to a strict subset of B or yield a strict subset of the processes that can happen in C. In this strict subset, A's guarantees hold.

[ Parent | on HN ]