fess up ... you wrote a macro for that subString ;-) Look at @fst9000's refined and singleton-ops: https://github.com/fthomas/singleton-ops …
Tonight's experiment with -Yliteral-types: a literal-aware `.subString` method.
/ht @milessabinpic.twitter.com/yEFYoSazRO
-
-
-
@github Of course I did!
End of conversation
New conversation -
-
-
What is a concrete use case for literal based singleton type? Cant seem to wrap my head around it...
-
shapeless's Witness has approximated this for a few years now. It has many uses, eg. in the encoding of extensible records.
End of conversation
New conversation -
-
-
Does it fail to compile if the argument is greater than the length of the string? :)
-
Yes, definitely!
End of conversation
New conversation -
-
- End of conversation
New conversation
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.