From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: troubles learning OOP: expected type "Parent.Some_Child", found type Parent'Class Date: Mon, 12 Feb 2018 18:42:33 +0000 Organization: A noiseless patient Spider Message-ID: References: <634e9064-33f8-42c0-9032-e630f98c89d4@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="b6495a8dbc2779c7727059ea44b5e007"; logging-data="10253"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18gvbM+cR8bU6fb+87+7tZPSVDaRym9CU8=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin) Cancel-Lock: sha1:KyX/PgLScayhWATRUW8+gLdhu40= sha1:szxenkwCmjvkBrwKBgKUT6TCXag= Xref: reader02.eternal-september.org comp.lang.ada:50394 Date: 2018-02-12T18:42:33+00:00 List-Id: "Dmitry A. Kazakov" writes: > On 2018-02-12 19:17, Mehdi Saada wrote: > >> Now, I know why I prefered mutant types even before using them. > > Mutable instances are always less safe than immutable ones. Not sure that Mehdi means "mutant" = "mutable". Though, I don't know what they mean by "mutant".