I know I should probably just calm down, but every time I see a wrapper type in scala like: https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/data/Const.scala#L11 … I just get frustrated we don't have opaque types yethttps://docs.scala-lang.org/sips/opaque-types.html …
-
-
-
Replying to @adelbertchang
const is cool and all, I just hate all the freaking allocations just to relabel the type. I know it's not cool to care about perf as an FP programmer. :P -- but note haskell does have newtype here.
2 replies 0 retweets 2 likes -
Replying to @posco
Is there another allocation if you use `retag`/casting? Also why you running programs man, just type check, close the JIRA ticket, and then move to the next one :P
1 reply 0 retweets 3 likes -
Replying to @adelbertchang
well, retag is fine, but we need to allocate an extra wrapper on product/ap, etc...
1 reply 0 retweets 1 like -
Replying to @adelbertchang @posco
I find it a bit confusing that the docs say `Const` is a phantom type. Allocating is the last thing any phantom type should be doing...
3:11 AM - 10 May 2018
from East Worldham, England
0 replies
0 retweets
4 likes
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.