問題タブ [structural-typing]

scala での構造マッチングに関するいくつかの質問

質問 1) 次のコードでは、テイクオフに必要なオブジェクトと構造的に一致するため、渡しBirdて渡すことができますか?PlanetakeOffBirdPlaner

質問 2) ReflectiveCalls とは何ですか? インポートする必要がありましたscala.language.reflectiveCalls。そうしないと、警告が表示されますreflective access of structural type member value callsign should be enabled by making the implicit value scala.language.reflectiveCalls visible.

質問 3) 次のように作成するにはどうすればよいですかBird: val bird = new Bird("Polly the parrot"){ val callsign = name }. だけではないはずval bird = new Bird("Polly the parrot")です。どうしてこれがコンパイルされるのですか。

質問 3.1)。bird私は追加を渡したので、まだタイプですか、Birdそれとも他のタイプですか{...}

4) の型は何rですかtakeOff。

いくつかの関数に基づく型でクラスを宣言しようとしています。

readC は A と B の両方で機能するはずです。また、A と B のクラスを変更できないため、ここでは特性ベースのソリューションは機能しません。

また、それを行うより良い方法はありますか？

次のコードは、Java で予想される型エラーを生成しますが、TypeScript はそれをエラーとは見なしません。これは仕様によるものですか、それとも TypeScript のバグですか?

実際、TypeScript はこれをエラーとは見なしません。

TypeScript はすべてのクラスを公称型ではなく構造型として扱いますか? 私はクラスを名目上の型として扱う Java と Flow に慣れています。

tree1構文木で表される式とtree2が同じ型かどうかを判断したい。の型チェック方法を使ってやってみましたがscala.tools.reflect.ToolBox、実際の Scala の型と矛盾しているようです。

ここでツールボックスを作成します。

型の不等式を報告します。

タイプの表現を求めます：

これらのタイプが正常に統合されました。

最後のスニペットで行われているのと同じようなタイプの式をチェックしてtree1表現tree2することはできますか?

編集：最小限の定義

Step入力としてtype の値を必要とAし、 type の値を与えるa の概念がありますB。

ここで、2 つのステップを作成したいので、内部は次のようになりますclass Step。

私が達成したいのは、型Bを期待する関数に型を渡すことができることを型システムに何らかの形で伝えることですC（構造型付けは、 のすべてのフィールドCが に存在することを確認する必要がありますB）。これにより、行が正常にreturn nextStep.run(b)機能します。

例：

ご覧のとおりstepB、 requires が入力であるため、 is{a: number}からの出力を供給することができます。しかし、 で関係を定義する方法がわかりません。これを達成する方法はありますか？stepA{a: number, b: string}andThen