These are chat archives for typelevel/scala

30th
Nov 2017
Oron Port
@soronpo
Nov 30 2017 14:20
@milessabin I was thinking how to tighten the gap between terms and types, without really changing Scala.
Consider the following:
def sum[V ::: Int](param : Int) : Int = param + V
is syntactic sugar for
def sum[V <: Int with Singleton](param : Int)(implicit V : ValueOf[V]) : Int = param + V
(assuming we have an implicit V : ValueOf[V] ~~> V.value)
Ruslan Feizerahmanov
@Russoul
Nov 30 2017 17:16
Hi all ! What is the state of singleton values relative to boxing/unboxing ? Does specialized work on singleton types in generic context ?