Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil - Operator overloading - Document - PDFSEARCH.IO

First Page	Meta Content
	Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil Add to Reading List Document Date: 2015-05-08 12:55:33 Open Document File Size: 2,75 MB Share Result on Facebook Person Stefan Zeiger / / Position l1.head / l1.tail.head / / ProgrammingLanguage Smalltalk / Scala / / SocialTag Functional languages Data types C++ Standard Library Boolean algebra Boolean data type Scala Sequence container Operator overloading Id Computing

Type-Level Computations in Scala Stefan Zeiger Motivation • Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNilAdd to Reading List