【文件属性】：
文件名称：rdl：Ruby的类型，类型检查和协定
文件大小：230KB
文件格式：ZIP
更新时间：2021-02-21 02:42:03
Ruby
目录
介绍
RDL是一个轻量级系统，用于向Ruby添加类型，类型检查和协定。 在RDL中，类型可用于装饰方法：
require 'rdl'
extend RDL :: Annotate # add annotation methods to current scope
type '(Integer, Integer) -> String'
def m ( x , y ) ... end
这表明如果给定两个Integer参数，则m返回一个String 。 如上编写时，RDL将这种类型强制为在运行时检查的协定：当调用m ，RDL检查m是否正好给了两个参数，并且都是Integers ，并且m返回String的实例。
RDL还可以根据其签名静态地键入检查方法主体。 例如：
file . rb :
require 'rdl'
extend RDL :: Annotate
type