从根本上讲，类型推断是约束解决技术，往往对使用哪些约束开始具有多个合理的选择。

Fundamentally, type inference is a constraint-solving technique, and there are often multiple reasonable choices for which constraints to start with.

youdao

可是当时我自己也捉摸不住自己，不知道哪些话可以讲，哪些话应该讲。

But I was not then master enough of myself to know what could or ought to be revealed.

youdao

但同时他们也要和患者再联系，真正的技巧不是听患者讲的所有的事情，而是通过患者的描述确定哪些可能和他们的治疗相关，并和患者求证。

The real skill here is really not hearing everything the patient says. It's hearing everything the patient says, determining what might be relevant for their care and checking back on that.

youdao

Or what you worked on.

或者可以讲你做了哪些研究。

普林斯顿公开课 - 人性课程节选

What are common mistakes Korean students make when speaking English?

韩国学生讲英语的时候，有哪些常见错误？

韩国人经常犯的失误 - SpeakingMax英语口语达人

And that's just a way of reminding you that we want to think carefully, but what are the things we're trying to measure when we talk about complexity here? It's both the size of the thing and how often are we going to use it? And there are some trade offs, but I still haven't said how I'm going to get an n log n sorting algorithm, and that's what I want to do today.

这只是在提醒你们我们要仔细的思考问题,但是当我们在讨论复杂性的时候,我们到底要衡量哪些东西？,是列表的大小和对其进行查找的频率吗？,这里面临一些取舍,但是我还没有说明,怎样得到一个n，log，n复杂度的排序算法,并且这是我今天想要讲的内容。

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