シェイプの作成に関する詳細情報を公開すると、完全なリターン型を指定する必要があるため、ASCIIアートモジュールのパブリックインターフェイスの一部ではない型をリークする可能性があります。 モジュール内のコードはさまざまな方法で同じ形状を ...

これを「消費」ポジションのOpaque typeの方の選択を「反転」させることで可能にすることができると思われる。 これを理解するために、opaque result typesを「リバースジェネリクス」と見なして、関数の -> の後にジェネリックパラメータのリストが指定できて、呼び出し先が方を選択することができるとする。