avatar
Shriram Krishnamurthi @shriram.bsky.social

That's only because you have completely misunderstood the problem, which is that, once a type system is present, the goal is to understand the type system, not to actually write and run code. Don't feel bad, it's a common rookie error. You should take a PL course sometime.

apr 3, 2025, 5:43 pm • 10 1

Replies

avatar
David Beazley @dabeaz.com

Bloody hell. I already know regex so what else could it possibly involve?

apr 3, 2025, 6:01 pm • 4 0 • view
avatar
Tikhon Jelvis @jelv.is

regexes can't help us make sense of irregular expressions like `def foo(x: 3):`

apr 3, 2025, 6:03 pm • 1 0 • view
avatar
Shriram Krishnamurthi @shriram.bsky.social

Sure it does. If a regexp can handle HTML it can handle anything.

apr 3, 2025, 9:17 pm • 3 1 • view
avatar
David Beazley @dabeaz.com

Can confirm.

apr 3, 2025, 10:33 pm • 2 0 • view
avatar
A Sturdy Magic Hedgehog @aussiedingo.bsky.social

Why do I feel like a complete pumpkin everytime I talk to you, @shriram.bsky.social??

apr 3, 2025, 11:23 pm • 1 0 • view
avatar
Shriram Krishnamurthi @shriram.bsky.social

Because you're secretly Cinderella?

apr 4, 2025, 12:05 am • 1 0 • view