Now is the summer of our discotheque is a user on mst3k.interlinked.me. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Now is the summer of our discotheque @Elizafox

fuck it I have one more

C programmers do it with a wild pointer

· SubwayTooter · 1 · 2

@calvin Intercal programmers do it politely but not overly so

Modula-3 programmers do it with class

C++ programmers think they do it like Modula-3 programmers, but they're just not that suave

Objective-C programmers only do it with Steve Jobs

(sorry :p)

more to the language itself:

Objective-C programmers do it with a bit of Smalltalk

Lisp programmers do it with dynamic bindings

Lisp programmers do it in a CAR

Haskell programmers do it with formal verification and no side effects

@Elizafox
No,Coq programmers do it with formal verifications and types

What Haskell programmers call "formal verification" is a mere pallid imitation of the original

But Coq arrive years later than everyone else