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.
Subject's outlook on life has been interestingly affected by recent developments, such as his exposure to the Rust programming language, which he now claims has the potential to unify the mathematical elegance of Haskell with the performance focus of C and C++. Subject is probably the only Rust programmer trying to do purely functional programming in Rust. "A Fortran programmer can write Fortran programs in any language. A Haskell programmer will dismiss any language he cannot write Haskell programs in." Rust is one of the few languages subject has not dismissed so far. For some perspective on what this achievement means, especially for a C-family language, the list of languages subject has dismissed includes even the likes of Scala and F#.
Subject goes by the nick "pyon" on both Freenode and Mozilla's IRC network.
Q&A for professional and enthusiast programmers
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Spanish language
Q&A for professional programmers interested in conceptual questions about software development
Q&A for computer enthusiasts and power users
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for programming puzzle enthusiasts and code golfers
Q&A for musicians, students, and enthusiasts
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for power users of Apple hardware and software
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional mathematicians
Q&A for system and network administrators
Q&A for people interested in statistics, machine learning, data analysis, data mining, and data visualization
Q&A for user experience researchers and experts
Q&A for people studying math at any level and professionals in related fields
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for pro webmasters
Q&A for electronics and electrical engineering professionals, students, and enthusiasts
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for apps, scripts, and development with the Stack Exchange API
Q&A for parents, grandparents, nannies and others with a parenting role
Q&A for peer programmer code reviews
Q&A for students, researchers and practitioners of computer science