We believe that programming can be, and should be, an intellectually rewarding activity; that a good programming language is a powerful conceptual tool — a tool for organizing, expressing, experimenting with, and even communicating one's thoughts ... we think that programming can be, and should be, part of the problem solving process itself; that thoughts should be organized as programs, so that consequences of a complex set of assumptions can be investigated by "running" the assumptions; that a conceptual solution to a problem should be developed hand-in-hand with a working program that demonstrates it and exposes its different aspects.
— Sterling & Shapiro, The Art of Programming
I am interested in declarative programming, programming as an aid to thought, and software designed to further ethical and speculative ends.
Top network posts
- 23 Include my markdown README into Sphinx
- 11 What precisely is a "logical variable" and what is the general approach for implementing the language feature?
- 11 Translate list comprehension to Prolog
- 11 What is the problem with using circular reasoning? Is it "invalid"?
- 9 'How to use higher order functors properly?' or 'How to have serious fun with funsigs?'
- 8 How to get current system year in Prolog as a number
- 7 How to decide whether to parameterize on the type-level or the module-level when designing modules?
- View more network posts →