SLisp

slisp.scala

sealed trait SList {
  type Self <: SList
  type Function[A]
  def apply[A](f: Function[A]): A
  def ::[A](a: A) = SCons(a, this.asInstanceOf[Self])
}

case object SNil extends SList {
  type Self = SNil.type
  type Function[A] = A
  def apply[A](f: Function[A]) = f
}

case class SCons[H, T <: SList](head: H, tail: T) extends SList {
  type Self = SCons[H, T]
  type Function[A] = H => tail.Function[A]
  def apply[A](f: Function[A]) = tail[A](f(head))
  def ::[A](f: Function[A]): A = apply[A](f)
}

((_: Int) + 10) :: 10 :: SNil

((_: Int) + (_: Int)).curried :: 10 :: 10 :: SNil

((_: Int) + (_: Int)).curried :: (((_: Int) + 10) :: 10 :: SNil) :: 10 :: SNil