BuilderTypeSafe.scala

package aux

class BuilderTypeSafe {

  type Sim
  type Nao

  class Pessoa

  class Builder[TemNome, TemEndereco] {
    def comNome(nome : String) = new Builder[Sim, TemEndereco]
    def comEndereco(nome : String) = new Builder[TemNome, Sim]
  }

  object Builder {
    def apply() = new Builder[Nao, Nao]
  }

  implicit class AddBuild(builder : Builder[Sim, Sim]) {
    def build = new Pessoa
  }

  Builder().build // não compila
  Builder().comNome("").build // nem isso
  Builder().comEndereco("").build // ou isso

  Builder().comNome("").comEndereco("").build
  Builder().comEndereco("").comNome("").build

}