假设我在Ruby中使用简洁代码链接方法.我必须准确地知道链中每个方法调用的返回类型,否则我不知道下一个链接上有哪些方法可用.我每次都必须检查方法文档吗？我正在遇到这个不断运行的教程练习.我似乎陷入了一个引用过程,推断,运行,失败,修复,重复以使代码运行,而不是确切地知道我在编码期间正在使用什么.面对Ruby对直觉性的承诺,这种情况变得苍白无力.
假设我正在使用第三方库,我需要知道哪些类型允许传递参数,否则我会失败.我可以查看代码,但可能有也可能没有任何注释或声明该方法所期望的类型.我理解您基于方法的代码可用于对象,而不是类型.但是我必须确定我传递的任何参数都包含库所期望的所有方法,所以我仍然需要进行类型检查.我是否必须希望并祈祷所有内容都在接口上正确记录,所以我知道我是否应该给出一个字符串,一个哈希,一个类等等.
如果我查看方法的来源,我可以获得一个被调用的方法列表并推断出预期的类型,但我必须执行分析.
Ruby and duck typing: design by contract impossible?
前面的stackoverflow问题中的讨论并没有真正回答除了“你必须遵循的流程”之外的任何事情,而且这些流程似乎不是标准的,每个人对要遵循的流程有不同的看法,而且语言有零执法.方法验证？测试驱动设计？记录的API？严格的方法命名约定？什么是标准,谁来决定它？我该怎么做？这些指导方针是否会解决这一问题https://stackoverflow.com/questions/616037/ruby-coding-style-guidelines？编辑有帮助吗？
从概念上讲,我也没有获得优势.您需要知道所调用的任何方法需要哪些方法,因此无论您在编写任何代码时都在键入.您只是没有明确告知语言或其他任何人,除非您决定将其记录下来.然后你就会在运行时而不是在编码期间进行所有类型检查.我已经完成了PHP和Python编程,我也不了解它.
我错过了什么或不理解？请帮助我理解这个范例.
解决方法
通常没有关于如何记录这一点的指南(并且大部分时间都不可能).请参阅ruby文档中的例如map
map { |item| block } → new_ary
map → Enumerator
这里的item,block和new_ary是什么以及它们如何相关？除非你知道实现或者可以以某种方式从函数的名称推断它,否则无法判断.指定类型也很难,因为new_ary取决于哪个块返回,而这又取决于项的类型,对于Array中的每个元素,它可能是不同的.
很多时候,你还会偶然发现一个文档,说明参数是Object类型,因为一切都是Object,所以它再次告诉你什么.
OCaml有一个解决方案,它支持结构类型,因此需要一个具有属性foo的对象的函数将被推断为{foo：String}而不是具体类型.但是OCaml仍然是静态类型的.
值得注意的是,这也可能是静态类型语言中的一个问题. Scala对集合有非常通用的方法,导致类型签名,如[B>：A,那](即：GenTraversableOnce [B])(隐式bf：CanBuildFrom [Array [T],B,That])：用于追加两个系列.
因此,大多数情况下,您只需要在动态类型语言中学习这一点,并且可能有助于改进您正在使用的库的文档.
这就是为什么我更喜欢静态打字;)
编辑可能有意义的一件事是做Scala也做的事情.它实际上并没有显示默认的类型签名,而是显示[B](即：GenTraversableOnce [B])：数组[B]不是通用的,但可能涵盖了大多数用例.因此对于Ruby的地图,它可以具有像Array< a>的单形类型签名. – > (a – > b) – >阵列< b取代;.它仅对于列表仅包含一种类型的值并且块仅返回另一种类型的元素的情况才正确,但它更容易理解并且更好地概述了该函数的作用.
