James Thompson has made it again... 🤯 🤩 🤓 Match types have been around in Scala 3 for some time now. They are quite cool but - afaik - not that used. In my case, I find myself scratching my head once or twice when trying to use them. Now, Jaime has given us a lovely website where we can play around and learn all - or almost all - the usages of this technique. https://lnkd.in/dXZ4PQnz I invite you to play with it and to share your experience in the comments.
Pavel Perikov
1mo
Oh, I once tried to came up with the disjoint checking (staying compatible with the compiler) in my macro library :) I believe it was not exposed. Proved hard.
Software Engineer at Communardo Products (ex Mibex Software), contributor to Scala 3 compiler. Previously compiler engineer at the Scala Center.
1moJust want to make it clear that this is an approximation rather than 1:1 with the real compiler - but works well for many scenarios (added a notice now)