kmizushima https://blog.hatena.ne.jp/kmizushima/ kmizuの日記 https://kmizu.hatenablog.com/ Onion Onionの仕様についてつらつらと考えていたら、自動ダウンキャスト以上になんかよろしくなさそうな箇所に気付いてしまった。というか、もっと早くに気付いとけよという代物だけど。Onionは静的型付け言語で、ローカル変数も(他の静的型付け言語同様に)静的に型付けされるのだが、代入式の左辺に現れるローカル変数が、その時点において宣言されていなければ、右辺の型から左辺のローカル変数の型を決定(あえて推論とは言わない。なんというか、推論してるというイメージではないので)する方式を取っている。たとえば、 x = 100;というコードがあって、この時点でxが宣言されていなかった場合、100というリテラルをin… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkmizu.hatenablog.com%2Fentry%2F20080808%2F1218161880" title="宣言と初期化と代入と - kmizuの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-08-08 11:18:00 rich https://kmizu.hatenablog.com/entry/20080808/1218161880 1.0 100%