Make CPython segfault in 5 lines of code

Re:Make CPython segfault in 5 lines of code by dependenttypes on Friday December 20, 2019 @10:13AM (#21844724)

You can trivially prove bottom in Haskell. Something like Agda or Idris would indeed fit the bill better.

Anyway, I said that this specific issue would not occur in a language with dependent types -- where incorrect code would cause the implementation to crash. Not that it is impossible to have a buggy compiler that at certain cases produces segfaults.

[ Parent | on HN ]

Re:Make CPython segfault in 5 lines of code by shakna on Friday December 20, 2019 @03:54PM (#21847309)

> Not that it is impossible to have a buggy compiler that at certain cases produces segfaults.

That's exactly what happened here, however. The instance check was missing from the interpreter.

Dependant types wouldn't have solved the underlying problem.

[ Parent | on HN ]