Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Academics should stick to pure computer science

Name: Anonymous 2016-03-14 22:58

Every time the academics try to wet their flaccid noodle in the soft, warm crevices of actual programming, they prematurely squirt all over it, and don't get any of their gooey information inside. I'm coming at this from the context of compilers, but I'm sure it applies to most areas. I don't think that anyone could disagree that tomes such as TAoCP are anything less than holy scripture and should be read by anyone who thinks to call them-self a programmer, but beyond that, it's done nothing but waste time. For instance, pure functional programming. Like most academic things, it promises beauty and simplicity and millions of optimizations that can be done. Where are these optimizations? In the math of course. Problem is, most of them never bother to implement them, and on the rare occasion that they do, it's some toy that only shows that particular optimization on a particular instance on a particular program.

The damage comes in when legions of pseudo-intellectuals argue for the style used on the basis that it can merely be shown to allow these optimizations. The rate at which such things actually occur are probably less than one or two percent. Besides looking particularly ``mathy'' in syntax, the result is usually purposeless and never delivers one any of the promises that were theoretically possible.

Name: Anonymous 2016-03-15 15:50

>>20
What is subtyping without overriding?
Only extending the superclass. With overriding it's called subclassing. And yes it is not practical.
Also, where did Oleg propose a way for preventing that problem?
Subclassing errors, OOP style and practically checkable to prevent them
"unityped" nonironically
Faggotquote pls go back to /g/
Also for your information ``unityped'' is a valid, actual term used in type theory. Type theory as originally in mathematics only defined for terms, so when brought that to programming language they also just defined it for terms, and any language without ``static type'' is called unityped or more commonly ``untyped'', since there's only one kind of term. The type-tag checking for value during execution viz. dynamic-checking, or as you'd usually call it, dynamic typing, is a whole different discipline.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List