目录 介绍 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将这种类型强制