From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Grant Newsgroups: gmane.lisp.guile.devel Subject: Re: Verifying Toolchain Semantics Date: Sun, 5 Oct 2014 14:19:42 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1412533204 8532 80.91.229.3 (5 Oct 2014 18:20:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 5 Oct 2014 18:20:04 +0000 (UTC) To: guile-devel , =?UTF-8?B?VGF5bGFuIEJhecSxcmzEsQ==?= , William Leslie , Richard Stallman , Mark H Weaver Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Oct 05 20:19:55 2014 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XaqPP-00020Y-4J for guile-devel@m.gmane.org; Sun, 05 Oct 2014 20:19:51 +0200 Original-Received: from localhost ([::1]:48297 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XaqPO-00036k-Ge for guile-devel@m.gmane.org; Sun, 05 Oct 2014 14:19:50 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37186) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XaqPK-00035c-6G for guile-devel@gnu.org; Sun, 05 Oct 2014 14:19:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XaqPJ-0000vT-5O for guile-devel@gnu.org; Sun, 05 Oct 2014 14:19:46 -0400 Original-Received: from mail-wi0-x230.google.com ([2a00:1450:400c:c05::230]:58281) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XaqPH-0000um-TB; Sun, 05 Oct 2014 14:19:44 -0400 Original-Received: by mail-wi0-f176.google.com with SMTP id hi2so2702244wib.15 for ; Sun, 05 Oct 2014 11:19:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=FTEbv/Nevrx0NHLJ//yrPJjMBcvH9sk01uujS1vB2ww=; b=wMIYlUkAxsJKHgFJCLki3TfjYv0MlYYClJkNFScETkAVzM6CCA6hP3tDtSXljd1p3y mPvOtdzjH9zKYrg+Ew25VRMz6UkaFb/PcsUJduN2z/SNnH8Mu5LcG4oAsu77CbMyujUP tGuW4cSU/+OQjAu4OByoTjhYcNNlT+Thi/gkCI0G7YNgXjG7Qg6FxIXeMLGC4yDlY22A hVNdcZRC1pGPu1s+C/UTfg5wszhyvOabA9MT5f4mI2h62RR+v1/jA1PbBN9BmIceK55n 09pcvrAzFhEbsh5wLUaeygpB4i9BSeTyEL66SZb8uLFOWzoNkI0PycXv78p0yywIaB1Q F4OA== X-Received: by 10.194.81.101 with SMTP id z5mr23958429wjx.17.1412533182849; Sun, 05 Oct 2014 11:19:42 -0700 (PDT) Original-Received: by 10.194.77.49 with HTTP; Sun, 5 Oct 2014 11:19:42 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c05::230 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17552 Archived-At: On Sun, Oct 5, 2014 at 1:42 PM, Ian Grant wrote: > [we] will be able to implement a C compiler in Microsoft Word BASIC, or in > COBOL, and that will be capable of compiling GCC, if we had a year or > so to wait while it does it ... This is not true. Word BASIC or COBOL could easily write out an executable binary defined by an abstract formal description in a text file. It would take a while, but the binary would be able to compile GCC pretty quickly.