These are chat archives for scalajp/functional

30th
Mar 2016
kkismd
@kkismd
Mar 30 2016 02:52
shapeless HListの「型レベル自然数を使って型安全に要素を取り出す」って説明の意味ですが、
apply(n: Int) だと返り値を Any にするしかないけど
apply[N <: Nat] にすれば型引数ごとに返り値の型を静的に決めることができる
という認識で合ってますか?
kkismd
@kkismd
Mar 30 2016 02:59
N番目の要素を取り出す操作がまだ見つけられないので上の apply というのは想像です
List.apply(Int) と違って size 以上の Nat はコンパイルエラーになるのが嬉しいですね
kkismd
@kkismd
Mar 30 2016 05:38
ありがとうございます
syntaxのほうにあったんですねー
core/src/main/scala/shapeless/hlists.scala
こっちのほうを見て無い無い言ってました
kenji yoshida
@xuwei-k
Mar 30 2016 05:42
全部そういう感じでsyntaxに定義されてたり、ちょっと読み方わかってないとshapelessのコードはアレですね
kkismd
@kkismd
Mar 30 2016 08:01
僕はいまだに scalaz のほうの読み方も分かってなくてアレです(自分が)