Stream: advent of code

Topic: 2023 Day 13

Oskar Hahn (Dec 13 2023 at 20:01):

https://github.com/ostcar/aoc2023/blob/main/days/day13.roc

I think this was easier again.

Elias Mulhall (Dec 14 2023 at 05:19):

Part 2 wrinkled my brain a bit, but we got there
https://gist.github.com/mulias/2e9f88bc847a4e1ba28c75b522af7ecc

Elias Mulhall (Dec 14 2023 at 05:25):

Love that I can do this

{dimX, dimY} = Array2D.shape pattern

linesX =
    { start: At 1, end: Before dimX }
    |> List.range
    |> List.map X

linesY =
    { start: At 1, end: Before dimY }
    |> List.range
    |> List.map Y

List.concat linesX linesY

X and Y working contextually as constructor functions, plus List.concat producing a list of mixed tag types without needing type annotations all feels great. Between OCaml and TypeScript I feel like I have good grasp of polymorphic/structural variants, but no other language has done it as cleanly as Roc IMO.

Johan Lindskogen (Dec 15 2023 at 08:04):

Finally solved day 13! https://github.com/lindskogen/advent-of-code-2023/blob/main/day13/main.roc

Fabian Schmalzried (Dec 15 2023 at 10:52):

I also finally found some time to solve this. https://github.com/FabHof/aoc-2023/blob/main/day13/main.roc
I think it was on the easier side. Part 2 was not a huge problem to adapt, and I was even inefficient with it.

Ryan Bates (Dec 16 2023 at 00:38):

Here's my day 13. Fun one! https://github.com/ryanb/advent-2023-roc/tree/main/day13

timotree (Dec 20 2023 at 00:47):

My day 13: https://github.com/timotree3/aoc2023/blob/main/roc/day13.roc
I was so slow because I still haven't finished day 12!

Last updated: Jul 06 2025 at 12:14 UTC