2
votes
3answers
132 views

Left and Right most Derivation

So i understand the semantics of derivations as far as Backus Naur Form goes. One thing I cannot find in any text book or the various lecturers' notes that are on-line is this. When would a right ...
6
votes
5answers
1k views

What negative consequences can arise from this language design rule?

Clarification: the rule is meant to prevent accessing variables that are not declared yet. Clarification 2: the rule mandates that the compiler follows calls to functions which are defined in the ...
0
votes
1answer
138 views

category theory based language

It may sound naive, but is there any programming language, or research thereof, based entirely on category theory? I mean this as opposed to embedding CT concepts as an additional feature (like for ...
61
votes
11answers
5k views

How can I make sure that I'm actually learning how to program rather than simply learning the details of a language?

I often hear the saying that a real programmer can easily learn any language within a week, because languages are just tools for getting things done while programming is the ultimate skill that must ...
1
vote
1answer
287 views

“Generators are function derivatives”

I am reading this article on a new feature of ECMAscript 6, generators, that are landing in the V8 JavaScript interpreter. Not too far from the top, the author suggests an analogy: generators are ...
7
votes
1answer
402 views

Why is the cyclomatic complexity equal to two for a simple Hello World?

I would have two questions related to cyclomatic complexity: Can I use this metric for a whole app? I guess I cannot, as it would be incredibly large number, considering functions calling functions ...
2
votes
1answer
1k views

Learning the Theory Behind Programming [closed]

I'm interested in books that would introduce / explain the theory behind programming and programming languages. My logic is that by truly understanding the theory behind programming it will only take ...
4
votes
1answer
111 views

Has there been any formal work comparing ease of maintenance at the programming language level?

Is there any formal work attempting to measure ease of maintenance for complex programs, comparing at the programming language level? Are there any formal measures for ease of maintenance, at any ...
1
vote
1answer
211 views

How can I prototype a very abstract theoretical framework?

I've had an idea for a semantic model of computing that's theoretically sound but is also quite unusual. I'd like to quickly prototype a system to prove that it can work in practice. Most of my work ...
4
votes
3answers
286 views

Learning About Languages [closed]

I'm interested in learning more about programming languages. In particular, I'd like to look at some of the new developments in programming languages (even the really obscure ones that only academics ...