type [...] rule??? (I legit dont know what this is)

submitted by
type [...] rule??? (I legit dont know what this is)

cross-posted from: https://toast.ooo/post/14722634

type theory meme

19
59
2

Back to main discussion

Parent comment

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.

 reply
20

I think they said programming was math

 reply
10

I’m really good at math

 reply
3

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”

 reply
8
edited

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.

 reply
4

For what it’s worth, you pushed me ever so closer to wanting to study for a maths degree.

 reply
1
Insert image