Heti badass idézetek

"But programming languages and programs are more restricted - any single program uses a very limited number of models. This can create a tendency to conflate the modeling approach being used with the thing being modeled, but that's a map/territory mixup, which shouldn't be allowed to affect our reasoning when we're comparing modeling approaches."

és

"[...] but no language "paradigm" advocate should be surprised should the complexities of reality start creeping into our programs and shaking the foundations of our simplifying abstractions."

(Ebből az érdekes vitából: http://lambda-the-ultimate.org/node/4235)

Hozzászólások

Az LtU-nál köldökbambizósabb blogot keveset találni... Egy időben adtam esélyt nekik (és magamnak), hogy megkedveljem, de mindig csak elálmosítottak az elméleti eszmefuttatásaik. Tudósok meg kutatók, persze, nem vitatom.

A linkelt Existential Type-ról meg küldtek be cikket a reddit programming-ra is. Nagyjából az első két poszttal a szerző eléggé elvágta magát sokaknál (nálam is). (Most biztos megszeppent :))

Object-oriented programming is eliminated entirely from the introductory curriculum, because it is both anti-modular and anti-parallel by its very nature, and hence unsuitable for a modern CS curriculum.

omgwtf

functional programming is of paramount importance for parallelism

Ezt mondjuk önmagában nem vitatja senki.