tranny demon hacker on Nostr: I have two angles here, and I'll go with the quick snarky one first, which is this: ...

I have two angles here, and I'll go with the quick snarky one first, which is this:

if you ever want to use a dependently typed language and someone gives you shit about how pedestrian and unprincipled that is, send them Bob Harper's long blog post rants about how dynamic typing is actually just a flavor of dependent typing, and in fact is actually deeply grounded in the very same principles that Wadler loves

and then say "maybe you should git gud and learn a REAL type theory not this weak sauce system F bullshit"