> my reply is that they are so precisely because we don't have to type type definitions.

My reply is that no, that's not why they're pleasant. If that were the only criteria, we could conclude Python is only as pleasant as Forth.