From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id MFWaA99Dq16ZTwAA0tVLHw (envelope-from ) for ; Thu, 30 Apr 2020 21:32:15 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id GIMsKehDq16ZagAAbx9fmQ (envelope-from ) for ; Thu, 30 Apr 2020 21:32:24 +0000 Received: from lists.gnu.org (lists.gnu.org [IPv6:2001:470:142::17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id DAE7694254B for ; Thu, 30 Apr 2020 21:32:22 +0000 (UTC) Received: from localhost ([::1]:38688 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jUGn8-00076B-P1 for larch@yhetil.org; Thu, 30 Apr 2020 17:32:22 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59338) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jUGlU-0005xu-AJ for guix-devel@gnu.org; Thu, 30 Apr 2020 17:31:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jUGiD-0007kM-Nb for guix-devel@gnu.org; Thu, 30 Apr 2020 17:30:39 -0400 Received: from mx1.dismail.de ([78.46.223.134]:33198) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jUGiC-0007YI-7P for guix-devel@gnu.org; Thu, 30 Apr 2020 17:27:16 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id c1c8c533 for ; Thu, 30 Apr 2020 23:27:11 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=20190914; bh=Hlp+Itl3Wg0FNluXCRQ79ueUDk3m4s+gbz 4m40TMJ9I=; b=TNRSPmF7vtwWem3akwid7fiYkKubARyuUl/77XbT4KsDyvksd1 Y4JoPHX8Zjhb4n+0h1CzIuqS8r+sGmqUySICH8gAt62z28yxfLBHWuvAgOlaqwN+ Z8VrZ0oJnQLiNpx63azWf5TjgplUnNNS9dJ69V7RheO89AlzvK83YZD2MCSRVuM0 nEyPDRHngGv0inamKlfrJQ5oI3qgexgOrO6cVQrNVddbi8YMh2RrbNsdFOh0COJN /lJJU+v9Ru/TplVsWU4UjdRruwqU58xB8ME72WGnQ9elEoyQCOXan8P4VPQB5yoS dUMivocaTxfmkIpdCCULKfML4wpq33gDg0Lg== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id fa397e63 for ; Thu, 30 Apr 2020 23:27:11 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 18cede4d for ; Thu, 30 Apr 2020 23:27:10 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 8c0faf66 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Thu, 30 Apr 2020 23:27:10 +0200 (CEST) From: Joshua Branson To: guix-devel@gnu.org Subject: Re: Medium-term road map References: <87mu6zd6tz.fsf@gnu.org> <87pnbtwdh8.fsf@igalia.com> Mail-Followup-To: guix-devel@gnu.org Date: Thu, 30 Apr 2020 17:27:27 -0400 In-Reply-To: <87pnbtwdh8.fsf@igalia.com> (Andy Wingo's message of "Mon, 27 Apr 2020 10:16:03 +0200") Message-ID: <874kt0u0jk.fsf@dismail.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=78.46.223.134; envelope-from=jbranso@dismail.de; helo=mx1.dismail.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/04/30 17:27:12 X-ACL-Warn: Detected OS = ??? X-Received-From: 78.46.223.134 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 X-Spam-Score: -1.71 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b=TNRSPmF7; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 2001:470:142::17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Scan-Result: default: False [-1.71 / 13.00]; GENERIC_REPUTATION(0.00)[-0.49461028106299]; DWL_DNSWL_BLOCKED(0.00)[2001:470:142::17:from,dismail.de:dkim]; R_SPF_ALLOW(-0.20)[+ip6:2001:470:142::/48:c]; IP_REPUTATION_HAM(0.00)[asn: 22989(0.17), country: US(-0.00), ip: 2001:470:142::17(-0.49)]; TO_DN_NONE(0.00)[]; DKIM_TRACE(0.00)[dismail.de:+]; DMARC_POLICY_ALLOW(-0.50)[dismail.de,reject]; MX_GOOD(-0.50)[cached: eggs.gnu.org]; MAILLIST(-0.20)[mailman]; FORGED_RECIPIENTS_MAILLIST(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; ASN(0.00)[asn:22989, ipnet:2001:470:142::/48, country:US]; MID_RHS_MATCH_FROM(0.00)[]; TAGGED_FROM(0.00)[larch=yhetil.org]; ARC_NA(0.00)[]; R_DKIM_ALLOW(-0.20)[dismail.de:s=20190914]; FROM_NEQ_ENVFROM(0.00)[jbranso@dismail.de,guix-devel-bounces@gnu.org]; FROM_HAS_DN(0.00)[]; URIBL_BLOCKED(0.00)[igalia.com:email,dismail.de:dkim]; MIME_GOOD(-0.10)[text/plain]; PREVIOUSLY_DELIVERED(0.00)[guix-devel@gnu.org]; HAS_LIST_UNSUB(-0.01)[]; RCPT_COUNT_ONE(0.00)[1]; DNSWL_BLOCKED(0.00)[2001:470:142::17:from]; RCVD_COUNT_SEVEN(0.00)[8]; FORGED_SENDER_MAILLIST(0.00)[] X-TUID: 9+rIs93mMsWc Andy Wingo writes: > > I think I have a solution here, as discussed on IRC. Basic idea is to > make a direct compiler from Tree-IL to bytecode, skipping the CPS step. > The result won't be optimal in terms of generated code quality (I > estimate on average 2x slowdown) but it will be very cheap to produce (I > estimate 10x improvement in time, and going from O(n log n) space to > O(n), with better constant factors. We'd use this compiler for -O0 or > maybe even -O1 code. > > Got to spend a few days working it up tho! > > Andy I love how Andy can say something like "yeah I've thought of this awesome idea that will result in a 10x performance gain"...and "oh yeah, it'll only take me a few days to do it." What's awesome is he is such a genius, that he'll probably pull it off. :) -- Joshua Branson Sent from Emacs and Gnus