Unboxed union types in Scala via the Curry-Howard isomorphism
Holy crap Scala types are powerful.
Notes
-
aaronwhite reblogged this from bdarfler and added:
Ya, that’s a really sweet article too.
-
bdarfler posted this