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)
