Re: Languages with types like Ada

"Luke A. Guest" <laguest@archeia.com>
Sun, 23 Oct 2022 20:17:11 +0100

          From comp.compilers

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)
| List of all articles for this month |

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.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.