Macros question! If I have a type constructor, say List[_], and a concrete type, say List[Int], is there a convenient API for unifying the types to extract the wrapped type, Int? My current hack is to typecheck a mock expression and inspect the inferred parameter types.
-
-
-
Replying to @andygscott
Happy to, but I only have Internet on my phone at the moment. I'll push later and let you know. Will you be at SbtB this week?
1 reply 0 retweets 1 like -
Replying to @propensive
Not sure if I'll be at the conference, but I'll be in SF
1 reply 0 retweets 1 like -
-
-
Replying to @andygscott
Cool! Let me know if you're free some time over the next few days! I'll be around Twitter HQ from now until Saturday afternoon.
1 reply 0 retweets 1 like -
Replying to @propensive
Definitely. One of these mornings for coffee or evenings after work, or sometime on Saturday!
1 reply 0 retweets 1 like
Replying to @andygscott
Yep, sounds good! I'll be in touch (or see you at the conference)!
4:39 PM - 15 Nov 2017
from San Francisco, CA
0 replies
0 retweets
0 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.