Eduardo Leónless info
|visits||member for||2 years|
|seen||Dec 13 '11 at 4:50|
Subject is a functional programming and type theory nerd. The extent to which mathematical thinking has affected subject has not been fully assessed yet, but the brain damage is known to be quite serious already. In particular, subject's ability to communicate with other programmers (such as his coworkers) is severely hampered by his tendency to talk about abstract concepts in terms of themselves rather than in terms of examples.
Subject has expressed hope that a language will be developed with the following features:
- as concise as GHC Haskell (at least for the non-proof parts of his programs)
- as modular as Standard ML (also add applicative functors)
- as pedantic about correctness as Coq (without the admit tactic)
- compiles to native binaries as fast as C (with pointers marked as "restrict" whenever possible, and preferring direct system calls to libc calls)
- a comprehensive standard library of data structures and algorithms, in the spirit of C++'s STL, but better
Subject has been observed talking about what he calls "deep" analogies between type systems and database schemas. Subject has expressed dismay at the failure of major DBMS implementors to provide sufficiently expressive schemas, alleging that this failure forces him to encode certain business model constraints as database triggers, which he claims is "time-consuming" and "error-prone". Mentioning NoSQL in subject's presence must be avoided at all costs - subject may go on a rampage and cause both material destruction and loss of life.