Re: who needs types? Types makes code ugly.

[John Perry <devotus@yahoo.com>]

On Thursday, June 2, 2022 at 10:03:00 AM UTC-5, Ben wrote:
> ldries46 <bertus...@planet.nl> writes: 
> 
> (I don't know enough about Python's new static type 
> syntax to know how strong that is, but it's optional anyway.) 

I think you mean "type hints"? The compiler doesn't check even when you specify the types. The typing is available for those who want to use a 3rd party tool to do "stuff" with it. See the note at the top of this page: https://docs.python.org/3/library/typing.html

   The Python runtime does not enforce function and variable type annotations.
   They can be used by third party tools such as type checkers, IDEs, linters, etc.

> Haskell, for example, has strong static type 
> checking, but a lot of Haskell is written without ever using a type 
> because of the language's type inference mechanism. 

Correct me if I'm wrong, but do you mean "without ever *specifying* a type"? Several recent languages have taken this up, including Kotlin and Rust, though you have to specify some types.

Even Ada 2022 offers it with the "renames" keyword.

regards
john perry