問題タブ [ascription]

There's not much info in the spec on what type ascription is, and there certainly isn't anything in there about the purpose for it. Other than "making passing varargs work", what would I use type ascription for? Below is some scala REPL for the syntax and effects of using it.

標準 ML で、渡された構造体のすべての機能と新しい機能を備えた構造体をファンクター出力にする方法はありますか。

同様に、複数の帰属を行うことは可能ですか？上記の場合、ファンクタの出力を元の構造のシグネチャと新しい機能を指定する別のシグネチャの両方に帰することができるため、すぐに役立ちます。

そのようなことをすることの意味と、それが悪い考えである理由を理解しています。現在、渡された構造体のコピーをファンクター出力内に保持しているだけですが、これは、基本機能にアクセスするための「Foo.Bar.func」の長いチェーンがあることを意味します。

ありがとう

Haskell の謙虚な恒等関数を例にとると、

Haskell がおそらく非予測的ポリモーフィズムをサポートしていることを考えると、型の帰属を介して型idに「制限」できるべきであることは合理的であるように思われます。(forall a. a -> a) -> (forall b. b -> b)しかし、これはうまくいきません:

もちろん、必要な署名を使用して、恒等関数の新しい制限された形式を定義することは可能です。

ただし、一般的な観点から定義するとid機能しません。

それで、ここで何が起こっているのですか？非予測性の難しさに関係しているように見えますが、有効に-XImpredicativeTypesしても違いはありません。

私がやろうとしていること：

MyObject.myMethod(_:MyType.myAttribute)

これは失敗します

type myAttribute is not a member of object MyObject

どちらが正しい。問題は、に帰するのではなく、myMethodのmyAttributeを呼びたいということです。どういうわけかタイプアクリプションをグループ化できますか？タイプを返しますが、これは私が望むものではありません。_:MyTypeMyType:myAttribute__:MyType(_:MyType).myAttributeMyType => classOf(myAttribute)

編集：私はこの投稿のタイトルとテキストを変更して、これをドットの結合性として参照しないようにしましたが、これは正しくないと思います。