I'm never sure how much detail to share. The colorForth idea is a perfect example of the thought about "another dimension" of specification. (Albeit difficult to implement in practice). The upper/lower case signal is a good one, and easy; it is limiting, but not terribly, and offers easy frictionless specification.
The earlier comment about ";" being everywhere and nowhere in Go is important. It leads to the question "what can we intuit?" That is a fine starting place. For example, if the generic specification requires "()" or "[]" or whatever around type-concretization lists, but the parser will add them for you, then you'll never see either except in "pedantic" machine generated code or the rareish case of a generic type list that needs another generic type list as an element (the inner ones need delimiters). I vote for this whatever symbol is chosen. On Fri, Jul 24, 2020 at 3:16 PM David Riley <fraveyd...@gmail.com> wrote: > On Jul 24, 2020, at 5:50 PM, Ian Lance Taylor <i...@golang.org> wrote: > > > > On Fri, Jul 24, 2020 at 2:22 PM <fge...@gmail.com> wrote: > > > > > > On 7/23/20, Michael Jones <michael.jo...@gmail.com> wrote: > > > ... > > > > Another delight is the uppercase signal for external. > > > > > > > > Maybe the “how to signal it” aspect of type instantiation could look > to > > > > these approaches as well—make the automatic understanding so magical > that > > > > the complete specification is unnecessary in most all cases, or the > > > > signaling so intrinsic to the variables that no identification > Symbol or > > > > BracketedPair is necessary. > > > > > > Maybe braille? > > > ⠓⠑⠇⠇⠕⠺⠕⠗⠇⠙ > > > https://www.royalblind.org/sites/www.royalblind.org/files/alphavet.PNG > > > > > > ⠊⠞ ⠊⠎ ⠑⠁⠎⠽ > > > > I've always felt that color is underused in modern programming languages. > > > > func Max(T)(s []T) T > > Perhaps there could be some cross-pollination with ColorForth, wherein > color actually is semantically meaningful. > > https://colorforth.github.io > > > - Dave -- *Michael T. jonesmichael.jo...@gmail.com <michael.jo...@gmail.com>* -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CALoEmQz%3D5WA0K8OV5q_ONpxESzP7wEtkBZtF32AMT08bvFR0DQ%40mail.gmail.com.
