Sunday, April 28, 2024 Text is available under the CC BY-SA 3.0 licence.

Erik Naggum

« All quotes from this author
 

Shed the idea that you were programming in an OO style. There is no such thing. You were only programming a particular object system. Now you get to program a different object system.
--
Re: How much use of CLOS? (Usenet article)

 
Erik Naggum

» Erik Naggum - all quotes »



Tags: Erik Naggum Quotes, Authors starting by N


Similar quotes

 

Programming languages on the whole are very much more complicated than they used to be: object orientation, inheritance, and other features are still not really being thought through from the point of view of a coherent and scientifically well-based discipline or a theory of correctness. My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design—one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. [...] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.

 
C. A. R. Hoare
 

C++ is in that inconvenient spot where it doesn't help make things simple enough to be truly usable for prototyping or simple GUI programming, and yet isn't the lean system programming language that C is that actively encourages you to use simple and direct constructs.

 
Linus Torvalds
 

My favorite programming languages are Lisp and C. However, since around 1992 I have worked mainly on free software activism, which means I am too busy to do much programming. Around 2008 I stopped doing programming projects.

 
Richard M. Stallman
 

Every presentation of philosophy, whether oral or written, is to be taken and can only be taken in the sense of a means. Every system is only an expression or image of reason, and hence only an object of reason, an object which reason—a living power that procreates itself in new thinking beings—distinguishes from itself and posits as an object of criticism. Every system that is not recognized and appropriated as just a means, limits and warps the mind for it sets up the indirect and formal thought in the place of the direct, original and material thought.

 
Ludwig Andreas Feuerbach
 

To every object there corresponds an ideally closed system of truths that are true of it and, on the other hand, an ideal system of possible cognitive processes by virtue of which the object and the truths about it would be given to any cognitive subject.

 
Edmund Husserl
© 2009–2013Quotes Privacy Policy | Contact