Interview

on YouTube ↗04m

" summary

Describes a completely typesafe tensor operation library in Scala that implements deep learning primitives to eliminate runtime tensor-dimension and type errors, using Scala type classes and implicits to make tensor shapes part of the type system. Claims programs become declarative and maintainable, interoperable with Java, and verifiable at compile time so correctness is proven before running. Notes influence from Spire and interest in referentially transparent IO.

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 1:42What kind of best practices are you going to share?
3. 2:11What kind of best practices are you hoping to learn?
4. 2:35How did Scala change your life? How will functional programming improve the next 15 years for you and the rest of us?

" related talks

• 33mTeIL: a type-safe imperative Tensor Intermediate LanguageNorman A. Rink, Jeronimo Castrillon · ARRAY 2019
• 45mTypelevel Programming 101: The Subspace of ScalaJoe Barnes · Scala World 2015
• 34mDifferentiable Functional ProgrammingNoel Welsh · Scala Days Berlin 2018
• 52mDoubt Truth to be a Liar: Non Trivialityy of Type Safety for Machine LearningMatthew Tovbin · Scala Days Copenhagen 2017
• 24mLet the Scala compiler work for youAdelbert Chang · Typelevel Summit NYC 2017
• 02mInterviewBriac Marcatté · Scale By The Bay 2019
• 49mType level Programming in ScalaMatt Bovel · ScalaCon 2022
• 30mDotty and types: the story so farGuillaume Martres · Typelevel Summit Oslo 2016