Index ¦ Archives ¦ Atom > Tag: newtype

Using More Expressive Types

As a Scala user, I spend a lot of my time thinking about my types. Making good use of types is the key to compile time correctness checking, since compilers are not yet good at checking control flow. For example, consider the following:

def foo1(o: Option[String]) = {
  if(o …

© Chad Selph. Built using Pelican. Theme by Giulio Fidente on github.