泛型前面说概念比较简单而且说过了，分型限制指的是对于他的泛型参数进行一个设置。一般代码可以尝试使用与客户端使用的特定类型实参不兼容的一般类型参数的方法、属性或成员。这是不可接受的，因为它相当于缺少类型安全。在 C# 中，您需要通知编译器客户端指定的类型必须遵守哪些约束，以便使它们能够取代一般类型参数而得到使用。
csdn上：
在定义泛型类时，可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类，则会产生编译时错误。这些限制称为约束。 约束是使用 where 上下文关键字指定的。 下表列出了六种类型的约束：
| 约束 |
说明 |
|---|---|
| T：结构 |
类型参数必须是值类型。 可以指定除 Nullable 以外的任何值类型。 有关更多信息，请参见使用可以为 null 的类型（C# 编程指南）。 |
| T：类 |
类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型。 |
| T：new() |
类型参数必须具有无参数的公共构造函数。 当与其他约束一起使用时，new() 约束必须最后指定。 |
| T：<基类名> |
类型参数必须是指定的基类或派生自指定的基类。 |
| T：<接口名称> |
类型参数必须是指定的接口或实现指定的接口。 可以指定多个接口约束。 约束接口也可以是泛型的。 |
| T：U |
为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。 |
其实也就是这样而已，为了增加安全，同时也让你自己多一些规范。
new 约束指定泛型类声明中的任何类型参数都必须有公共的无参数构造函数。当与其他约束一起使用时，new() 约束必须最后指定。
在应用 where T : class 约束时，避免对类型参数使用 == 和 != 运算符，因为这些运算符仅测试引用同一性而不测试值相等性。 即使在用作参数的类型中重载这些运算符也是如此。
现在说下lambda，其实就是一个简化的表达式而已：
Lambda 表达式是一种可用于创建委托或表达式目录树类型的匿名函数。 通过使用 lambda 表达式，可以写入可作为参数传递或作为函数调用值返回的本地函数。 Lambda 表达式对于编写 LINQ 查询表达式特别有用。
若要创建 Lambda 表达式，需要在 Lambda 运算符 => 左侧指定输入参数（如果有），然后在另一侧输入表达式或语句块。 例如，lambda 表达式 x => x * x 指定名为 x 的参数并返回 x 的平方值。
详细见： http://msdn.microsoft.com/zh-cn/library/bb397687.aspx然后对于表达式树，其实就是一个树结构，对应的节点为运算式。还是直接看比较好说：
http://msdn.microsoft.com/zh-cn/library/bb397951.aspx?cs-save-lang=1&cs-lang=csharp#code-snippet-2