project-valhalla-memo.adoc

title	date	draft	tags
Project Valhalla Memo	2022-10-23 18:28:19 +0900	true	java kotlin

用語

Inline Types

• https://wiki.openjdk.org/display/valhalla/L-World

• https://mail.openjdk.org/pipermail/valhalla-spec-experts/2019-April/000916.html

以前は "Value Types" と呼ばれていましたが、 "inline-types" にリネームされました。 (2019年4月頃？)

ユーザーからすると: クラスのように書き、intのように動く

ユースケース: 数値計算、代数的データ型、タプル、カーソル、…​

L-World

• https://wiki.openjdk.org/display/valhalla/L-World

• https://youtu.be/_26KZAegYRM

プロジェクト名(L-World project)。

primitive wrapper classes

値ベース・クラス

https://docs.oracle.com/javase/jp/8/docs/api/java/lang/doc-files/ValueBased.html

Kotlin の inline classes

value class Password(private val s: String)

https://blog.jetbrains.com/kotlin/2021/02/new-language-features-preview-in-kotlin-1-4-30/

1.3 で Alpha 版、 1.4.30 で Beta 版、 1.5.0 で正式版として導入された。

https://blog.jetbrains.com/kotlin/2018/07/see-whats-coming-in-kotlin-1-3-m1/#Inline_classes

1.3 時点での書き方は以下。コンパイルオプション -XXLanguage:+InlineClasses が必要。

inline class Name(internal val value: String)

https://blog.jetbrains.com/kotlin/2021/02/new-language-features-preview-in-kotlin-1-4-30/#Inline_value_classes

inline classes は、 value classes のサブセットとして

https://www.reddit.com/r/java/comments/r5hly6/jep_draft_value_objects_preview/