From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: * X-Spam-Status: No, score=1.8 required=3.0 tests=BAYES_50,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:ac8:3aa7:: with SMTP id x36mr44918730qte.206.1608156303604; Wed, 16 Dec 2020 14:05:03 -0800 (PST) X-Received: by 2002:aed:2c25:: with SMTP id f34mr1797604qtd.346.1608156303275; Wed, 16 Dec 2020 14:05:03 -0800 (PST) Path: eternal-september.org!reader02.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 16 Dec 2020 14:05:03 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:3b:2d58:2165:f250:6603; posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h NNTP-Posting-Host: 2a03:7380:380d:3b:2d58:2165:f250:6603 References: <86eejsnp37.fsf@stephe-leake.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Advent of Code From: Maxim Reznik Injection-Date: Wed, 16 Dec 2020 22:05:03 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:60868 List-Id: If you will solve day 16, try to define a dedicated type for ticket field index (or description rule index). That way compiler will catch you if you accidentally intermix field index with rule index. This could be a good illustration how strong type system helps you write correct code and why you need more than just one int type at all. https://github.com/reznikmm/ada-howto/blob/advent-2020/md/16/16.md