[zctvryrs] Things which are not the end

Though they each have a lot of fanboys, I predict we will eventually throw them all (most) away and start from scratch.

Linux.  C is not a good language for humans or machines to reason about; formal verification will be key for security.

Haskell.  Dependent types and type level programming seem interesting -- Prolog-like features mean even less typing (keystrokes) for the programmer.