koher

明示できるようにした上で、デフォルトで省略はありなのかなぁと思ったけどダメかなぁ。

ちなみに推論に任せる場合の悩ましさとして、右辺値から左辺値に代入する過程で生じうる暗黙の型変換が存在するので、そういう怖さはありますね

3:46 AM

例えば、左辺が Int? だった場合に、右辺が Int で推論されるのか Int? で推論されるのかが、 decode の場合は重い違いになってきます。

3:47 AM

代入文の右辺値・左辺値間もそうだし、関数呼び出し時の　実引数・仮引数間にも変換が生じます（しかもこっちは関数呼び出し用の謎変換が候補に追加される）