why are the Sum algebraic types called « Sum » and the Product data types called « Product ». i can see they are different, but why these particular names? their doesn’t seem to be any arithmetic going on.
People who don't have cleaners and who do stuff more often than not have messy tables. Right now my table is messy. Let's not instate unrealistic table cleanlieness expectations in pop sci videos!
no way. sounds like someone from non-english first language who learned English speaking in a city like Liverpool or something with a heavy northern accent. could be wrong, i’m grasping at straws. fascinating accent,
![Seungmin "그렇게, 천천히, 우리(As we are)" | [Stray Kids : SKZ-PLAYER]](http://i.ytimg.com/vi/kAzmhLHePqU/mqdefault.jpg)
It would be nice to keep such a short format for more advanced concepts like GADTs, Transformers, Free Monads.
beautiful slides, may I ask how they were made?
Thank you! They were made with Google Docs and our in-house presentation template.
why are the Sum algebraic types called « Sum » and the Product data types called « Product ». i can see they are different, but why these particular names? their doesn’t seem to be any arithmetic going on.
Seems I missed definition of algebraic data types.
Wow. Really great.
Not bad, not bad
+++
I have the feeling that somebody is pointing a gun in his head.
High level content and very nice video production (letters and background color), but you should not show your messy table!
People who don't have cleaners and who do stuff more often than not have messy tables. Right now my table is messy. Let's not instate unrealistic table cleanlieness expectations in pop sci videos!
Day could also be Birthday!!
Welsh?
no way. sounds like someone from non-english first language who learned English speaking in a city like Liverpool or something with a heavy northern accent. could be wrong, i’m grasping at straws. fascinating accent,
Dude looks severely distressed. 😢
speak english please
You mean 'merican?
learn how to listen please
@@alastairleith8612 i can listen to english not to giberish
@@Daniel_WR_Hart any of the two please