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
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.