I was aware of that, but I didn’t want to do a full write-up from zero knowledge to type theory…
Maybe I’ll do it later tho. Because I enjoy explaining this stuff.
Anyway, despite the comedic delivery, that comment should give a 1st year CS student all the keywords they need to research the subject. Especially the letters between Curry and Howard, which are referred to as the “Curry-Howard correspondence”
![type [...] rule??? (I legit dont know what this is)](https://leminal.space/pictrs/image/f764e024-3e48-4e9f-ba47-72f4e9259c83.png){kind=link}
Not to be that person, but…
Don’t worry, it happens to the best of us.
Humour aside, I actually found it very interesting to read, despite not quite understanding it fully. I might give it a more thorough read later.
I was aware of that, but I didn’t want to do a full write-up from zero knowledge to type theory…
Maybe I’ll do it later tho. Because I enjoy explaining this stuff.
Anyway, despite the comedic delivery, that comment should give a 1st year CS student all the keywords they need to research the subject. Especially the letters between Curry and Howard, which are referred to as the “Curry-Howard correspondence”
I was joking, a bit. It’s not like you can explain all of it in one random comment.
Aghhh! I wanna get a cs degree, but I had to switch programs for r e a s o n s. Maybe I could get one after my associate’s degree.
I think they said programming was math
I’m really good at math