(Untitled)
Free Software is a protest movement. Open Source is a weapon. I can see a significant constructive element to Free Software, but I can’t see any with Open Source. Linux is not a success to be repea…
Micro
119 posts
(Untitled)
… the programming environment model in Unix is an imitation of the Lisp machine, and the way it is implemented is through processes and inter-process communication instead of function calls. Function…
(Untitled)
Common Lisp has a problem in that only mature people use it after they have become disgusted with other languages and their hype. http://xach.com/naggum/articles/3128146248229145@naggum.no.html…
(Untitled)
I’m not arguing against type theories, not arguing against the usefulness of various forms of type inference, not arguing against reasonable requests, not arguing against the desire to reason about co…
(Untitled)
Professional programmers often find that the program they’re working on now has a great deal in common with some program they wrote in the past. It is this feeling that makes the idea of software reus…
(Untitled)
Arguments over syntax aside, there is something to be said for recognizing that a loop that steps only one variable is pretty useless, in any programming language. It is almost always the case that o…
(Untitled)
“Lisp has some real problems.” Yes, it does. unfortunately, you didn’t list any of them. that’s also one of the real problems Lisp has: myths, misconceptions, and prejudice. http://xach.com/naggum/…
(Untitled)
By studying a number of examples, we have come to the conclusion that programs in less expressive languages exhibit repeated occurrences of programming patterns, and that this pattern-oriented style i…
(Untitled)
But then I had a whimsical thought; the sort of thing that seems at once not-impossible and yet such a long shot that one can just relax and enjoy exploring it without feeling under pressure to produc…
(Untitled)
Is a sortable array an array that sorts or a sorter represented by an array? If you believe that types address all design issues you must make that decision. http://commandcenter.blogspot.ca/2012/06/…
(Untitled)
Every language has a type system; a particular way of organizing nouns into types, figuring out which verbs make sense on which types, and relating types to one another. Some languages are strict, and…
(Untitled)
It has been hypothesized that whatever intelligence is (and we obviously have not been able to fully define it so far), it is a multidimensional thing. Natural human intelligence appears to be multifa…