合計型-Haskellで `show（Int | Double）`が `（show Int）|と異なる理由 （ダブルを表示） `

なぜこれらは同等ではないのですか？

show $ if someCondition then someInt else some double

そして

if someCondition then show someInt else show someDouble

if ... else最初の例の部分を単独で式に分離した場合Int | Double、TypeScriptで簡単に実行できるようなTypeのような匿名合計型でその型を表すことができないことを理解しています（TypeScriptについて言及しているため、 langaugeは頻繁に使用し、Sum型をサポートしているため、Eitherデータを使用する必要があるため、それに基づいてを呼び出しますshow。

ここで示した例はささいなことですが、私にとっては、someCondition「何かを表示し、何かが依存する」と考える方が理にかなっています。コードの重複が少ない場合（ここでは、ショーが2回繰り返されますが、長い関数のアプリケーションでif ... elseある可能性があり、2つ以上の分岐を検討する必要がある場合もあります）

私の考えでは、合計型（ここではInt | Double）を構成する各型がshow関数のパラメーターとして使用できるかどうかをコンパイラーがチェックし、型が正しいかどうかを判断するのは簡単です。さらに良いのは、show関数がstringパラメーターのタイプに関係なく常に返されるため、コンパイラーがすべての可能な「ブランチ」（したがってすべての可能なタイプ）を運ぶ必要がないことです。

そのような機能が存在しないのは選択によるものですか？それとも、実装するのは難しいと思いますか？

式のすべての部分は、適切に入力する必要があります。のタイプはのif someCondition then someInt else someDoubleようなものである必要がありますがexists a. Show a => a、Haskellはそのような実存定量化をサポートしていません。

更新：chiがコメントで指摘しているように、Haskellが和集合/積集合型（和/積型と同じではない）をサポートしている場合にも可能ですが、残念ながらそうではありません。

(,)Haskellには、軽量な構文で書かれた製品タイプがあります。のような軽量の構文を使用したsum型が(Int | String)優れたアイデアになるでしょう。現実はもっと複雑です。理由を見てみましょう（私はといくつかの自由を取ってNumいますが、それらは重要ではありません）。

if someCondition then 42 else "helloWorld"

これがのような型の値を返す必要がある場合(Int | String)、次に何を返す必要がありますか？

if someCondition then 42 else 0

(Int | Int)当然ですが、これが単純なものと異なる場合Intは、深刻な問題に直面しています。したがって(Int | Int)、plainと同じでなければなりませんInt。

これは合計型の単なる構文ではなく、まったく新しい言語機能であることがすぐにわかります。可能であれば別の種類の型システム。持っておくべき？

この関数を見てみましょう。

mysteryType x a b = if x then a else b

今、どんなタイプがmysteryTypeありますか？明らかに

mysteryType :: Bool -> a -> b -> (a|b)

正しい？同じタイプの場合はどうaなりbますか？

let x = mysteryType True 42 0

Int以前に合意したとおり、これは明白なはずです。今、mysteryType時々匿名和型を返す、そして時にはそれが、に応じて、どのような引数あなたは渡しません。このような表現をどのようにパターンマッチングしますか？地球上で何ができるでしょうか？"show"（またはインスタンスとなる他のタイプクラスのメソッド）などの些細なことを除いて、全体ではありません。言語に実行時の型情報を追加しない限り、つまり、typeof利用可能であり、Haskellはまったく異なる言語になります。

そうそう。HaskellがTypeScriptでないのはなぜですか？別のTypeScriptは必要ないからです。TypeScriptが必要な場合は、どこにあるかわかっています。