Bartosz is the man whenever it comes to refresh my knowledge about Category Theory. I do recommend his in-depth videos about the theory. Thank you for all the effort!
It feels like what he talks about on the last question fit very well into testing with QuickCheck in Haskell and its properties - category theory telling you what properties you can have as tests. I think I saw a another talk with a title sounding like it talked about that. Onto that one!
pmac rather because between any two sets there are an “empty” mapping (function), as empty subset of cartesian product, i. e. empty functional relation.
If by chance you language of choice is Swift then: "Void" is actually called "Never" (eg. fatalError "returns" Never). And Swift "Void" type is here called "Unit". As it has only one inhabitant namely an empty tuple: "()". :)
This is a good idea. So, for Rust it is. Void is None and Unit is () which is an empty tuple as well. Sums are Enums (since you have more than two, it has composition built in)
![[ไฮไลต์] ฟุตบอลชาย ฝรั่งเศส vs อเมริกา รอบแบ่งกลุ่ม | โอลิมปิก 2024](http://i.ytimg.com/vi/oZ9aSS0NEEg/mqdefault.jpg)
Bartosz is the man whenever it comes to refresh my knowledge about Category Theory. I do recommend his in-depth videos about the theory. Thank you for all the effort!
my man bartosz should have as much time as he wants cmon we love listening to him
It feels like what he talks about on the last question fit very well into testing with QuickCheck in Haskell and its properties - category theory telling you what properties you can have as tests.
I think I saw a another talk with a title sounding like it talked about that. Onto that one!
So void goes to all other objects because every set has the empty set as a subset?
pmac rather because between any two sets there are an “empty” mapping (function), as empty subset of cartesian product, i. e. empty functional relation.
If by chance you language of choice is Swift then:
"Void" is actually called "Never" (eg. fatalError "returns" Never).
And Swift "Void" type is here called "Unit". As it has only one inhabitant namely an empty tuple: "()".
:)
This is a good idea.
So, for Rust it is.
Void is None
and
Unit is () which is an empty tuple as well.
Sums are Enums (since you have more than two, it has composition built in)
$ ghci
> import Data.Void
> map absurd []
Laugh. :D
Haha, I was skeptical at first, but then I launched ghci and typed in what you wrote, and I did laugh indeed. :D
That was super practical. I'm gonna run a %s/\[\]/(map absurd [])/g right now.