Path: csiph.com!eternal-september.org!feeder.eternal-september.org!nntp.eternal-september.org!.POSTED!not-for-mail From: Tim Rentsch Newsgroups: comp.lang.c Subject: Re: Safety of casting from 'long' to 'int' Date: Mon, 11 May 2026 20:53:11 -0700 Organization: A noiseless patient Spider Lines: 17 Message-ID: <864ikdp9lk.fsf@linuxsc.com> References: <10su8cn$am9i$1@dont-email.me> <10tsdom$11qhe$2@dont-email.me> <10tt9c0$2351k$1@paganini.bofh.team> <868q9ppg4o.fsf@linuxsc.com> <10tu7mi$126$1@reader1.panix.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Date: Tue, 12 May 2026 03:53:12 +0000 (UTC) Injection-Info: dont-email.me; logging-data="1743616"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19C5kKaV3gsGc/ukt56/9uvwu+Qnp3bH3M="; posting-host="714746643ff61f997ea29d517f63563d" User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux) Cancel-Lock: sha1:uG1In8Xo3D2i6abVmnGhURfPn0k= sha1:DigVtzS/7337f1I09UdNu8v+9uQ= sha256:QB5ibWKvkzmFr2m2Lpsh04kixF/eaQO9ZeI3uC+MGSc= sha1:CjDa1Ii6Oe6TtH+EbpM31sMjVb0= Xref: csiph.com comp.lang.c:398797 cross@spitfire.i.gajendra.net (Dan Cross) writes: > In article <868q9ppg4o.fsf@linuxsc.com>, > Tim Rentsch wrote: > >> antispam@fricas.org (Waldek Hebisch) writes: >> >> [discussing the notion of "safe" programs] >> >>> As I wrote, safety is about ability to avoid or detect errors. >> >> In the functional programming community the usual statement is >> "Well-typed programs cannot go wrong." > > This is only concerning _type safety_. I didn't mean to imply anything different.