do 绑定
在不定义函数或值的情况下使用 do 绑定来执行代码。 此外，do 绑定可以在类中使用，请参阅类中的 do 绑定。
语法
[ attributes ]
[ do ]expression
备注
如果想独立于函数或值定义执行代码，请使用 do 绑定。 do 绑定中的表达式必须返回 unit。 初始化模块时，执行顶级 do 绑定中的代码。 关键字 do 是可选的。
特性可以应用于顶级 do 绑定。 例如，如果程序使用 COM 互操作，可能需要将 STAThread 特性应用于程序。 为此，可以在绑定上使用 do 特性，如以下代码所示。
open System
open System.Windows.Forms
let form1 = new Form()
form1.Text <- "XYZ"
[<STAThread>]
do Application.Run(form1)
