medium-import

Scale By the Bay 2021: Types

Alexy Khrabrov

Alexy Khrabrov

— 1 min read
Share

--

--

Register forScale By the Bayand join us on October 28–29 online, EU and US timezones!

Press enter or click to view image in full size

Image 2

Types are always at the heart of things

James Douglas talks about Single-Serving Values with Linear Types in Scala.

Vlad Patryshev treats Algebraic Data Types, Categorically.

Ryan Orendorff shows how Functional Programming + Dependent Types ≡ Verified Linear Algebra.

Alex Merritt leads the way for Array programming in the Scala 3 age with NDScala.

Peng Cheng talks about Shape Safety in Tensor Programming.

We’re always on a lookout for a better typed way to do AI/ML

FP+ML is a venerable tradition started at SBTB years ago, and this year we’re excited to present Hasktorch, the Haskell bindings to PyTorch, and its advances into NLP with Gradual Typing.

Full stack is now possible with Scala

Ramnivas Laddad, from the family where everyone had presented at SBTB, teaches us Developing Declarative Backends.

Taro Saito demonstrates Pure Scala approaches to frontend to backend development.

Jowanza Joseph does the best DevOps transformation we can hope for, treating Infrastructure as Code — and the code is in Scala.

Don’t forget to register forScale By the Baywith the code SFSCALA20 for 20% off!

Read more