inline class DoggoId(val id: Long)
data class Doggo(val id: DoggoId, … )// usage

val goodDoggo = Doggo(DoggoId(doggoId), …)
fun pet(id: DoggoId) { … }

这么看它是 typealias 的扩充，和 Haskell 里的 newtype 有点像

是的，我经常 typealias Cnt = Int (例如 val Sized.size: Cnt)
但是 >=0 检查怎么做到 compile time，而且这往往是编译期无法推断的

没听说过，看起来不是我开始想的那样
我开始的时候是想给自己的 github.com/ParserKt 用上这个 trick 的，然后性能估计就可以赶对面的 scala fast-parse

但是既然主要是编译期，而且还 exactly one field…… 感觉和幻想有点差距，而且 one field 里的 property 肯定是不能内联的，我刚才想的是 inline class = >1 * inline funs

是啊，这应该可以支持了吧
不过 reified 好像和 inline 没关系啊…… 啊，不对，就可以 Array<T> 了

不还是 experimental 的吗…… 还有修改的机会

reified type parameter for reified classes ?

可 reified 在之前的 Kotlin 里一直和 in/out 一样，是 type parameter modifier 啊

我觉得语义上关系不大还是不要扩展好……

Kotlin 一直以来是门相当克制的语言， reified 的中文是「整齐的」，换到 type parameter 的意思是让它和其它 real class(type) 一样能进行 is, ::class 这种操作，但 reified class…… 的语义是什么

我觉得可以做成 annotation 的形式， Kotlin 之前 @BuilderInference, @DslMarker 又不是没有过

感觉目前的 inline class 算是 extension val/fun 的一种规范化形式(+type checks)，但它实际上的确给了 exactly one field class 一种 zero cost abstraction (compile-time fully) 的定义方法。其他人的理解有不一样的吗？