commit 43ccf73acf81da0eb08a02ccc40c4d7a6970ea2e · aylac.top/advent_of_code

+20

2015/14/gleam/gleam.toml

···

       1
       +
       name = "main"

     

       2
       +
       version = "1.0.0"

     

       3
       +
       

     

       4
       +
       # Fill out these fields if you intend to generate HTML documentation or publish

     

       5
       +
       # your project to the Hex package manager.

     

       6
       +
       #

     

       7
       +
       # description = ""

     

       8
       +
       # licences = ["Apache-2.0"]

     

       9
       +
       # repository = { type = "github", user = "", repo = "" }

     

       10
       +
       # links = [{ title = "Website", href = "" }]

     

       11
       +
       #

     

       12
       +
       # For a full reference of all the available options, you can have a look at

     

       13
       +
       # https://gleam.run/writing-gleam/gleam-toml/.

     

       14
       +
       

     

       15
       +
       [dependencies]

     

       16
       +
       gleam_stdlib = ">= 0.44.0 and < 2.0.0"

     

       17
       +
       simplifile = ">= 2.3.0 and < 3.0.0"

     

       18
       +
       

     

       19
       +
       [dev-dependencies]

     

       20
       +
       gleeunit = ">= 1.0.0 and < 2.0.0"

+14

2015/14/gleam/manifest.toml

···

       1
       +
       # This file was generated by Gleam

     

       2
       +
       # You typically do not need to edit this file

     

       3
       +
       

     

       4
       +
       packages = [

     

       5
       +
         { name = "filepath", version = "1.1.2", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "filepath", source = "hex", outer_checksum = "B06A9AF0BF10E51401D64B98E4B627F1D2E48C154967DA7AF4D0914780A6D40A" },

     

       6
       +
         { name = "gleam_stdlib", version = "0.65.0", build_tools = ["gleam"], requirements = [], otp_app = "gleam_stdlib", source = "hex", outer_checksum = "7C69C71D8C493AE11A5184828A77110EB05A7786EBF8B25B36A72F879C3EE107" },

     

       7
       +
         { name = "gleeunit", version = "1.7.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "gleeunit", source = "hex", outer_checksum = "CD701726CBCE5588B375D157B4391CFD0F2F134CD12D9B6998A395484DE05C58" },

     

       8
       +
         { name = "simplifile", version = "2.3.0", build_tools = ["gleam"], requirements = ["filepath", "gleam_stdlib"], otp_app = "simplifile", source = "hex", outer_checksum = "0A868DAC6063D9E983477981839810DC2E553285AB4588B87E3E9C96A7FB4CB4" },

     

       9
       +
       ]

     

       10
       +
       

     

       11
       +
       [requirements]

     

       12
       +
       gleam_stdlib = { version = ">= 0.44.0 and < 2.0.0" }

     

       13
       +
       gleeunit = { version = ">= 1.0.0 and < 2.0.0" }

     

       14
       +
       simplifile = { version = ">= 2.3.0 and < 3.0.0" }

+203

2015/14/gleam/src/main.gleam

···

       1
       +
       import gleam/dict.{type Dict}

     

       2
       +
       import gleam/int

     

       3
       +
       import gleam/io

     

       4
       +
       import gleam/list

     

       5
       +
       import gleam/order.{Eq, Gt, Lt}

     

       6
       +
       import gleam/result

     

       7
       +
       import gleam/set.{type Set}

     

       8
       +
       import gleam/string

     

       9
       +
       import simplifile as file

     

       10
       +
       

     

       11
       +
       pub type Reindeer {

     

       12
       +
         Reindeer(name: String, speed: Int, run: Int, rest: Int)

     

       13
       +
       }

     

       14
       +
       

     

       15
       +
       pub type Action {

     

       16
       +
         Run

     

       17
       +
         Rest

     

       18
       +
       }

     

       19
       +
       

     

       20
       +
       pub type ReindeerState {

     

       21
       +
         ReindeerState(km: Int, action: Action, time_until_change: Int)

     

       22
       +
       }

     

       23
       +
       

     

       24
       +
       pub type RunState =

     

       25
       +
         dict.Dict(String, ReindeerState)

     

       26
       +
       

     

       27
       +
       pub type ReindeerStatePoints {

     

       28
       +
         ReindeerStatePoints(

     

       29
       +
           points: Int,

     

       30
       +
           km: Int,

     

       31
       +
           action: Action,

     

       32
       +
           time_until_change: Int,

     

       33
       +
         )

     

       34
       +
       }

     

       35
       +
       

     

       36
       +
       pub type LeadKm {

     

       37
       +
         LeadKm(km: Int, leads: Set(String))

     

       38
       +
       }

     

       39
       +
       

     

       40
       +
       pub type RunStatePoints {

     

       41
       +
         RunStatePoints(lead_km: LeadKm, state: Dict(String, ReindeerStatePoints))

     

       42
       +
       }

     

       43
       +
       

     

       44
       +
       pub fn to_int(number_string) {

     

       45
       +
         let assert Ok(number) = number_string |> int.base_parse(10)

     

       46
       +
           as { number_string <> " is not a number" }

     

       47
       +
         number

     

       48
       +
       }

     

       49
       +
       

     

       50
       +
       pub fn do_calculate_run_state(state: RunState, reindeers: List(Reindeer), sec) {

     

       51
       +
         case sec > 0 {

     

       52
       +
           False -> state

     

       53
       +
           True -> {

     

       54
       +
             reindeers

     

       55
       +
             |> list.fold(state, fn(state, reindeer) {

     

       56
       +
               let Reindeer(name, speed, run, rest) = reindeer

     

       57
       +
               let ReindeerState(km, action, time_until_change) =

     

       58
       +
                 state

     

       59
       +
                 |> dict.get(reindeer.name)

     

       60
       +
                 |> result.unwrap(ReindeerState(0, Run, run))

     

       61
       +
       

     

       62
       +
               let km = case action {

     

       63
       +
                 Run -> km + speed

     

       64
       +
                 Rest -> km

     

       65
       +
               }

     

       66
       +
               case time_until_change, action {

     

       67
       +
                 1, Run -> ReindeerState(km, Rest, rest)

     

       68
       +
                 1, Rest -> ReindeerState(km, Run, run)

     

       69
       +
                 _, _ -> ReindeerState(km, action, time_until_change - 1)

     

       70
       +
               }

     

       71
       +
               |> dict.insert(state, name, _)

     

       72
       +
             })

     

       73
       +
             |> do_calculate_run_state(reindeers, sec - 1)

     

       74
       +
           }

     

       75
       +
         }

     

       76
       +
       }

     

       77
       +
       

     

       78
       +
       pub fn calculate_run_state(reindeers: List(Reindeer), sec: Int) {

     

       79
       +
         do_calculate_run_state(dict.new(), reindeers, sec)

     

       80
       +
       }

     

       81
       +
       

     

       82
       +
       pub fn get_winner_km(state: RunState) {

     

       83
       +
         state

     

       84
       +
         |> dict.fold(0, fn(winner, _, state) {

     

       85
       +
           case state.km > winner {

     

       86
       +
             True -> state.km

     

       87
       +
             False -> winner

     

       88
       +
           }

     

       89
       +
         })

     

       90
       +
       }

     

       91
       +
       

     

       92
       +
       pub fn do_calculate_run_state_pt2(

     

       93
       +
         state: RunStatePoints,

     

       94
       +
         reindeers: List(Reindeer),

     

       95
       +
         sec,

     

       96
       +
       ) {

     

       97
       +
         case sec > 0 {

     

       98
       +
           False -> state

     

       99
       +
           True -> {

     

       100
       +
             let RunStatePoints(LeadKm(_, leads), state) =

     

       101
       +
               reindeers

     

       102
       +
               |> list.fold(state, fn(s, reindeer) {

     

       103
       +
                 let RunStatePoints(lead_km, state) = s

     

       104
       +
                 let Reindeer(name, speed, run, rest) = reindeer

     

       105
       +
                 let ReindeerStatePoints(points, km, action, time_until_change) =

     

       106
       +
                   state

     

       107
       +
                   |> dict.get(reindeer.name)

     

       108
       +
                   |> result.unwrap(ReindeerStatePoints(0, 0, Run, run))

     

       109
       +
       

     

       110
       +
                 let km = case action {

     

       111
       +
                   Run -> km + speed

     

       112
       +
                   Rest -> km

     

       113
       +
                 }

     

       114
       +
                 let state =

     

       115
       +
                   case time_until_change, action {

     

       116
       +
                     1, Run -> ReindeerStatePoints(points, km, Rest, rest)

     

       117
       +
                     1, Rest -> ReindeerStatePoints(points, km, Run, run)

     

       118
       +
                     _, _ ->

     

       119
       +
                       ReindeerStatePoints(points, km, action, time_until_change - 1)

     

       120
       +
                   }

     

       121
       +
                   |> dict.insert(state, name, _)

     

       122
       +
       

     

       123
       +
                 let lead_km = case int.compare(km, lead_km.km) {

     

       124
       +
                   Eq -> LeadKm(km, lead_km.leads |> set.insert(name))

     

       125
       +
                   Gt -> LeadKm(km, set.new() |> set.insert(name))

     

       126
       +
                   Lt -> lead_km

     

       127
       +
                 }

     

       128
       +
       

     

       129
       +
                 RunStatePoints(lead_km, state)

     

       130
       +
               })

     

       131
       +
       

     

       132
       +
             let state =

     

       133
       +
               leads

     

       134
       +
               |> set.fold(state, fn(state, reindeer_name) {

     

       135
       +
                 let assert Ok(ReindeerStatePoints(

     

       136
       +
                   points,

     

       137
       +
                   km,

     

       138
       +
                   action,

     

       139
       +
                   time_until_change,

     

       140
       +
                 )) =

     

       141
       +
                   state

     

       142
       +
                   |> dict.get(reindeer_name)

     

       143
       +
                 state

     

       144
       +
                 |> dict.insert(

     

       145
       +
                   reindeer_name,

     

       146
       +
                   ReindeerStatePoints(points + 1, km, action, time_until_change),

     

       147
       +
                 )

     

       148
       +
               })

     

       149
       +
       

     

       150
       +
             RunStatePoints(LeadKm(0, set.new()), state)

     

       151
       +
             |> do_calculate_run_state_pt2(reindeers, sec - 1)

     

       152
       +
           }

     

       153
       +
         }

     

       154
       +
       }

     

       155
       +
       

     

       156
       +
       pub fn calculate_run_state_pt2(reindeers: List(Reindeer), sec: Int) {

     

       157
       +
         do_calculate_run_state_pt2(

     

       158
       +
           RunStatePoints(LeadKm(0, set.new()), dict.new()),

     

       159
       +
           reindeers,

     

       160
       +
           sec,

     

       161
       +
         )

     

       162
       +
       }

     

       163
       +
       

     

       164
       +
       pub fn get_winner_points(state: RunStatePoints) {

     

       165
       +
         state.state

     

       166
       +
         |> dict.fold(0, fn(winner, _, state) {

     

       167
       +
           case state.points > winner {

     

       168
       +
             True -> state.points

     

       169
       +
             False -> winner

     

       170
       +
           }

     

       171
       +
         })

     

       172
       +
       }

     

       173
       +
       

     

       174
       +
       pub fn main() {

     

       175
       +
         let assert Ok(reindeer) = file.read(from: "../input.txt")

     

       176
       +
           as "Input file not found"

     

       177
       +
         let reindeer =

     

       178
       +
           reindeer

     

       179
       +
           |> string.trim

     

       180
       +
           |> string.split("\n")

     

       181
       +
           |> list.map(fn(v) {

     

       182
       +
             case v |> string.split(" ") {

     

       183
       +
               // (name) can fly (speed) km/s for (run) seconds, but then must rest for (rest) seconds.

     

       184
       +
               [name, _, _, speed, _, _, run, _, _, _, _, _, _, rest, _] ->

     

       185
       +
                 Reindeer(name, speed |> to_int, run |> to_int, rest |> to_int)

     

       186
       +
               _ -> panic as { v <> " is not a valid line" }

     

       187
       +
             }

     

       188
       +
           })

     

       189
       +
       

     

       190
       +
         "Part 1" |> io.println

     

       191
       +
         reindeer

     

       192
       +
         |> calculate_run_state(2503)

     

       193
       +
         |> get_winner_km

     

       194
       +
         |> int.to_string

     

       195
       +
         |> io.println

     

       196
       +
       

     

       197
       +
         "Part 2" |> io.println

     

       198
       +
         reindeer

     

       199
       +
         |> calculate_run_state_pt2(2503)

     

       200
       +
         |> get_winner_points

     

       201
       +
         |> int.to_string

     

       202
       +
         |> io.println

     

       203
       +
       }