Тёмный
No video :(

Lambda World 2019 - Fun With Categories - Marco Perone 

Lambda World
Подписаться 10 тыс.
Просмотров 7 тыс.
50% 1

Опубликовано:

 

28 авг 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 7   
@emiflake
@emiflake 4 года назад
Nice talk! Wish they'd have gone more in depth of where it's actually useful. The invoice example was cool, but didn't really quite entice me. I'm sure there's plenty of places where it could be useful, just would have been nice for it to be a bit more concrete. But perhaps that's out of scope for this shortish talk.
@pasafama
@pasafama 4 года назад
Hi Emily, thanks for the feedback. I tried to provide in the first section of the talk a bit of context of where category theory could be useful in applications. Regarding the example, there would be much more to say about it, I just wanted to convey the idea that you can use those ideas for something practical. Maybe next time I'll try to use a more real-world example
@emiflake
@emiflake 4 года назад
@@pasafama Cool! Thanks for the answer .
@dna1238
@dna1238 3 года назад
Fascinating ! making sense of abstraction.
@micknamens8659
@micknamens8659 2 года назад
37:40 Why is the productId a Unit? It would be more realistic to have an enumeration type in the range 1..4 or ProductId = A | B | C | D.
@JosiahWarren
@JosiahWarren 3 года назад
but why ?
@micknamens8659
@micknamens8659 2 года назад
38:15 What is the definitions of "Ty" and "Inn"?
Далее
Lambda World 2019 - You Don't Own Me - J Haigh
28:25
Просмотров 1,2 тыс.
Jonathan Blow on how an operating system should work
14:22
A Sensible Introduction to Category Theory
26:20
Просмотров 431 тыс.