In the first paragraph: > Collisions have dropped by roughly 90 percent. No link to the source of this number though.
You merely defined halting problem. You did not argue the following: Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.
In part, this is due to Haskell et al. are statically typed, which provides a higher safety guarantee than dynamically typed languages like erlang.
Not long ago, I found in my spam mailbox several emails sent by Google's recruiters (from @google.com domain). I was, at the time, going through their interview process.
In the first paragraph: > Collisions have dropped by roughly 90 percent. No link to the source of this number though.
You merely defined halting problem. You did not argue the following: Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.
In part, this is due to Haskell et al. are statically typed, which provides a higher safety guarantee than dynamically typed languages like erlang.
Not long ago, I found in my spam mailbox several emails sent by Google's recruiters (from @google.com domain). I was, at the time, going through their interview process.