Path: csiph.com!eternal-september.org!feeder.eternal-september.org!nntp.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: Safety of casting from 'long' to 'int'
Date: Sat, 09 May 2026 08:48:27 -0700
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <86ecjkshx0.fsf@linuxsc.com>
References: <10su8cn$am9i$1@dont-email.me> <10tivmm$1l93l$5@dont-email.me> <10tkth1$9ub$1@reader1.panix.com> <10tl03i$1l93l$8@dont-email.me> <10tl7qb$fo0$1@reader1.panix.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Sat, 09 May 2026 15:48:28 +0000 (UTC)
Injection-Info: dont-email.me; logging-data="3925730"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/nZnRy1DfrOSS+ATjjN1KkEGTR5H0XMMI="; posting-host="241722c71660d3e26e4790da0fa3960c"
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:Tcxzq1AcDXSVCRh9RA/GGLAK2R8= sha1:5kLMaJ9KPV+sl48H0Yq0g1xVRPA= sha256:zNeMM0yxtjKJ59S0fVErcLlKQC8ts+XRoHVOlajadSM= sha1:8fE9pyAHZ2HNcSKcw+/jQHXz7Wk=
Xref: csiph.com comp.lang.c:398593

cross@spitfire.i.gajendra.net (Dan Cross) writes:

> Examples of statically typed languages include SML, Haskell,
> Rust, etc.  Those are also all strongly typed.

Rust is not generally considered to be strongly typed.  Rust has
raw pointers and unsafe functions, both of which (can) violate
type safety.