大佬教程收集整理的这篇文章主要介绍了在Swift 3中实现Church Numerals时出现非转义错误,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
func num@L_675_3@urch(n: int) -> ((int) -> int) -> Int { return { (f: (int) -> int) -> (int) -> Int in return { (x : int) -> Int in return f(num@L_675_3@urch(n: n - 1)(f)(X)) } } } func churchToNum(f: ((int) -> int) -> (int)-> int) -> Int { return f({ (i : int) -> Int in return i + 1 })(0) }
return f(num@L_675_3@urch(n: n - 1)(f)(X))
我不断收到编译时错误“关闭非转义参数’f’可能允许它逃脱”.作为快速修复,我接受了推荐的更改以包含@escaping:
func num@L_675_3@urch(n: int) -> ((int) -> int) -> Int { return { (f: @escaping (int) -> int) -> (int) -> Int in return { (x : int) -> Int in return f(num@L_675_3@urch(n: n - 1)(f)(X)) } } }
但即使在进行更改后,我仍然会被告知同样的错误,并建议在“f:”之后添加另一个@escaping.我知道这与标记函数参数@escaping有关,告诉编译器可以存储或捕获参数以进行函数编程.但我不明白为什么我一直收到这个错误.
解决原始的非逃避问题
帮助理解Swift cont中的教会编码:
func zero(_f: int) -> (int) -> Int { return { (x: int) -> Int in return x } } func one(f: @escaping (int) -> int) -> (int) -> Int { return { (x: int) in return f(X) } } func two(f: @escaping (int) -> int) -> (int) -> Int { return { (x: int) in return f(f(X)) } } func succ(_ f: int) -> (@escaping (int) -> int) -> (int) -> Int { return { (f : @escaping ((int) -> int)) -> Int in return { (x : int) -> Int in return f(n(f)(X)) } } } func sum(m: @escaping ((int) -> (int) -> int)) -> ((int) -> (int) -> int) -> (int) -> (int) -> Int { return { (n: @escaping ((int) -> int)) -> (int) -> (int) -> Int in return { (f: int) -> (int) -> Int in return { (x: int) -> Int in return m(f)(n(f)(X)) } } }
正如您的链接文章所说,“所有教会数字都是带有两个参数的函数.”那样做吧.使它成为一个双参数功能.
typealias Church = (_ f: ((int) -> int),_ x: int) -> Int
现在你想要在函数中包装N次:
// You Could probably write this iteratively,but it is pretty elegant recursively func num@L_675_3@urch(_ n: int) -> Church { // Church(0) does not apply the function guard n > 0 else { return { (_,n) in n } } // Otherwise,recursively apply the function return { (f,X) in num@L_675_3@urch(n - 1)(f,f(X)) } }
func churchToNum(_ church: Church) -> Int { return church({$0 + 1},0) }
刚刚建立起来,你可以讨好它(我想我只是在说@kennytm也回答了什么).在Swift中,Currying稍微复杂一些:
typealias Church = (@escaping (int) -> int) -> (int) -> Int func num@L_675_3@urch(_ n: int) -> Church { // Church(0) does not apply the function guard n > 0 else { return { _ in { n in n } } } return { f in { x in num@L_675_3@urch(n - 1)(f)(f(X)) } } } func churchToNum(_ church: Church) -> Int { return church({$0 + 1})(0) }
有一个非常合理的问题:“为什么我在第二种情况下需要@escaping,而不是在第一种情况下呢?”答案是,当您在元组中传递函数时,您已经将其转义(通过将其存储在另一个数据结构中),因此您无需再次将其标记为@escaping.
对于您的进一步问题,使用类型可以大大简化此问题,并帮助您更清楚地思考类型.
那么零的参数是什么?没有.这是一个常数.那它的签名应该是什么?
func zero() -> Church
我们如何实现它?我们应用f次零
func zero() -> Church { return { f in { x in x } } }
一和二几乎完全相同:
func one() -> Church { return { f in { x in f(X) } } } func two() -> Church { return { f in { x in f(f(X)) } } }
func succ(_ n: @escaping Church) -> Church {
因为这是Swift,我们需要通过添加@escaping和_来稍微轻推一下,以使事情更自然. (Swift不是一种函数式语言;它以不同的方式分解问题.编写函数不是它的自然状态,因此语法的过度使用不应该让我们感到震惊.)如何实现?再向n施加一个f:
func succ(_ n: @escaping Church) -> Church { return { f in { x in let nValue = n(f)(X) return f(nvalue) } } }
再说一次,总和的本质是什么?好吧,我们心情不好,所以这意味着它是一个功能,需要一个教会,并返回一个功能,并返回一个教会.
func sum(_ n: @escaping Church) -> (@escaping Church) -> Church
同样,需要一些额外的语法,因为Swift. (并且如上所述,我添加了一个额外的let绑定,只是为了让这些碎片更加清晰.)
func sum(_ n: @escaping Church) -> (@escaping Church) -> Church { return { m in { f in { x in let nValue = n(f)(X) return m(f)(nvalue) } } } }
这里深刻的教训是教会类型的力量.当你试图将教会数字视为“等等等等等等的函数”时,你会很快迷失在咖喱和句法中.相反,将它们抽象为“教会数字”,并考虑每个功能应该采取和返回的内容.请记住,教会号始终是一个接受Int并返回Int的函数.无论嵌套多少次,它都不会增长或缩小.
值得在其他几个方向上采用这个例子,因为我们可以发表一些更深入的FP概念,以及Swift应该如何编写(这些都不一样……)
首先,用尖锐的风格写出教会数字是……不优雅的.感觉很糟糕.教会数量是根据功能构成而非应用来定义的,因此它们应该以无点的风格IMO编写.基本上,无论你在{x in …}}中看到{f},都只是丑陋且过度语法化.所以我们想要功能组合.好的,我们可以深入研究一些实验stdlib features并得到它
infix operator ∘ : CompositionPrecedence precedencegroup CompositionPrecedence { associativity: left higherThan: TernaryPrecedence } public func ∘<T,U,V>(g: @escaping (U) -> V,f: @escaping (T) -> U) -> ((T) -> V) { return { g(f($0)) } }
现在,这对我们有什么影响?
func num@L_675_3@urch(_ n: int) -> Church { // Church(0) does not apply the function guard n > 0 else { return zero() } return { f in f ∘ num@L_675_3@urch(n - 1)(f) } } func succ(_ n: @escaping Church) -> Church { return { f in f ∘ n(f) } } func sum(_ n: @escaping Church) -> (@escaping Church) -> Church { return { m in { f in n(f) ∘ m(f) } } }
所以我们不再需要谈论x了.我们更有力地捕捉教会数字的本质,IMO.总结它们相当于功能组成.
但所有这一切,IMO这不是伟大的斯威夫特. Swift想要结构和方法,而不是函数.它绝对不需要名为zero()的顶级函数.那是可怕的斯威夫特.那么我们如何在Swift中实现教会数字呢?通过提升成一种类型.
struct Church { typealias F = (@escaping (int) -> int) -> (int) -> Int let applying: F static let zero: Church = Church{ _ in { $0 } } func successor() -> Church { return Church{ f in f ∘ self.applying(f) } } static func + (lhs: Church,rhs: Church) -> Church { return Church{ f in lhs.applying(f) ∘ rhs.applying(f) } } } extension Church { init(_ n: int) { if n <= 0 { self = .zero } else { applying = { f in f ∘ Church(n - 1).applying(f) } } } } extension Int { init(_ church: Church) { self = church.applying{ $0 + 1 }(0) } } Int(Church(3) + Church(7).successor() + Church.zero) // 11
以上是大佬教程为你收集整理的在Swift 3中实现Church Numerals时出现非转义错误全部内容,希望文章能够帮你解决在Swift 3中实现Church Numerals时出现非转义错误所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。