User talk:Prime.mover

New template
The merit of Template:SourceReview is immediately apparent. Good call. &mdash; Lord_Farin (talk) 22:44, 7 March 2013 (UTC)

A friendly thought
I know we're not on the best of terms, but here's a purely friendly suggestion anyway. Since you enjoy logic, you may also enjoy reading about programming language type systems if you haven't already. Type checking and type inference for type systems with parametric polymorphism are particularly interesting. The Glasgow dialect of the Haskell programming language manages to do almost magical things with its type system extensions, and Chris Okasaki (best known for his book Purely Functional Data Structures) and Ralf Hinze are two of the masters at exploiting these features to enforce complex invariants at the type level. See for example Okasaki's paper "From Fast Exponentiation to Square Matrices: An Adventure in Types". --Dfeuer (talk) 18:46, 13 March 2013 (UTC)


 * I'm not a fan of Haskell. Having been programming professionally in the software industry for the last 30 years I find I have less and less patience with the effort to takes to learn a new language. I understand that academics may be able to learn all sorts of exciting things by building a language specifically designed to examine this or that, but when you have a customer who won't pay the bill this "this precise effect" is achieved, your emphasis is more on getting the job done than "let's see what fun I can have learning this stuff".


 * Hence my intolerance of sloppy coding and lack of adherence to house styles. There is a reason for imposing a style - it's to ensure consistency of approach which minimises the time taken to get up to speed with another person's code.


 * I don't actually enjoy logic - but in order to establish the minimal requirements to be able to create the axioms from which the number systems could be established foundationally, I had to put the logic pages together. Dirty job but someone had to do it. --prime mover (talk) 19:15, 13 March 2013 (UTC)