Shapeless- Generic programming for Scala
Download as ODP, PDF0 likes3,100 views
Shapeless is a generic programming library for Scala that enables type-safe programming through advanced type classes and compile-time operations. It supports polymorphic function values, heterogeneous lists and maps, coproducts, and generic representations of case classes, enhancing the flexibility of handling types. With features like LabelledGeneric, Shapeless allows automatic conversions between similar case classes, simplifying code management.
: Int = l.length
findSize(List(1, 2, 3))
findSize(List("foo", "bar", "baz"))](https://image.slidesharecdn.com/shapelessknolx-160721050150/85/Shapeless-Generic-programming-for-Scala-6-320.jpg)
![but the type of l then would be List[Any], because
the common super type of the elements there
would be, in fact, only Any. A HList is declared
similarly to a List:
val hl = 10 :: "string" :: 1.0 :: HNil
except for the terminator HNil. But the type of hl is
actually Int :: String :: Double :: HNil.](https://image.slidesharecdn.com/shapelessknolx-160721050150/85/Shapeless-Generic-programming-for-Scala-9-320.jpg)
![3)Heterogenous maps
Shapeless provides a heterogenous map which
supports an arbitrary relation between the key
type and the corresponding value type,
class BiMapIS[K, V]
implicit val intToString = new BiMapIS[Int,String]
implicit val stringToInt = new BiMapIS[String, Int]
//this implies the map thus declared can have int as key and
String as value and vice - versa](https://image.slidesharecdn.com/shapelessknolx-160721050150/85/Shapeless-Generic-programming-for-Scala-13-320.jpg)
![5)Generic
โ Simply put, a case class can be represented generically
as an HList of its component types โ known as the
โgeneric representationโ
โ Converting a case class to/from its generic
representation is accomplished by using Generic!
trait Generic[T] {
type Repr
def to(t:T) :Repr
def from(r:Repr) :T }](https://image.slidesharecdn.com/shapelessknolx-160721050150/85/Shapeless-Generic-programming-for-Scala-16-320.jpg)
Shapeless- Generic programming for Scala
- 1. SHAPELESSSHAPELESS Generic programming for Scala ! Generic programming for Scala ! Deepti Bhardwaj Trainee Software Consultant Knoldus Software LLP
- 2. What is Shapeless? โ Type class โ Dependent type based generic programming library for Scala โ Type class โ Dependent type based generic programming library for Scala
- 3. Why Shapeless ? โ Shapeless is about programming with types. โ Doing things at compile-time that would more commonly be done at runtime to ensure type- safety and effectiveness.
- 4. Using Shapeless: To include it in your SBT build you should add: scalaVersion := "2.11.7" libraryDependencies ++= Seq( "com.chuusai" %% "shapeless" % "2.3.0")
- 5. 1)Polymorphic function values โ Ordinary Scala function values are monomorphic. Shapeless, however, provides an encoding of polymorphic function values.
- 6. // Monomorphic method example def findSize(s: String): Int = s.length monomorphic("foo") // Polymorphic method example def findSize[T](l: List[T]): Int = l.length findSize(List(1, 2, 3)) findSize(List("foo", "bar", "baz"))
- 7. Defining polymorphic function values: โ The parametric polymorphism is moved to the method inside the object. โ They are able to capture type-specific cases. โ Being polymorphic, they may be passed as arguments to functions or methods and then applied to values of different types within those functions.
- 8. HList Vs List HLists are lists of objects of arbitrary types, where the type information for each object is kept. In fact, in Scala, we may do: import shapeless._ val l = 10 :: "string" :: 1.0 :: Nil
- 9. but the type of l then would be List[Any], because the common super type of the elements there would be, in fact, only Any. A HList is declared similarly to a List: val hl = 10 :: "string" :: 1.0 :: HNil except for the terminator HNil. But the type of hl is actually Int :: String :: Double :: HNil.
- 10. HList vs Tuple The benefit of using HLists instead of tuples is that they can be used in all those situations where a tuple would work just as well, but without the 22-elements limit. Also, shapeless allows standard Scala tuples to be manipulated in exactly the same ways as HLists.
- 11. 2)Heterogenous lists โ It has a map operation, applying a polymorphic function value across its elements. โ It also has a flatMap operation.
- 12. โ It has a set of fully polymorphic fold operations which take a polymorphic binary function value. The fold is sensitive to the static types of all of the elements of the Hlist
- 13. 3)Heterogenous maps Shapeless provides a heterogenous map which supports an arbitrary relation between the key type and the corresponding value type, class BiMapIS[K, V] implicit val intToString = new BiMapIS[Int,String] implicit val stringToInt = new BiMapIS[String, Int] //this implies the map thus declared can have int as key and String as value and vice - versa
- 14. monomorphic Scala map => monomorphic function value heterogenous shapeless map => polymorphic function value
- 15. 4)Coproduct โ a generalization of Scala's Either to an arbitrary number of choices โ allows you to put together more than two types. โ Either with more than two possible types. โ Coproducts are mutually exclusive, only one of the elements is going to be present at runtime.
- 16. 5)Generic โ Simply put, a case class can be represented generically as an HList of its component types โ known as the โgeneric representationโ โ Converting a case class to/from its generic representation is accomplished by using Generic! trait Generic[T] { type Repr def to(t:T) :Repr def from(r:Repr) :T }
- 17. case class Intern(name: String, email: String,id :Int, address:String) case class Employee(name: String, email: String,id :Int, address:String) we want to construct Employee from Intern but want to do it automatically without passing all parameters. Generic is used here !!
- 18. In this case, Employee and Intern are nearly identical. What if the Employee had an extra property or a less property? The solution is provided by LabelledGeneric! In this case, Employee and Intern are nearly identical. What if the Employee had an extra property or a less property? The solution is provided by LabelledGeneric!
- 19. 6)LabelledGeneric โ a case class can be represented generically as a record of its component fields โ known as the โlabelled generic representationโ