11 January 2018 / Pawel Batko

Mechanics of unboxed union types in Scala


Mechanics of unboxed union types in Scala Paweł Batko, VirtusLab This post is inspired by Miles Sabin’s “Unboxed union types in Scala via the Curry-Howard isomorphism”. Wouldn’t it be nice to be able to write a type like this: And then use it as follows? I’ll try to show you how you can define such […]

Read more