From: Maxim Reznik <reznikmm@gmail.com>
Subject: Re: Advent of Code
Date: Wed, 16 Dec 2020 14:05:03 -0800 (PST) [thread overview]
Message-ID: <e7348e05-d191-48ff-8620-defa42b3472cn@googlegroups.com> (raw)
In-Reply-To: <c940e57d-8602-4f2d-975f-2c10525363acn@googlegroups.com>
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
next prev parent reply other threads:[~2020-12-16 22:05 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-14 19:51 Advent of Code Stephen Leake
2020-12-14 21:56 ` John Perry
2020-12-16 22:05 ` Maxim Reznik [this message]
-- strict thread matches above, loose matches on Subject: below --
2020-11-28 3:12 John Perry
2020-11-28 18:40 ` Stephen Leake
2020-11-29 3:36 ` Jeremy Grosser
2020-11-29 14:03 ` Bojan Petrovic
2020-12-01 7:08 ` John Perry
2020-12-01 11:37 ` Max Reznik
2020-12-01 11:37 ` Jeffrey R. Carter
2020-12-01 12:17 ` Stephen Leake
2020-12-01 18:33 ` Per Sandberg
2020-12-01 19:45 ` Simon Beàn
2020-12-01 20:10 ` John Perry
2020-12-02 0:12 ` Stephen Leake
2020-12-01 20:37 ` R R
2020-12-02 12:35 ` Jeffrey R. Carter
2020-12-02 16:09 ` John Perry
2020-12-02 16:57 ` gautier...@hotmail.com
2020-12-02 18:01 ` John Perry
2020-12-02 20:51 ` gautier...@hotmail.com
2020-12-02 21:29 ` Max Reznik
2020-12-02 23:04 ` Stephen Leake
2020-12-03 14:52 ` Wendel Wang
2020-12-03 17:20 ` Björn Lundin
2020-12-03 17:36 ` John Perry
2020-12-03 18:25 ` Wendel Wang
2020-12-03 18:38 ` Jeffrey R. Carter
2020-12-03 18:50 ` gautier...@hotmail.com
2020-12-03 19:47 ` Björn Lundin
2020-12-08 20:44 ` Max Reznik
2020-12-08 21:06 ` John Perry
2020-12-13 18:26 ` Maxim Reznik
2020-12-13 21:36 ` John Perry
2020-12-02 22:59 ` Stephen Leake
2020-12-14 17:43 ` Gautier Write-Only Address
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox