[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] (icomplete-vertical-mode): Add support for affixations and,

From: Daniel Mendler
Subject: Re: [PATCH] (icomplete-vertical-mode): Add support for affixations and, annotations
Date: Tue, 1 Jun 2021 18:04:28 +0200

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]