(背景:我一直在考虑做关于F#和函数式编程的演示.从经验来看,我认为模式匹配和类型推断的'哇'因素不一定足以抵消'帮助!'因素"是我的大括号和分号,我的代码将脱离边缘!".这让我想到真正令人惊叹的因素 - 对我来说 - 这是1)如果它编译,通常这意味着它的工作原理2)您经常可以从类型中推断出实现)
Channel9与Brian Beckman和Erik Meijer 有一段视频,他们提到了实现有时只是"失去"函数的类型签名.我过去也经历过这种情况,但是不能提出一个很好的例子,这个例子很容易呈现给没有任何功能经验的人.
有没有人有一个很好的例子可以分享?(它不必在F#中)
UPDATE
如果有任何帮助,我认为我们需要以不同的方式思考:实际的难题如下:
我有一些给定类型的数据,我想将它转换为另一种类型,我有一组具有给定签名的函数.
这是你必须插在一起的"乐高".