From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Daniel Mendler Newsgroups: gmane.emacs.devel Subject: Re: [PATCH] (icomplete-vertical-mode): Add support for affixations and, annotations Date: Tue, 1 Jun 2021 18:04:28 +0200 Message-ID: <257d9f63-efcf-b0a6-7669-8c69bae6234f@daniel-mendler.de> References: <87y2c5nhsr.fsf@mail.linkov.net> <87h7irss50.fsf@mail.linkov.net> <43d1599e-2ba9-2efb-45c3-76c67d29a69d@daniel-mendler.de> <87tumrgqrb.fsf@gmail.com> <87tumq92pe.fsf@mail.linkov.net> <87lf82g10g.fsf@gmail.com> <87y2c24lww.fsf@mail.linkov.net> <871r9t2lsy.fsf@mail.linkov.net> <22880197-6d05-c821-2c58-328ed3cfc02e@daniel-mendler.de> <87eedruui3.fsf@gmail.com> <8dd915fe-fe67-2a45-67ff-8aaa3e9b9aca@daniel-mendler.de> <878s3zuq47.fsf@gmail.com> <09f2a253-84ba-5cfd-552e-0b89109864a5@daniel-mendler.de> <875yyxaoxp.fsf@gmail.com> <871r9laj6a.fsf@gmail.com> <1b73a130-204c-76fb-2b60-02b814aee0f0@daniel-mendler.de> <87r1hl8xom.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19688"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Juri Linkov , "emacs-devel@gnu.org" , =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= , Dmitry Gutov To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Jun 01 18:09:41 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 1lo6xZ-0004vJ-2h for ged-emacs-devel@m.gmane-mx.org; Tue, 01 Jun 2021 18:09:41 +0200 Original-Received: from localhost ([::1]:50522 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lo6xY-0004Qn-2W for ged-emacs-devel@m.gmane-mx.org; Tue, 01 Jun 2021 12:09:40 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:32810) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lo6sd-0004C9-E3 for emacs-devel@gnu.org; Tue, 01 Jun 2021 12:04:35 -0400 Original-Received: from server.qxqx.de ([2a01:4f8:121:346::180]:52173 helo=mail.qxqx.de) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lo6sa-0003Kv-Sd for emacs-devel@gnu.org; Tue, 01 Jun 2021 12:04:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de; s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:In-Reply-To: MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Lg4OgF+20vJ2aeRIxCTYzQL0q0DhofNHAuCWOS27dAs=; b=Z4w0bu9hlSqw7T8iIGX+KNZRQv Cq4iGmWGBene2kY36pvWNG5D24yv0/rM7taxTaPj2nRYdYycxSvH0XBzA5oL8RdOOJaxAtbiKSQ+w qx9saz0uiiy1x+O/DadTs42j2vNbNudiAd1IpDgztTKTwCX/QIheDmtx1GS/A4o8uHdo=; In-Reply-To: Content-Language: en-US Received-SPF: pass client-ip=2a01:4f8:121:346::180; envelope-from=mail@daniel-mendler.de; helo=mail.qxqx.de X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-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:270215 Archived-At: On 6/1/21 5:58 PM, Stefan Monnier wrote: >> There was a long discussion with Stefan, Dmitry, Juri and Eli where >> multiple different designs for the `group-function` have been considered >> and we settled on the current design. > > As a "static typing" guy, I'm not fond of functions which return > different types depending on their argument (tho that's exactly what > depending typing is for, admittedly), but I think the current design is > indeed close enough to the best possible choice that it's better to > leave this bikeshed with its current color. Just to make this clear: The type of the function is not dependent. It is a simple type. group-function : string -> bool -> string There are not many other possible encodings for the group function which are better or simpler. The good thing about the current design is that it is both simple and efficient, since it does not lead to unnecessary allocations. Daniel