5 ms·

Only on the 'surface'. For example write a program to add a+b! The 'language ' maybe different but not the concepts. I am arguing that we need a fundamental bre

• Locke1689 17y ago
  Not gonna happen. Sorry, but this is like saying that we need a breakthrough in "base 3" because "base 2" is too limiting. The fundamental physics of our computing is unlikely to change (I'm sorry but I don't see quantum computing being practical in the next 50 years, if ever), therefore eventually we'll still be programming opcodes on processor dies. However, if you don't believe that the underlying architecture of computing hasn't changed in, hell, the past ten years, then I think you've been programming in high level languages a bit too much.
• eru 17y ago
  In the type system: > data Zero > data Succ a > class Add a b ab | a b -> ab, a ab -> b > instance Add Zero b b > instance (Add a b ab) => Add (Succ a) b (Succ ab)