Day 19: Aplenty
Megathread guidelines
- Keep top level comments as only solutions, if you want to say something other than a solution put it in a new post. (replies to comments can be whatever)
- You can send code in code blocks by using three backticks, the code, and then three backticks or use something such as https://topaz.github.io/paste/ if you prefer sending it through a URL
FAQ
- What is this?: Here is a post with a large amount of details: https://programming.dev/post/6637268
- Where do I participate?: https://adventofcode.com/
- Is there a leaderboard for the community?: We have a programming.dev leaderboard with the info on how to join in this post: https://programming.dev/post/6631465
That’s a nice parser and I like the use of pattern matching here.
What I wonder is if you couldn’t make a cool monadic representation of the ranges, where you could do the equivalent of
if (foo.x > 12) return bar(x); else return baz(x);
but ‘x’ wouldn’t be an integer, it’d be a collection of integer ranges. The
>
operator would return a collection of pairs of (newly split) integer ranges and booleans. Theif
would yield map the pairs to a new bunch of pairs and so on.Mmm, I was thinking something similar. I’ve been meaning to go back and have another go, but the last few problems have eaten up all my time (and energy!)
I realized with the parser you can write eg
rule = (,) <$> optionMaybe (try condition) <*> many1 letter
which avoids even more of those pesky variable names! (I still haven’t quite internalized how to use Applicative)