From mboxrd@z Thu Jan 1 00:00:00 1970
Received: from mail-wr1-x42d.google.com (mail-wr1-x42d.google.com [IPv6:2a00:1450:4864:20::42d])
by mail.toke.dk (Postfix) with ESMTPS id 839FF9895FA
for <galene@lists.galene.org>; Wed, 13 Jul 2022 03:00:36 +0200 (CEST)
Authentication-Results: mail.toke.dk;
dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20210112 header.b=AmPfg77q
Received: by mail-wr1-x42d.google.com with SMTP id bu1so12220415wrb.9
for <galene@lists.galene.org>; Tue, 12 Jul 2022 18:00:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20210112;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to
:cc:content-transfer-encoding;
bh=F465c3/ONgybnqnuN4KOnyfHpQzyRMJqptWWTwk615k=;
b=AmPfg77qIaS216dJoAq5XxQc0U503W+8wvY2v4ETE4XyrQ0LTliW+MOV/jw6I/i37O
Zl7//xvDvkSni8qauraZThSdoM3zPI6MhcqLduWCetMFnCuCDcegUtQiFyutzq2d94Wb
ll1AaNUQlQdd9n1sXqoe6FDrkJshOgMC+MoGLQWdY+5+kJKzv9pHLUTjc89Hy/esEQd8
MdhUaqxoJn3P3A69+Oej6KssYHpd/xSb6KZ6j9JPtk49KkZR2wHIrU8Wn1VpAqcyqYO5
pZWwqE7c73x1qpoL/mAuKAYMrqWUB4wRh6+tnfjOvIZKZhjoAeYHbOfUeW2Ao53W48ub
9P2A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc:content-transfer-encoding;
bh=F465c3/ONgybnqnuN4KOnyfHpQzyRMJqptWWTwk615k=;
b=IHneBGRpe/Z+N9uepOEFTeNKvYBJTkXDbGBTD5QyCazigxiZ/ykCqxsFrPjLlEy/gN
mTiv6jryxF0OhHmXSWn4blMIjVShXN7i/NFvWtrgrNox/2crDtcN4er5etl1THysVdAq
iAQsWKpjpGTQ/DTn9Ox3dIsJDnSNdT5TFkiQix8oOKk1Yh5798MbLloO/+FtVW5FVt+j
Mp391PZNq4fa777k7GikWAa5k3dbfitA/zx9QEuuIrMyElCfB+j8U4TyQ3sSAYFWqPVx
fVO6qxYHaozYs1vo5LbImLMMkIQ40WFJF+1BCrbb58jlsXWMx8sbj9vkmm5WHAAn1k+e
EDig==
X-Gm-Message-State: AJIora8VRocEFrNi57CYGcZfklDGIveDRBcwng1Z6dNGvfrp2wDoNfdB
BdeVuSwLpBWma9Oi9gyO+jQYa+SLURgzAKSdUBcB5UluYt3y0A==
X-Google-Smtp-Source: AGRyM1tbuHB1c0p48yVkXMOXpbuiIKc7nzeUFvKC39MO1PFo/iUoqgxN3tHnpcFCAiVRBEEmxHWyjqkgPJ1Az+1vTnw=
X-Received: by 2002:a5d:5268:0:b0:21d:6c45:fe6 with SMTP id
l8-20020a5d5268000000b0021d6c450fe6mr658413wrc.380.1657674034134; Tue, 12 Jul
2022 18:00:34 -0700 (PDT)
MIME-Version: 1.0
References: <87lesy8h7s.wl-jch@irif.fr> <CAA93jw7dL1x=HWQtfhLtfis5evzvXgCPmt-b5zxX5rr4ymLBpA@mail.gmail.com>
<87k08i8fua.wl-jch@irif.fr> <CAA93jw748iMCJnNSd1ZgF489Z4Szbd3vQdyL3-xW962f60zpJQ@mail.gmail.com>
In-Reply-To: <CAA93jw748iMCJnNSd1ZgF489Z4Szbd3vQdyL3-xW962f60zpJQ@mail.gmail.com>
From: Dave Taht <dave.taht@gmail.com>
Date: Tue, 12 Jul 2022 18:00:20 -0700
Message-ID: <CAA93jw7qY=jybnULrrsbzz5i175SsGvjyzZdCNFg3YDx3Pm2rA@mail.gmail.com>
To: Juliusz Chroboczek <jch@irif.fr>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Message-ID-Hash: TW7RN34CBW5CJE3ZMXJREK2BBETHR5K4
X-Message-ID-Hash: TW7RN34CBW5CJE3ZMXJREK2BBETHR5K4
X-MailFrom: dave.taht@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: galene@lists.galene.org
X-Mailman-Version: 3.3.5
Precedence: list
Subject: [Galene] Re: OT: generics [was: Heads up: Galene now requires Go 1.16]
List-Id: =?utf-8?q?Gal=C3=A8ne_videoconferencing_server_discussion_list?= <galene.lists.galene.org>
Archived-At: <https://lists.galene.org/galene/CAA93jw7qY=jybnULrrsbzz5i175SsGvjyzZdCNFg3YDx3Pm2rA@mail.gmail.com/>
List-Archive: <https://lists.galene.org/galene/>
List-Help: <mailto:galene-request@lists.galene.org?subject=help>
List-Owner: <mailto:galene-owner@lists.galene.org>
List-Post: <mailto:galene@lists.galene.org>
List-Subscribe: <mailto:galene-join@lists.galene.org>
List-Unsubscribe: <mailto:galene-leave@lists.galene.org>
https://thenewstack.io/shaving-40-off-googles-b-tree-implementation-with-go=
-generics/
looked pretty exciting.
On Tue, Jul 12, 2022 at 9:45 AM Dave Taht <dave.taht@gmail.com> wrote:
>
> On Tue, Jul 12, 2022 at 9:18 AM Juliusz Chroboczek <jch@irif.fr> wrote:
> >
> > > btw, what are your feelings about go generics?
> >
> > They are smartly done, unlike C++ generics they don't impose a single
> > implementation strategy. They're done in Church style (where
> > instantiation consists in passing a type parameter), while I tend to
> > prefer Curry style (where instantiation is modelled as a case of
> > subtyping). They don't support specialisation (where the user writes
> > a specially optimised implementation for the types they really care
> > about), which might or might not be a limitation.
>
> I hope they evolve. This was a very disappointing analysis of go generics=
:
>
> https://planetscale.com/blog/generics-can-make-your-go-code-slower
>
> However, the rust version of generics is essentially programming the
> AST directly and if I really wanted a lisp, I'd have stuck with lisp.
> I didn't care for C++ much, but BOOST was a bright light in it.
>
> >
> > We'll see if we get any nice libraries. I'd love to see an implementat=
ion
> > of B-trees with good cache locality that is type-safe and efficient at =
all
> > types.
> >
> > -- Juliusz
>
>
>
> --
> FQ World Domination pending: https://blog.cerowrt.org/post/state_of_fq_co=
del/
> Dave T=C3=A4ht CEO, TekLibre, LLC
--=20
FQ World Domination pending: https://blog.cerowrt.org/post/state_of_fq_code=
l/
Dave T=C3=A4ht CEO, TekLibre, LLC