the scala newtype proposal is morphing into something weird, but also something that might be cooler than the original! /cc @jvican
-
-
How can we follow along?
1 reply 0 retweets 6 likes -
You can read about it here: http://docs.scala-lang.org/sips/opaque-types.html ….
3 replies 5 retweets 23 likes -
Really interesting... BTW, any sample of an opaque type with a type parameter?
2 replies 0 retweets 1 like -
this was an idea i had: https://github.com/non/scala.github.com/pull/1#issuecomment-331061749 … (we haven't put anything like this in the sip yet)
1 reply 0 retweets 2 likes -
Replying to @d6 @mandubian and
Looks good! Can opaque types wrap any type, or just primitives?
2 replies 0 retweets 1 like -
Replying to @propensive @d6 and
And if so, where does the type fit in the type hierarchy? Could you wrap a case class extending a sealed trait, say?
2 replies 0 retweets 1 like
Replying to @propensive @d6 and
Would be interesting also if opaque types had corresponding singleton literal subtypes. :)
11:54 PM - 21 Sep 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.