水島 宏太

@kmizu

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史
Tokyo, Japan
Organizations
Following Tags1
Following Users67
一般的には、プログラムから見えるような推論を型推論と呼ぶかと思います。挙げられている記事の「型推論」は、最近ありがちな解釈が拡大しちゃったケースじゃないかという印象があります。 特に、 実行時の変数…
albireoさん 「まず変数宣言を解決して型が確定してから、右辺の初期値についての解釈が行われる」という形を取っていたため たぶん何か勘違いされているのではないかと思います。というのは、昔であれ、…
既に時期を逸した感がありますが、ローカル変数の型推論に関する議論に関して。私の経験からいうと、 型を省略した方が明らかにわかりやすい場合と逆にわかりにくくなる場合、どっちもあるというのが正直な 感想…
こんにちは。参考にされているテキストの執筆者の一人です。逆変は反変が定訳だと思いますが、それはともかく、反変はあんまり意識して使う場面はないと思います。典型的には、関数の引数の型が反変指定されていま…
こんにちは。何点か間違いが見られたので指摘させていただきます。 withについて 正確にはスコープ関数ではないらしいが という記述がありますが、withがスコープ関数でないというのは考えづらいです。…
つまり、Pythonはコードを一行ずつ機械語(010011011...)に変換(コンパイル)して動作します について、補足にて、 ここでの細かい流れは、モジュールレベルでは ソースコードの字句構文…