Slide 33
Slide 33 text
What is type?
Kotlin/Arrow
val list = NonEmptyList.of(1, 2, 3)
val tail = list + listOf(100)
println(tail)
// NonEmptyList(all=[1, 2, 3, 100])
println("${tail.contains(1)}")
// true
println("${tail.contains(100)}")
// true
Scala/Scalaz
val list = NonEmptyList(1, 2, 3)
val tail = list +: List(100)
println(tail)
// List(NonEmpty[1,2,3], 100)
println(s"${tail.contains(1)}")
// false
println(s"${tail.contains(100)}")
// treu
ListにCastされている