なるほど？

12:07 PM

うーん。右辺から左辺への順方向しか推論しない仕様にするのだとしたら、 (edited)

12:07 PM

それは値が書かれた式のコンテキストから値の型を決める事ができないという意味なので

12:09 PM

リテラル型のコンセプトがそもそも作れなさそうですね。リテラルの型は常にそれを書く式コンテキストから決まってるので。

12:10 PM

なのでC言語みたいに1.0f とか 1.0みたいに

12:11 PM

リテラルを書いたらそれが構文的に型を確定させるルールになると思います

12:12 PM

で、そのルールだったらリテラル混ざりの式がめっちゃ重いことはなくなると思います

12:12 PM

ただSwiftでも　Float(1) みたいにリテラルの単項に個別に型指定すればこの手の問題は起きないので、

12:14 PM

同じレベルの不便さを受け入れたら同じレベルに早くなる気もします

12:16 PM

元の岸川さんの貼ってるやつはなんだろうな、この部分式がBoolにならないパターンがあるから早くなるということだと思うけど・・・