From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: [OFFTOPIC] Re: Handling extensions of programming languages (Perl) Date: Mon, 22 Mar 2021 15:58:55 -0400 Message-ID: References: <87o8ff560t.fsf@hajtower> <87im5lhi6i.fsf@rfc20.org> <87r1k94cnx.fsf@hajtower> <20a4ef1c-beaf-1d63-b984-12be9a856c86@gmail.com> <87h7l43fa1.fsf@hajtower> <87blbc33tm.fsf@hajtower> <878s6fs2kq.fsf_-_@hajtower> <87y2efqek7.fsf@hajtower> <87r1k7q92b.fsf@hajtower> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="20552"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: haj@posteo.de (Harald =?windows-1252?Q?J=F6rg?=) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Mar 22 21:00:38 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lOQj7-0005HW-Sb for ged-emacs-devel@m.gmane-mx.org; Mon, 22 Mar 2021 21:00:37 +0100 Original-Received: from localhost ([::1]:34912 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lOQj6-0000SO-UY for ged-emacs-devel@m.gmane-mx.org; Mon, 22 Mar 2021 16:00:36 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55304) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOQha-0007xK-My for emacs-devel@gnu.org; Mon, 22 Mar 2021 15:59:02 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:40982) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOQhY-0005U1-JD for emacs-devel@gnu.org; Mon, 22 Mar 2021 15:59:01 -0400 Original-Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id BDFD210022E; Mon, 22 Mar 2021 15:58:58 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id BFE0B100091; Mon, 22 Mar 2021 15:58:56 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1616443136; bh=Dd0tBTuCr2xS3RMon/vGmcseG+mwYx46zaP8J5W96Yg=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=kZ7jsKvD7hbMhVxrRb5xwCf2zZ0EJLIECxle4biNHt9SxNNDf4w+a3mlPg6Locekp /8Kmm+wjkzCMkZPiPRnTa47CmOxgPe8lG2V+Kz6e6vdRhjvj1k7UV2pNUPOpO4SVUw 7528Evb8PiCecI6ROKAE/IpMCqqeluvHhXzPA8whymyk4+mJzgXUJszPdol4DzXrkI qee5Q2ZzLphfPjrx4c/m/AFZWxQUP6eMuJC6yNqcHBZV0ugtKv5FAFm+jR/iL2+hQv 6kLZD5A5dUFXYyfp44UssaM63ZXVSKont4I2VQn8vnoIMf5D/P/hHS1frRId+QMMzM NkjN5QXdx+sXA== Original-Received: from alfajor (unknown [216.154.43.249]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 92116120337; Mon, 22 Mar 2021 15:58:56 -0400 (EDT) In-Reply-To: <87r1k7q92b.fsf@hajtower> ("Harald =?windows-1252?Q?J=F6rg=22?= =?windows-1252?Q?'s?= message of "Mon, 22 Mar 2021 20:31:40 +0100") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:266812 Archived-At: >>> That was my first thought as well. But then, the declarators appear in >>> places where other languages have their types. >> >> [ I think you use a very restricted definition of "other languages" here. >> It's definitely not the case for most of the statically typed languages >> I've used, except for C. >> I'm thinking of OCaml, SML, Haskell, Agda, Coq, Modula-2, Pascal, Ada, ... ] > > Guilty, your honor. In the last years I've dealt with Emacs Lisp (only > very recently), Perl, C, Java, JavaScript ... and before that with a > dialect of PL/1, assembly languages (68000, x86, /390) ... and before > that with FORTRAN, where everyone's type system seemed to be IMPLICIT > INTEGER I-N. So indeed, almost no intersection with your list. Of those the only ones that are statically typed seem to be C, Java, Fortran and PL/1; and AFAICT only 50% (C and Java) use a syntax where the type is placed at a location comparable to where `my` is placed in Perl, IMO. Stefan