rdl：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