Hisham@mcc the conclusion I arrived to in one of my talks on minimalism at FOSDEM is that programming tasks have an inherent complexity to them, and it can either be represented in the program source or not, in which case it is living in your head. In dynamically typed languages, you're still running a type checker in your head. In C, you're doing lifetime tracking in your head. We're always running the most complicated dependently-typed checker in our heads, if the problem itself needs it.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.