Path: csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: "Luke A. Guest" Newsgroups: comp.compilers Subject: Re: Languages with types like Ada Date: Sun, 23 Oct 2022 20:17:11 +0100 Organization: Aioe.org NNTP Server Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <22-10-058@comp.compilers> References: <22-10-034@comp.compilers> <22-10-044@comp.compilers> <22-10-057@comp.compilers> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="34960"; mail-complaints-to="abuse@iecc.com" Keywords: types Posted-Date: 23 Oct 2022 21:52:49 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Content-Language: en-GB Xref: csiph.com comp.compilers:3228 On 23/10/2022 18:02, Christopher F Clark wrote: > Each system has its advantages. > > Since I have been recently working with Rust, I would say its trait > system is an attempt to cross the boundary. I believe named types > are nominal in rust (I believe unnamed types are structural). However, > you can do structural things with named types by declaring traits > and implementing them on your named types. You still have to > explicitly declare the associations, but you can do it post facto. I've still not got around to looking at rust properly bar seeing it and not liking it much. One of the things I want to play with are traits as I do think they worth having and was one of my original goals.