@antimon2 さん、アドバイスありがとうございます。定義済みのUnicode変数はあるだろうなとは思っていました。πはたまたま思いついて上書きしただけで、そのような作法が良いとは思っていません。…

リンク先のコードを参照しながら、演算子を定義してもう少しスマートにしてみました。 type Success value next success Success(value, next) = new…

@bicycle1885 コメントありがとうございます。演算子のオーバーロード（oprator overloading等）で検索しても見つからなかったので、てっきりできない ものかと思っていました。…

@koher さん それとも、 implicit であることが型クラスの必要条件ということですか？ はい。まさしく、それが自分が言いたいことでした。 論理としては、まず、Functorという抽象化を…

Haskellの場合、デフォルトではRankNTypesが無効(forallが書けない)でありながらFunctorは 型クラスでサポートしているので、高階型の機能の一部を型クラスの機能がカバーする…

@koher さん。返信ありがとうございます。 もし Higher-kinded polymorphism に型クラス（相当のもの）が必要でないようであれば僕の認識違いです。 型クラスなしでそれが可…

@dai197x 型クラスは、言語機能として1989にPhillip Wadlerらにより提案されたものでして、少なくとも元々は型理論の用語ではありませんでした。ただ、Haskellの場合でいうと、…

こんにちは。型クラスのどの側面を重視するかについては、色々な側面があると思うので、今回はあまり深入りしないことにして、ただ、Haskell等の型システムと型クラスの組み合わせによって、初めて実現され…

こんばんは。本題ではないのですが、ちょっとした補足と、型システムは思われているよりもっと強力な問題解決に使えますよ！みたいな話をば。 この問題がやっかいなのは、これを型で解決することが困難なことです…

@koher 確認しました。ご対応ありがとうございます。

@koher さんがどう意図したかの問題でなく、「厳密に考える」レベル以前の問題で誤った説明なのだ、という意図でした。あからさまにまちがった説明（いや、挙動を理解されていることはわかるのですが、説明…

すいません。さらに誤りに気付いたので追記です： Int のメソッドを呼ぶのは Java で static メソッドに int を渡すのと等価です。そのため、パフォーマンス上の心配はありません。 In…

Kotlin では List や Map などのコレクションが、イミュータブルなものと ミュータブルなもので分かれています。たとえば List はイミュータブル、 MutableList が ミュ…

ちょっと補足なのですが Kotlin をほぼそのまま Scala に変換することはできるでしょうが、 逆は真ではありません。 Scala の方がカバーする範囲が広いためです。 これ、たしかに Kot…

やや失礼な、というか、ちょっと怒り気味のリプライをしたのにも関わらず、応対して くださり感謝します。ここからは通常モードに戻ります。 関数型の件については、私のコメントに関連してのものではなかったと…

えーと、ちょっと表現が皮肉っぽかったのもあって誤解を与えた部分があると思いますのでまず謝罪させていただきたいと思います。自分としては、JavaとKotlinを（ScalaをベースとしてKotlinが…

@omochimetaru さんご返事がおそくなって申し訳ありませんでした。 ところでC++には参照渡しは存在せず、参照型の値渡しができるだけではないかと思います。 なぜならTからその参照型T&を構…

6.0以前のVB（やそれを受け継いだVBA）では、デフォルトで参照渡しという仕様となっていて、 時折ハマります（さすがに.NETでは値渡しがデフォルトに切り替わったようです）。 実は以前、ふと「V…

あちゃー。まさかSwiftみたいな比較的近代的言語でそんなのがあると思ってなかったので、これは自分の落ち度です。ご指摘ありがとうございます。

言語の評価戦略が値渡しか参照渡しかと言うより、値渡しと参照渡しの二つの書き方が存在するという場合の方が多いと思います。 二つの書き方が存在する場合の方が多いということはないです。C++/C#/VB…