英语语法分析

BoatHaskell is statically typed.

haskell是静态类型的。

Note that this is statically typed.

注意，这是静态输入的。

Statically forbid polymorphic recursion.

静态禁止多态递归。