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: https://linkedin.com/company/rockthejvm
Twitter: https://twitter.com/rockthejvm
Blog: https://blog.rockthejvm.com
-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Type-Level Programming in Scala: A Hardcore Tic-Tac-Toe», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.