Statically forbid polymorphic recursion.

静态禁止多态递归。

Listing 10 Polymorphic definition of Facebook Special user.

清单10 Facebook特殊用户的多态定义。

This type will be used later to dispatch polymorphic behavior.

稍后，我们将利用这种类型来分派多态行为。

And change definition of polymorphic record is presented below.

多态记录的变更定义如下。

Probing of overloaded and polymorphic functions is not supported.

不支持探测重载和多态的函数。