From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: guile 3 update Date: Mon, 30 Oct 2017 15:15:20 +0100 Message-ID: <874lqgoh6v.fsf@pobox.com> References: <87shebscny.fsf@pobox.com> <87po9fmi65.fsf@dustycloud.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1509372955 32593 195.159.176.226 (30 Oct 2017 14:15:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 30 Oct 2017 14:15:55 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) Cc: guile-devel@gnu.org To: Christopher Allan Webber Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Oct 30 15:15:48 2017 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e9Aqs-00075H-Mq for guile-devel@m.gmane.org; Mon, 30 Oct 2017 15:15:43 +0100 Original-Received: from localhost ([::1]:40863 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e9Aqy-0000qF-6V for guile-devel@m.gmane.org; Mon, 30 Oct 2017 10:15:48 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36627) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e9Aqo-0000q2-Jg for guile-devel@gnu.org; Mon, 30 Oct 2017 10:15:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e9Aqk-0002en-Gn for guile-devel@gnu.org; Mon, 30 Oct 2017 10:15:38 -0400 Original-Received: from pb-sasl2.pobox.com ([64.147.108.67]:56260 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1e9Aqk-0002cd-An for guile-devel@gnu.org; Mon, 30 Oct 2017 10:15:34 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id DA3EAA2CCB; Mon, 30 Oct 2017 10:15:27 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=pTGqcvSLInzIDVsgASdJ2h+cHDQ=; b=SUjQRF /RgjVgkkTvwAOoQOBg+cuR3eHGs5HgMiBvvLYb4T/I9Zwi8TCda/fBWUrbJ7Z1Gn +ovlRL5ozo5JziqwJ2HH753BpdjdD6r8uM1Y9M1dm6jDN9rA0SKIiEJqM5Psky/Q gaLpDVKpFU9AcLsB1i2Bd98ymh3DnBCgauLi4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=h3ewSDzZG5JDOhgTnsLhaOZ9xV0JH7kZ 2jNQe+n3l/6Ra/qA4OYLyhGXk1aGJ+x83PcVl5mUCI3QjjtEEnx44JDaMujN5yO5 HSPtWWRdYKsl6V8jLplhiyfn2Ey/UgnDm9jsU3fN6Egaoot17FtvBjeRqhAZ9kcp TWZOmyjcMDo= Original-Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id D307DA2CC9; Mon, 30 Oct 2017 10:15:27 -0400 (EDT) Original-Received: from sparrow (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl2.pobox.com (Postfix) with ESMTPSA id 383F5A2CC8; Mon, 30 Oct 2017 10:15:27 -0400 (EDT) In-Reply-To: <87po9fmi65.fsf@dustycloud.org> (Christopher Allan Webber's message of "Sun, 22 Oct 2017 08:22:10 -0500") X-Pobox-Relay-ID: C730F6DE-BD7C-11E7-9FFC-EA54894C8D7C-02397024!pb-sasl2.pobox.com X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 64.147.108.67 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:19362 Archived-At: Hi :) On Sun 22 Oct 2017 15:22, Christopher Allan Webber writes: > - Could native code compilation also be a step towards WASM, assuming > they lend us their GC? Regarding this question: yes! Specifically with the "GC" proposal (which in reality is much more: https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md) I think that we will approach WASM's semantic level. There are some open questions of course, like how to deal with the stack and delimited continuations, how to do bignums with overflow, etc; but yeah we're getting there. Andy