Swiftは関数型の型推論にどのくらい耐えられるのか - Qiita

Swiftを書いていらっしゃる方なら、型推論が弱くて困る経験をされたことがあるかもしれません。 Expression was too complex to be solved in reasonable time ~~最近↑に愛着湧いてきました。~~嘘です。 気になったので、Swiftに関数型の型推論を少しずつ食わせていってどこで潰れるか少しだけ試してみることにします。 実験道具 さっきわたしが拾ってきたものを使う。 App StoreにあったXcode7.2(7C68) Argo v2.2.0 Argoはjsonのパースをするものである。結果が enumの Decoded<T> であり、functor( <^> )とapplicative( <*> )と、それから map / flatMap を使うと楽しい。 詳しい話は色々な方がすでにされているので省略。 題材 次のようなものをつくって

[gomi_ningen]

同じ苦しみを感じるひとが見つかってよかった