Related articles |
---|
[3 earlier articles] |
Re: Languages with types like Ada gah4@u.washington.edu (gah4) (2022-10-21) |
Re: Languages with types like Ada DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2022-10-22) |
Re: Languages with types like Ada thomas@burdick.fr (Thomas F. Burdick) (2022-10-22) |
Re: Languages with types like Ada bo@bo-persson.se (Bo Persson) (2022-10-22) |
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-22) |
Re: Languages with types like Ada christopher.f.clark@compiler-resources.com (Christopher F Clark) (2022-10-23) |
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-23) |
Re: Languages with types like Ada a.rumpf@crosssoft.de (Andreas Rumpf) (2022-11-07) |
From: | "Luke A. Guest" <laguest@archeia.com> |
Newsgroups: | comp.compilers |
Date: | Sun, 23 Oct 2022 20:17:11 +0100 |
Organization: | Aioe.org NNTP Server |
References: | 22-10-034 22-10-044 22-10-057 |
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 |
Content-Language: | en-GB |
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.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.