Phantom Types

macros.scala.school

19 pointsazhenley2 comments

You can supercharge Phantom Types if your language has affine or linear types to fuel them.

Nice to see some Scala content on HN.

Hope he finishes the book.