Products > Computers

Compiler Design at Cornell

(1/6) > >>

EEVblog:
Can someone please explain what on earth all this crap has to do with actual compiler design?
Looks more like some arsehat professor proving how smart and obnoxious they can be.

https://x.com/deedydas/status/1846366712616403366

tszaboo:

--- Quote from: EEVblog on October 16, 2024, 09:59:45 am ---Can someone please explain what on earth all this crap has to do with actual compiler design?
Looks more like some arsehat professor proving how smart and obnoxious they can be.

--- End quote ---

I've definitely had uni. courses like this. "Consider a programming language Xi (Greek character)". And then just a bunch of nonsense after that. It's just way too much abstraction to be useful. I remember absolutely zero from that class except the memes we made on the spot. And I got an EE degree at the end, not computer science.

EEVblog:

--- Quote from: tszaboo on October 16, 2024, 10:26:36 am ---I've definitely had uni. courses like this. "Consider a programming language Xi (Greek character)". And then just a bunch of nonsense after that.
--- End quote ---

Luckily I didn't have any of that in programming courses at uni, but then again, it was EE, not CS.

brucehoult:
This is standard kind of stuff for people who are more logicians than programmers. They probably love Haskell and related things. And what they refer to as "strong typing".

For what the stuff at the top means see...

https://en.wikipedia.org/wiki/Natural_deduction

Basically, a notation for modus ponens.

tszaboo:

--- Quote from: EEVblog on October 16, 2024, 10:31:40 am ---
--- Quote from: tszaboo on October 16, 2024, 10:26:36 am ---I've definitely had uni. courses like this. "Consider a programming language Xi (Greek character)". And then just a bunch of nonsense after that.
--- End quote ---

Luckily I didn't have any of that in programming courses at uni, but then again, it was EE, not CS.

--- End quote ---
Yes, same, EE. It was unnecessary and exhausting to attend these classes, I probably skipped a few.
I think it was shoehorned in in some class where they also taught about machine learning, understanding the concept of that was useful. I don't even think this was on any of the tests.

Navigation

[0] Message Index

[#] Next page