As stated by the title. Some examples that I would include would be map and conditionals. What other functions should be built in already parallel for users to expand on it?

  • $\begingroup$ So far this is at -2 with a pair of close requests. My question is something I wouldn't be shocked to see on Lambda the Ultimate, which is well respected for Programming Language Theory discussion. Is that not included in our definition of TCS, or am I just totally insane here? $\endgroup$
    – Greg
    Aug 17, 2010 at 5:50
  • $\begingroup$ I think it's at odds with the "theoretical" part. I am also sad that there's no good home for this type of question. There IS a proposal for a compiler design stackexchange here: area51.stackexchange.com/proposals/7848/compiler-design I suggest that you commit to that and help it become real. Even though it's called "compiler design", it seems likely that they'll deal with issues of compiler, language, and runtime design, since the three are so closely related. $\endgroup$
    – blucz
    Aug 17, 2010 at 7:40
  • 1
    $\begingroup$ maybe we should discuss on meta ? meta.cstheory.stackexchange.com/questions/21/… $\endgroup$ Aug 17, 2010 at 8:05
  • 1
    $\begingroup$ I do not know anything about the theory of programming languages, and I cannot possibly answer this question, but I want to express my strong disagreement to the bogus claim that this question is off topic. Contrary to the fact that this question was closed with a bogus reason “off topic,” the consensus on the meta question seems to be that the theory of programming languages is perfectly in scope, which I agree. (more) $\endgroup$ Sep 16, 2010 at 11:02
  • 1
    $\begingroup$ (Cont’d) Moreover, one of the users who voted to close this question explained on the meta page that he did so because the question was too broad, not because the theory of programming languages was out of scope. I sincerely hope that the unfortunate fact that this question was somehow closed with the bogus label “off topic” will not make people working on the theory of programming languages turn their back on this website. $\endgroup$ Sep 16, 2010 at 11:02


Browse other questions tagged or ask your own question.