I've really come to appreciate Python's (Scheme's also) tolerance for "sloppy" programming more-and-more each day. It's such a forgiving environment for problem exploration and prototyping.

I greatly miss this in other programming languages where I feel forced to deal with all sorts of low-level minutiae from the get go.

Follow

@dabeaz Enter dependently-typed theorem provers, where you're forced to deal with all sorts of high-level eons from the get go :blobcathyper:

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.