language-theory
what exactly is a "register machine"?
From http://code.google.com/p/unladen-swallow/wiki/ProjectPlan I quote: \"Using a JIT will also allow us to move Python from a stack-based machine to a register machine, which has been shown to impro[详细]
2022-12-21 00:31 分类:问答Can all iterative algorithms be expressed recursively?
开发者_StackOverflowIf not, is there a good counter example that shows an iterative algorithm for which there exists no recursive counterpart?[详细]
2022-12-17 22:50 分类:问答What exactly are administrative redexes after CPS conversion?
In the context of Scheme and CPS conversion, I\'m having a little trouble deciding what administrative redexes (lambdas) exactly are:[详细]
2022-12-17 17:11 分类:问答datatype programming
I know of \"imperative\" and \"function开发者_StackOverflow社区al\" programming but there was little I could find on \"datatype\" programming. Is there such a thing and how is it related to the other[详细]
2022-12-13 15:01 分类:问答Exactly what is the difference between a "closure" and a "block"?
I\'ve found that lots of people use the words closure and block interchangeably. Most of these people can\'t explain what they\'re talking about.[详细]
2022-12-12 22:42 分类:问答Good information about type systems based on contracts/constraints?
Problem: I am looking for good introduction about type systems, which are based on contracts/constraints[详细]
2022-12-11 21:05 分类:问答