From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.4 required=3.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!aioe.org!PjbNDCau3eS6e8nglA5Amg.user.46.165.242.75.POSTED!not-for-mail From: "Nasser M. Abbasi" Newsgroups: comp.lang.ada Subject: who needs types? Types makes code ugly. Date: Wed, 1 Jun 2022 22:21:08 -0500 Organization: Aioe.org NNTP Server Message-ID: Reply-To: nma@12000.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="10399"; posting-host="PjbNDCau3eS6e8nglA5Amg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:63905 List-Id: So Ada had it wrong all the time it seems. From https://python.land/python-tutorial ------------ In a strongly typed language, you need to specify the exact type of each variable, like String, int, and float. It gets even uglier when objects are involved. Now let’s look at Python variables. In Python, we can do exactly the same without types: my_name = "Erik" my_age = 37 my_salary = 1250.70 As you can see, the Python variant is a lot cleaner and easier on the eyes! ---------------------- And about possible error, they defend this by saying: -------------------------- In addition, you’ll find out soon enough during testing and fix the error before the software ever goes to production. --------------------------- So, I think all what Ada needs is to simply remove all those ugly types from the language and it will become popular like Python is now :) --Nasser