Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe
Learn advanced Scala: https://rockthejvm.com/p/advanced-scala
This video was inspired by a recent series of tweets about how TypeScript is soooo powerful that you can write programs at the type level...
and Scala says: TypeScript, please.
Then a blog post about a type-level tic-tac-toe in TypeScript which seemed to blow everyone's minds!
Alright, that's enough.
This video is a Tic-Tac-Toe in Scala, at the type level. You will learn how to program at the type level with givens, in a way that specifies constraints that the compiler should solve. This Scala type-level programming style is analogous to the programming language Prolog, which is a Turing-complete general constraint satisfaction solver.
Follow Rock the JVM on:
LinkedIn: / rockthejvm
Twitter: / rockthejvm
Blog: https://blog.rockthejvm.com
-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------
Смотрите видео Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Rock the JVM 05 Март 2023, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 6,65 раз и оно понравилось 21 людям.