我一直在研究依赖类型，我理解以下： >为什么universal quantification表示为依赖函数类型。 ∀(x：A).B(x)表示“对于类型A的所有x，存在类型B(x)的值”。因此，它被表示为一个函数，当给定任何类型A的值x返回类型B(x)的值。 >为什么existential quantification表示为依赖对类型。 ∃(x：A).B(x)表示“存在类型A的x，其中存在类型B(x

VB6 与 .NET 联合 前言：以前读大一的时候还是蛮喜欢VB6的， 学了C#以后就总是想着如何让VB6和C#的组件可以互相调用，可惜当时没有看到这篇好文章。现在VB6基本上不用了（在公司偶尔还写一下），但还是把这篇文章贴出来，已被以后可能用到。 因为公司之前有个技术问题问我——“如何让.NET的组件在Linux上跑？”。 我真想问：可以吗？至少现在不可以。如果有谁知道可以的话，请发个过来。 后