x It says, take the name x and create a binding for that name to the value of the sub-expression and in fact to do this, to stress a point, let's do that.

它的意思是，创建了一个名字,然后创建了对于这个名字,和子表达式的值的绑定,实际上这么做，我们是为了，要强调一个点，让我们来说说这个点。

麻省理工公开课 - 计算机科学及编程导论课程节选

OK, but nonetheless, I want to stress we have both a value, yeah, and a type.

好，但是尽管如此，我想要强调我们有了一个值，和一种类型。

麻省理工公开课 - 计算机科学及编程导论课程节选