From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gentoo-amd64+bounces-13698-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
	by finch.gentoo.org (Postfix) with ESMTP id 96EB513838B
	for <garchives@archives.gentoo.org>; Mon, 22 Sep 2014 20:25:07 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
	by pigeon.gentoo.org (Postfix) with SMTP id AFF15E0B19;
	Mon, 22 Sep 2014 20:24:57 +0000 (UTC)
Received: from resqmta-ch2-06v.sys.comcast.net (resqmta-ch2-06v.sys.comcast.net [69.252.207.38])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by pigeon.gentoo.org (Postfix) with ESMTPS id EA206E0AFF
	for <gentoo-amd64@lists.gentoo.org>; Mon, 22 Sep 2014 20:24:56 +0000 (UTC)
Received: from omta21.westchester.pa.mail.comcast.net ([76.96.62.72])
	by resqmta-ch2-06v.sys.comcast.net with comcast
	id uKv21o0031ZXKqc01LQv2V; Mon, 22 Sep 2014 20:24:55 +0000
Received: from crud.chemoelectric.org ([66.41.30.59])
	by omta21.westchester.pa.mail.comcast.net with comcast
	id uLQu1o0071GXozm3hLQuQH; Mon, 22 Sep 2014 20:24:54 +0000
Received: by crud.chemoelectric.org (Postfix, from userid 1501)
	id E95C7146021E; Mon, 22 Sep 2014 15:24:53 -0500 (CDT)
Date: Mon, 22 Sep 2014 15:24:53 -0500
From: Barry Schwartz <chemoelectric@chemoelectric.org>
To: gentoo-amd64@lists.gentoo.org
Subject: Re: [gentoo-amd64] Boycott Systemd
Message-ID: <20140922202453.GA31747@crud>
References: <20140921192043.GA9652@crud>
 <CADPrc8020+LCqFJ6rV+_BJMVyrYx4BVp=Dog=9_1cUcqTqvoEQ@mail.gmail.com>
 <20140921171301.5f008b3bd12c21c2f8fdd67e@comcast.net>
 <CADPrc82P+vY8gOvmMY9fHz9k6Tk8r1AOA-+oVTRCbTHyeXTFUw@mail.gmail.com>
 <20140921202600.08d082d88014228172007477@comcast.net>
 <CAGf7mVVqnqD2XAEmjC-svwYO8AVWSF-5B3i2h6b+4UgbyVSdJA@mail.gmail.com>
 <20140922175846.GA22399@crud>
 <20140922144114.3f89cd00fc13ce4a06515bce@comcast.net>
 <20140922192438.GA27995@crud>
 <20140922160731.4a2a4fddb0c965a11a911654@comcast.net>
Precedence: bulk
List-Post: <mailto:gentoo-amd64@lists.gentoo.org>
List-Help: <mailto:gentoo-amd64+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-amd64+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-amd64+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-amd64.gentoo.org>
X-BeenThere: gentoo-amd64@lists.gentoo.org
Reply-to: gentoo-amd64@lists.gentoo.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20140922160731.4a2a4fddb0c965a11a911654@comcast.net>
User-Agent: Mutt/1.5.22 (2013-10-16)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net;
	s=q20140121; t=1411417495;
	bh=F3JnvJNJOr/nXQjlTt5Ijz0Kp3735mWFHXPKjYmivGo=;
	h=Received:Received:Received:Date:From:To:Subject:Message-ID:
	 MIME-Version:Content-Type;
	b=iBH5w+/RZ6y2VZOlPbOKYVU3jJb6o+vN1BMEd3encjw2wykKfTmpYWz7Nu3rk4Rcz
	 xpnqCY4xSEyPlVDfPEEFQlmoLA5nKJ57POKWFDaiz+AXx3eQbkYXfGxrEHJUUqnL0a
	 hptlizZbki3AUIYSqCAyR/AXEjDdXmhq7cf8adGNKNrEJ8IPpH9LOP/BLk3NboHQcg
	 a5qvm/aIlBGOuFdMFZY6aoaM75NjwQg45/f/3Kk3+JKJNnDyc0xVJ3el2y9hnvocQj
	 PqVDFIcByAYxupDpmJlcitum1LEQS7lxqaAy39p/zQDvoFuDzSKrXpzqf0jCaExbBw
	 WF584rIS2f5Fg==
X-Archives-Salt: f3660ffa-f9d7-4af3-bf95-d8e11f7db563
X-Archives-Hash: 06e66f27272dc99c4b782ba48696d0d0

Frank Peters <frank.peters@comcast.net> skribis:
> How difficult would it be to introduce bounds checking on all
> C arrays as with some other languages?  Would bounds checking
> reduce the efficiency and speed of C, as these are probably
> its most desired characteristics?  C is essentially only one
> small step away from machine language and that's why it's
> preferred for systems programming.

ATS allows the writing of code that prevents buffer overruns,
_without_ bounds checking. The ‘bounds checking’ is done by the type
system; you will get a compile-time error.

Most programming errors are type errors in some language that people
are not using.