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 ; 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 ; 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> <87k08i8fua.wl-jch@irif.fr> In-Reply-To: From: Dave Taht Date: Tue, 12 Jul 2022 18:00:20 -0700 Message-ID: To: Juliusz Chroboczek 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?= Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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 wrote: > > On Tue, Jul 12, 2022 at 9:18 AM Juliusz Chroboczek 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