2013-11-21 8 views
27

最近のhistでは、Strange Loopでtalk Martin Oderskyは、Scalaの今後のバージョンDottyのビジョンを明らかにしました。私はこれが進行中であることを理解しており、多くの可能性のある後方互換性の問題のためにScalaに流入しないかもしれません。しかし、それが起こった場合、今日ScotalaでDottyとの前方互換性をどのようにプログラムする必要がありますか?私は話からすべてのアイデアを得られなかったので、変更を要約し、どのようにしてそれらに準備することができるかを説明するために、もっと深い人がいたいと思います。ScalaでDottyと前方互換性を持たせるためのプログラミング方法

答えて

10

話の最後に、彼は"if your program is compiled without any language feature imports for higher-kinded and existentials then you should be ok"と言っています。

私が正しく理解しているのは、コード内に存在する型または上位の種類の可能性のある使用法です。

33

他の唯一のアドバイスは、型メンバーを含む構造型から離れていることです。これらの型メンバーはScalaの型チェックを完全に行う要素ですが、私はそれをドットでサポートしたいかどうかはまだ分かりません。 valとdefのみを含む構造型は、引き続きサポートされます。

+2

Scalazのような高級タイプに大きく依存しているライブラリは、別のスタイルで書き直すべきですか?私が理解しているように、後方バイナリ互換性はなく、Dotty Scala以前のバージョンでコンパイルされたコードはDottyで動作しません。 – Tvaroh

+1

伝えるのは時期尚早です。我々は、合理的な努力以上を必要としない限り、高級品種との後方互換性を維持する。 –

+1

これらの回答は、今日でもまだ関連していますか? –

関連する問題