返信ありがとうございます。 テストコードを書いたり実行時のテストを怠ったりしないのと、開発時に実行されないコードもないだろうというところから、 静的と動的での型チェックに特に大した違いがあるとは思っ…

はじめまして。 ちょっと失礼な感想にはなりますが、ざっと記事を読んだ限りでは、静的型（コンパイル時チェック）と 動的型（実行時チェック）が区別できていないのでは、という印象を持ちました。記事中で用い…

コメントありがとうございます。 -compile(export_all) は知らなかったです。何故、importの方に-import(M, all) みたいなのがないのか、という疑問は依然としてあり…

@cedretaber ありがとうございます。ミスりました(^^; Erlang と Elixir との書き間違えの修正. by cedretaber 2018/11/21 00:38

こんにちは。私の場合KotlinよりScala好きとしての経験から来る意見なんですが、似た事情があるのでちょっとコメントしてみました。 @yoichiwo7 さんが挙げられた理由に加えて、そもそも、…

一般的には、プログラムから見えるような推論を型推論と呼ぶかと思います。挙げられている記事の「型推論」は、最近ありがちな解釈が拡大しちゃったケースじゃないかという印象があります。 特に、 実行時の変数…

albireoさん 「まず変数宣言を解決して型が確定してから、右辺の初期値についての解釈が行われる」という形を取っていたため たぶん何か勘違いされているのではないかと思います。というのは、昔であれ、…

blackenedgoldさん： おっしゃる通り、レコードがある場合無理ですね…。OCamlが列多相あるので、SMLにないことすっかり忘れてました。 ありがとうございます。本文に追記しておきます。 …

@xuwei_k さん、ありがとうございます。そんなところにソースが…

既に時期を逸した感がありますが、ローカル変数の型推論に関する議論に関して。私の経験からいうと、 型を省略した方が明らかにわかりやすい場合と逆にわかりにくくなる場合、どっちもあるというのが正直な 感想…

１年以上前の記事にコメントするのは気が引けたのですが、ボクシングのところで、ん？と思った部分があります。 JVM言語を使っているとボクシングのコストは結構高いというのが実感としてありまして、なのでボ…

returnの戻り先については、おっしゃるイメージで間違いないです。もうちょっとScalaっぽく書くと、 def aMethod(): Type = body これが def aMethod(): …

こんにちは。参考にされているテキストの執筆者の一人です。逆変は反変が定訳だと思いますが、それはともかく、反変はあんまり意識して使う場面はないと思います。典型的には、関数の引数の型が反変指定されていま…

こんにちは。何点か間違いが見られたので指摘させていただきます。 withについて 正確にはスコープ関数ではないらしいが という記述がありますが、withがスコープ関数でないというのは考えづらいです。…

@Akai_Banana さん 正直に申し上げると、私の感覚だと、gistのものもやはり「ネイティブコード」を生成している （と同時に実行している）」ように思えます。しかしこれは要するに恐らく「ネイ…

@Akai_Banana さん 別の点についての指摘ですが、 「なんでchar str[] = "Hello World"; なの？ var str = "Hello World";でいいじゃん？ …

@Akai_Banana さん 私が改めて指摘しようとした点については、 @SSW-SCIENTIFIC さんがほとんど指摘された通りですが、Pythonインタプリタにおいて、加算を行うプログラム、…

つまり、Pythonはコードを一行ずつ機械語(010011011...）に変換（コンパイル）して動作します について、補足にて、 ここでの細かい流れは、モジュールレベルでは ソースコードの字句構文…

先読みと後読みは、CSの色々な分野で既に定訳になっていると思うので、呼称変更はむしろ混乱するというか、あえて定訳を無視する程の意味を個人的には感じないです。日常用語と専門用語で、同じ単語が異なる意味…

@raccy 自分としては、データは面白かったけど、考察はあまりに荒いなという印象を持ちました。PythonとRubyの複雑さについては、自分自身、Rubyの色々複雑な（構文的な部分と意味論的な部分…