filmov
tv
Programming with algebras - Bartosz Milewski
Показать описание
There are problems in programming that require the use of algebra to solve equations or to transform coordinates.
That's not what I'm going to talk about.
I want to talk about the algebra of data structures, of defining very general expressions and evaluating them using recursion schemes.
That's not what I'm going to talk about.
I want to talk about the algebra of data structures, of defining very general expressions and evaluating them using recursion schemes.
0:50:39
Programming with algebras - Bartosz Milewski
0:42:11
Bartosz Milewski - Programming with Math | Øredev 2018
0:49:31
Bartosz Milewsky & Oli Makhasoeva - Recursion schemes, categorically!
1:01:40
Growing Trees From Seeds Using Coalgebras by Bartosz Milewski & Oli Makhasoeva
0:56:03
F-Algebras and Monads - Bartosz Milewski - Day 5
1:01:40
Bartosz Milewski. Categories for the Working C++ Programmer
1:29:09
Category Theory Track by Bartosz Milewski Part 1 @ZuriHac2023
1:04:22
itCppCon17 - Monads for C++ (Bartosz Milewski)
0:45:34
Profunctor Optics: The Categorical Approach - Bartosz Milewski
0:34:18
F-algebras or: How I Learned to Stop Worrying and Love the Type System
1:27:01
Fun(c) 2018.6: Bartosz Milewski - Free Monoidal Functors
0:48:44
Keynote: Functorio - having fun with functional programming - Bartosz Milewski | Lambda Days 2021
1:31:27
Category Theory Track by Bartosz Milewski Part 2 @ZuriHac2023
0:58:57
Bartosz Milewski—Live-coding with Universal Constructions
1:58:10
A USER'S GUIDE TO THE CLASSIFICATION OF GRAPH C*-ALGEBRAS
0:01:31
Algebra of Programming
1:16:20
Bartosz Milewski & Oli Makhasoeva at #ScalaUA - Recursion Schemes, Categorically!
![[OOPSLA] Scrap your](https://i.ytimg.com/vi/rtZ-jaDEwoI/hqdefault.jpg)
0:20:52
[OOPSLA] Scrap your Boilerplate with Object Algebras
0:53:50
3D printing: programmer's perspective – Bartosz Szurgot – code::dive 2021
1:08:49
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
0:53:50
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
0:39:35
Bartosz Milewski - The Future of Programming - Part 1/2
0:53:02
Reduce: From functional programming to C++17 Fold expressions - Nikos Athanasiou - Meeting C++ 2016
0:57:40
Bartosz Milewski- Monoidal Catamorphisms- λC 20 Global Edition
Комментарии