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.

fuck it I have one more

C programmers do it with a wild pointer

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)

Now is the summer of our discotheque @Elizafox

more to the language itself:

Objective-C programmers do it with a bit of Smalltalk

· SubwayTooter · 1 · 2

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