-
I could generalize this pretty nicely. Imagine the same kind of idea where I want to simply say I want to take input of anything and try and see how to make sure I get the right kind of thing. I want to make it polymorphic.
对吧，我试着输入浮点数,我能更好的一般化它,想象下类似的想法，我需要输入些什么,然后看看输入的是否正确,我想使他更多元化些。
-
To figure out even what this thing is, let alone how to use it properly. So, you know, I'm sympathetic.
就连认出这是什么东西（都很困难），更别说正确应用它了，所以我很同情这点。
-
OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?
好，当你的代码语法,没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？
-
She couldn't do that because she didn't know what the right answer is.
她无法那样尝试,因为她并不知道正确的答案是什么
-
A little later we'll turn to the question of, well, if hedonism is not the right story, ? what else belongs on the list, or is it the right story?
过会，我们会转向探讨…,如果享乐主义是错误理论，名单上还有什么？它是不是正确的理论？
-
And what he would expect is if this Plum Pudding model is true, nothing's really going to happen to the particles, right, they should go straight through, because if they hit an electron, those are so small.
他所预期的是,如果李子布丁模型，是正确的，alpha粒子,不会发生什么事情,对吧，它们会直接穿过去,因为如果它们撞到电子。
-
and they don't remember the rules, but they just know it sounds right.
他们并不知道什么规则，就是知道那样听起来才正确。
-
What did you hear that allowed your brain to instantly go to that decision, make that correct decision?
你听到了什么,让你的大脑做出了,正确的决定
-
No, the right thing to do is to take care of yourself and the hell with the polis.
不,正确的做法是关心你自己,不用理会什么城邦
-
If Frederick Jackson Turner had anything right in "The Frontier Thesis", although he didn't pay hardly any attention to the South, this idea of a safety valve of a West to move to was surely there for slavery.
如果弗雷德里克·杰克逊·特纳,在《边境论》中有什么正确的言论,那就是,尽管他对南方几乎没有施以任何关注,即这个西进运动是一道安全阀的构想,显然是为奴隶制而设的
-
All right, the question is, as I started to say, is, "What are the right primitives?"
好了，就像我刚开始说的，问题在于，“什么才是正确的基本类型呢？“
-
So one of the questions is, well, what are the right primitives to use?
因此问题之一是，好吧，要使用的正确基本类型是什么呢？
-
The second thing is, what do I print out if I actually don't get the right input in?
第二件事是我没得到,正确类型的输入时输出什么？
-
What else might we want to see, to see if we got things working properly?
我们还希望看到什么呢，要看看我们的程序是不是正确运行的？
-
What's the right answer in fission?
裂变问题的正确答案是什么？
-
So, let's see what the correct answer is, Wakefield and it is, in fact, Wakefield, right, because there's an inverse relationship between how fast a particle is going and what its wavelength is.
所以，让我们来看看,正确的答案是什么，事实上，答案是，因为粒子运动的快慢,与它的波长之间是一个反比例关系。
-
Computing square root. I'm going to capture it in a piece of code, I'm going to be able to refer to it by a name, and I'm going to suppress the details, meaning inside of that computation, you don't need to know what it does. You just need to know, if I give it the right kind of input, it'll give me back an input that satisfies the contract that I set up.
比如计算平方根,我会用一段代码来说明,我将给它命名,并且忽略细节,意思就是在这一段计算过程中,你不用知道它做了什么，你只需知道，如果我进行了正确的输入,它将会给我符合条件的输出。
-
Although we need to offer a story about what makes the parts work when they're connected with each other and interacting in the right way, there's no need to appeal to anything beyond the physical.
尽管我们还需要探讨,是什么因素,使得各部分在正确的连接方式下,可以正常工作,但无需诉诸于物质之外的事物
-
Another way of saying it is, I've actually said, what did I use there, and , It's basically saying there is the first point, there's the second point, add them together and I get that point.
我要去做的是-对不起，再运行一次-好，你可以看到我已经把，这两个点的坐标值加到一块儿了，然后返回了r的值,我会让大家看到我们，实际上得到的是什么，这看起来不错，好,我做了正确的操作。
-
And in fact, now let me ask those two questions about this piece of code. First question is, for what values of integers-- we're going to assume integers-- but for what values of x does this code terminate? And the second question is, for what values of x does it give me back the right answer?
实际上，让我关于这块代码问两个问题,第一个问题是，对于什么样的整数值，我们会假设是整数,对于x的什么值程序,会最终终止？第二个问题是,对于x的什么值程序,会返回正确答案？
应用推荐