Programming With Scala Types

Gregg Hernandez (13.Jul.2017 at 16:00, 50 min)
Talk at OpenWest Conference 2017 (English - US)

Rating: 0 of 5

Many programming languages offer strong static typing. Scala takes this a bit further and provides you with a Turing complete type system. This allows the programmer to express and enforce many constraints at compile time rather than at run time. This presentation will show you how to leverage Scala’s type system to create type-safe data structures that are impossible in many other statically typed languages. We will explore heterogenous lists, coproducts (also called union types), dependant types, and other concepts. Finally, practical applications of shapeless will be examined. [272]

Who are you?

Claim talk

Talk claims have been moved to the new Joind.in site.

Please login to the new site to claim your talk

Want to comment on this talk? Log in or create a new account or comment anonymously

Write a comment

 
Please note: you are not logged in and will be posting anonymously!
= four plus seven
 
No comments yet.
© Joind.in 2017