safe head/tail on lists using covariance

list.scala

// Initial idea courtesy of @dwijnand
// Improved by @fthomas

sealed trait List[+T] {
  def head: Option[T]
}

final case class Cons[T](h: T, t: List[T]) extends List[T] {
  val head: Some[T] = Some(h)
}

final case object Nil extends List[Nothing] {
  val head = None
}

// scala> Cons(1, Nil).head.x
// res0: Int = 1
// scala> Nil.head
// res1: None.type = None

s/Cons(1, Nil).head.x/Cons(1, Nil).head.get/ maybe? But cool.

No, not get. That would defeat the purpose. Here's how Some is defined:

case class Some[T](x: T) extends Option[T]

This can be made even simpler:

scala> :paste
// Entering paste mode (ctrl-D to finish)

sealed trait List[+T] {
  def head: Option[T]
}

final case class Cons[T](h: T, t: List[T]) extends List[T] {
  val head: Some[T] = Some(h)
}

final case object Nil extends List[Nothing] {
  val head = None
}

// Exiting paste mode, now interpreting.

defined trait List
defined class Cons
defined object Nil

scala> Cons(1, Nil).head.x
res0: Int = 1

scala> Nil.head
res1: None.type = None

Some#x: scala/scala#5275