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.
No comments :
Post a Comment