Wonderful terminus! Congratulations again on a great lecture series.
We have reached the terminal object in the category of lectures in the series "Programming with Categories." Here, I'm talking about my favorite topic--profunctors, ends, and coends.https://www.youtube.com/watch?v=UpLKmy5j6-U …
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
This talk by
@BartoszMilewski covers the practical programming side of the last lecture of the@MIT "Programming with Categories" course which covered profunctor ends and coends. Watch this for the#Haskell view of these constructions. Follow the shadowhttps://www.youtube.com/watch?v=hrNfkP8iKAs … -
There is also chapter 26 of the book "Category Theory for Programmers" that covers ends and coends in Scala and Haskell.https://github.com/hmemcpy/milewski-ctfp-pdf …
- Još 3 druga odgovora
Novi razgovor -
-
-
Fun stuff! Congrats on getting through it!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Great! When are you covering Unicode?
- Još 1 odgovor
Novi razgovor -
-
-
I wonder now if your category is well-pointed.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.