Re: Languages with types like Ada

From	"Luke A. Guest" <laguest@archeia.com>
Newsgroups	comp.compilers
Subject	Re: Languages with types like Ada
Date	2022-10-23 20:17 +0100
Organization	Aioe.org NNTP Server
Message-ID	<22-10-058@comp.compilers> (permalink)
References	<22-10-034@comp.compilers> <22-10-044@comp.compilers> <22-10-057@comp.compilers>

Show all headers | View raw

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.

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-20 10:01 +0100
  Re: Languages with types like Ada antispam@math.uni.wroc.pl - 2022-10-21 12:30 +0000
    Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-21 21:00 +0100
      Re: Languages with types like Ada Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2022-10-22 11:26 +0200
      Re: Languages with types like Ada Bo Persson <bo@bo-persson.se> - 2022-10-22 18:17 +0200
  Re: Languages with types like Ada gah4 <gah4@u.washington.edu> - 2022-10-21 17:09 -0700
  Re: Languages with types like Ada "Thomas F. Burdick" <thomas@burdick.fr> - 2022-10-22 14:30 +0200
    Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-22 21:22 +0100
    Re: Languages with types like Ada Christopher F Clark <christopher.f.clark@compiler-resources.com> - 2022-10-23 20:02 +0300
      Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-23 20:17 +0100
    Re: Languages with types like Ada Andreas Rumpf <a.rumpf@crosssoft.de> - 2022-11-07 09:58 +0100

csiph-web