220 40912 article Path: news.gmane.org!.POSTED!not-for-mail From: Vinnie Falco Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: please discontinue the command of the [while] and [do,while] Date: Wed, 7 Nov 2018 18:56:43 -0800 Lines: 21 Approved: news@gmane.org Message-ID: References: <8c5cefbc-3565-4add-ae37-37d730e853c9@isocpp.org> <0c89963c-d5e4-49f2-a460-fb987ec5a50a@isocpp.org> <94ffcfd5-0657-4632-95d9-efc88208a8d6@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1541645688 387 195.159.176.226 (8 Nov 2018 02:54:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 8 Nov 2018 02:54:48 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDEML5NM4YJBB5OLR3PQKGQECXFPFKQ@isocpp.org Thu Nov 08 03:54:44 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk1-f199.google.com ([209.85.222.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gKaSy-0008RW-H6 for gclcip-std-proposals@m.gmane.org; Thu, 08 Nov 2018 03:54:44 +0100 Original-Received: by mail-qk1-f199.google.com with SMTP id 67sf34628859qkj.18 for ; Wed, 07 Nov 2018 18:56:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1541645814; cv=pass; d=google.com; s=arc-20160816; b=0FNAujJSNc4TyZqCBO/V7JxY8aOb6fJa/sOmiWNwiDHR5b3F1kFG8hzBITNstBUdVC tpoH4CLIhnwW9fAJ6tK1pkpuzFzA+Iw3zZASFcBZ7c9B9BgOSS2b9PkRSXpoOYjnZEZ0 sE4JRzmRGhTSaAwoHELUJQuDujTJkUBmgY5Ydsy4NevVgL83AfmxQwkIbuiogmBU2s8e Jv1AqpHzsM48Hdd/G0Oy9sPj3LnhgP89Go4ohN4N0KNXRH9N5Usxd2I/pH8/ySdnvhTP P5gEpUrx/mfmTpjmJdy/HZzNuqiuTAQmeE+r+iWBdHH+dSEE/3bUq4vFi1VEtk/h7COJ fouQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:subject:message-id:date :from:in-reply-to:references:mime-version:dkim-signature; bh=rdUXrpXUMrhHNHpZDejqL1/RT3hWu2MkdTf8BXS7nhU=; b=r1D65HglRjNnALk2+Q4kRMxtlhYydpTMARJpxflHnY1bccsNw0WoxS+3DNASw9rb7y 1Z/U/dF6lyQanZwPm37AqVyV9ORO5osFeMhGRE3RIhySYdLpui38SJt7wn1uwAwSnGnl iQCLH8sdb5xV3UAZ+uVTmBzNskqk22VoqHz3eUrG7zY5JJDBYpzPhn55MVySXksNsscV 5Nghp/2QH03ZewbnUdQxg62I8mn+oG/5wz7G1cGo8hcF4DZVM8kIvURDleIu+QPesUce KaIVt+jUIe9+G0sJbEOvr5iynDPu7ZAe2qlnGrEfINjSkUi3m0c4OkoAROM4i2dLzTHJ 94hg== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=qXYWozef; spf=pass (google.com: domain of vinnie.falco@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=vinnie.falco@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=rdUXrpXUMrhHNHpZDejqL1/RT3hWu2MkdTf8BXS7nhU=; b=dyZnwybLL+QZ6gSoCNwURn4Z0mLq3vM0m3DxT3Bj3OwCcgq7tQh1KfXLI1+VLLV0F9 v0hFXRmyDRXlSjfCmecYWyMhZHHO2rcgucEDhCbKq4dRW6J3PZMiYdlkY+x04hbC5QLy EwBJq4rOjUv+nQZ9Hl8cBta8HIGOoHuL226U2qXjU82fPC/KggvD5ZeiMq215IdmuBl6 8Kze8Aa4IH/r0D79ofyZ2jFCdjr2GbrZM0JEysGVeiL/+y1/EdDxSDfUdyEbhKiphEQk QkzIFiEitepWJPXTiq6LjSuolNRjovQ02ue86JNhsev9UUQMWbLD609Mvw9mzTNAjEMB xq+Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=rdUXrpXUMrhHNHpZDejqL1/RT3hWu2MkdTf8BXS7nhU=; b=p2CctHCKj8grdC7Fl+D/VjoU/01YrLS8iZ4Lx5b/ifhTVDhCAeTzoNSOJNSt/fIiLp uiD0a0+JBxr/24o+U+zs0Dffi8N4k8WnFBITCaJB5pGDfnk12oYEZYvMPlVwE2OAKn5P 9lQaztBDvnYZgP7Y/HtUA2lkX0CLkg5Y2600c2ib/dLWwswxIoF7JLtg3tc5KFCc5PbB CC/TDACaCsnNcV4c+qJuZZt5I2EMLJ2Pe1LBSPwSxCLT+G6+oHjwhWwz1kgj/tyaam0p 5g4ki0zkodTs1D3XmlIikyQkElwmHbjVWBLKpsRcoMBuKsTThqURyHfM19z/fc5FsY2w Ov8g== X-Gm-Message-State: AGRZ1gKEYmS6Bq1suMdKsGjkQPYuOXrpqGJmgIqqo6R9etsCZkEOWUzx lJsie42Ckt+78uZBzE5jSF5u5w== X-Google-Smtp-Source: AJdET5cH8OODon6Da5g8C1fC81/wxBk8dYVDzcXD3kBQ9/cHlK2JCE1mtawibLbEdLc5udb+SGUoLg== X-Received: by 2002:a0c:e702:: with SMTP id d2mr1863895qvn.34.1541645814726; Wed, 07 Nov 2018 18:56:54 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a37:149a:: with SMTP id 26ls300390qku.10.gmail; Wed, 07 Nov 2018 18:56:53 -0800 (PST) X-Received: by 2002:a37:27d2:: with SMTP id n201mr2688369qkn.18.1541645813691; Wed, 07 Nov 2018 18:56:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1541645813; cv=none; d=google.com; s=arc-20160816; b=Uaz9CyMLRUzCXDfE/+j+2xsE+lKmybTU2NP0jZr3AyDeekw6xxxHTObZvc3SkbbuYk qmq35v4nwu3tKWz78YxJ6js+zS2w9JvGA9ZapPhuMZvVZ3RCiqyPwLGG5KckX2mfeIBX u/kYLUPyr8s44ti0wUiv7Q65I5ddzHp1jrUW0hw3tBCHFQ7pm5xzxgGzI56k0VCitDti WTRDrtxTd39JbdL1/7AeqCEuCZSrwFFt7lFb0yIXIyhZjrHtp0bU2qyYkGah4B1nIDDG CNOetnhk5bD8xOaO2vu3DXiqjXgmsVZX9ObVnpkMOBlIASGRQW7EX+HcOIXPfWNfQA2o j2Wg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=5OZcHV7e6KCTbMFgsSqw9m8H998X/HkVju3fEi/Ml0M=; b=zeJjuLFs4agwG9UgsVVdwxUWu1uAiLOC84uu5LTgjAbljz4sHCcrE3ecO6bypHM11t Rf3xOK0cHAioSrfK+JfW5Wowt+0V8pZy0cpKGX8xiij4nLfs+CwVq7aYqaiwfrbUjRCr 1FV3KIreUDk9aFyBiJvDmouGglnohAhca+j4DcusZ4tnVNsfgfQu/H/yiO2IeqTb9Xvw wT0oL1HbFNbbvxPEer7iZP/y/pgsVpCWFM6Em0I/yEcQLcP7NJw1ooUHiCT/rS4abUTc wYGuMYnL1deM2tO3bDNuBwiewNFxTsiw40zR4fw5uWSqQnHBaZQHCsYYy9cwkakusiw+ MW/A== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=qXYWozef; spf=pass (google.com: domain of vinnie.falco@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=vinnie.falco@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41]) by mx.google.com with SMTPS id y12sor2947566qvr.56.2018.11.07.18.56.53 for (Google Transport Security); Wed, 07 Nov 2018 18:56:53 -0800 (PST) Received-SPF: pass (google.com: domain of vinnie.falco@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a0c:f4c2:: with SMTP id o2mr2756739qvm.236.1541645813162; Wed, 07 Nov 2018 18:56:53 -0800 (PST) In-Reply-To: <94ffcfd5-0657-4632-95d9-efc88208a8d6@isocpp.org> X-Original-Sender: vinnie.falco@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=qXYWozef; spf=pass (google.com: domain of vinnie.falco@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=vinnie.falco@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:40912 Archived-At: On Wed, Nov 7, 2018 at 6:41 PM wrote: > Trying to remove infinite loops from c++ in order to be able to prove a program > can complete means these things can't be written in c++. This is a non-turing-complete language for which the halting problem is solvable: "Simplicity: A New Language for Blockchains" Simplicity is a typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications. Regards -- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CA%2BEzHGdvL2k3CS%2BoeC7e8fmviEVj7PD2OLQiBEJLTf2QZMqUWA%40mail.gmail.com. .