xuwei https://blog.hatena.ne.jp/xuwei/ xuwei-k's blog https://xuwei-k.hatenablog.com/ scala dotty 今までのScala 2だとAux Patternやimplicit色々使って書くようなやつが、3だとこうやって書けるよ、という話。 https://gist.github.com/xuwei-k/924c69482c972d7bac496922ed725f79 でもこれだと、型は生成出来ても、valueOfなどで実際の値が生成できないんだけど、どうすればいいのか少し悩んだけどよくわからなかったので、一旦諦めた・・・。 あと、TupleをHList的に使おうとしたけど、 (1, 2, 3) が (Int, Int, Int) になってしまって、いい感じに扱えなかったので、わざわざHListを自作… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxuwei-k.hatenablog.com%2Fentry%2F2021%2F02%2F21%2F153451" title="Scala 3のMatch Typesを使って型レベルsort - xuwei-k&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-02-21 15:34:51 rich https://xuwei-k.hatenablog.com/entry/2021/02/21/153451 1.0 100%