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
I guess any type since the SIP says you can wrap Strings.
2 replies 0 retweets 1 like
Replying to @lambdista @d6 and
Ah, I missed that. I assumed so. The type-hierarchy question is important. Seems like there may be some challenges with runtime type tests.
12:21 AM - 22 Sep 2017
from North West, England
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.