なるほど。implicit functionはそういうものでしたか。厳密には違うけど（私が想定していたのは）

let topMargin = 190 // ここの左辺の型を右辺からじゃなくて、 ...constraint(equalTo: view.topAnchor, constant: topMargin) // ここの代入から推論してくれてもいいんじゃない？

だったんですけど、

10:21 AM

よく考えると絶対訳わからないことになるだろうから、Scalaの暗黙変換みたいなのはそれはそれでちょうどいい感じな気はします。

10:21 AM

Swiftっぽくはない。

10:24 AM

たぶん同じ仕組みだと let topMargin = 190 // ここは右辺からIntと推論 topMargin) // ここでCGFloat(190) を暗黙的によぶ ということだと思うので、厳密には違いそう。 (edited)