Type-Level Programming in Scala

Please log in to watch this conference skillscast.

In Scala 3, you can do more with types by the virtue of match types and type-level operations, which increase the design space for compile-time verification. For example, operations for type-level arithmetic are available which can be used to verify the correct dimensionality of matrices in machine learning projects.

YOU MAY ALSO LIKE:

• Rust Nation 23 (in London on 16th - 17th February 2023)
• F# eXchange 2023: In-Person (in London on 7th - 8th March 2023)
• Haskell In Person: Bring Your Project, Get help with your code & socialise (in Berlin on 1st February 2023)
• How to teach IntelliJ IDEA to your juniors (Online Meetup on 2nd February 2023)
• Teaching Haskell...To High Schoolers! (SkillsCast recorded in December 2022)
• Teaching Haskell...To High Schoolers! (SkillsCast recorded in December 2022)