clseibold/adventofcode - Change PKDWHQ7LCBXYWTNXEQUTKE65KLRXZ7GW3PWIK3A65S4F27RH2TGQC

Complete day3 for F#!

Created by krixano on December 3, 2020

PKDWHQ7LCBXYWTNXEQUTKE65KLRXZ7GW3PWIK3A65S4F27RH2TGQC

Dependencies

In channels

main

Change contents

File addition: day3 (drwxrwxr-x)
[3.230427]

File addition: main.fs (-rw-rw-r--)

[0.7]

open System.IO
let readLines (filePath: string) = seq {
    use sr = new StreamReader (filePath)
    while not sr.EndOfStream do
        yield sr.ReadLine()
}
type Pos = { x: int; y: int }
type Slope = { x: int; y: int }
type Tile =
    | Open
    | Tree
type Map = { tiles: Tile list list }
let createMap (lines: string seq): Map =
    { Map.tiles = [
        for line in lines do
            [ for char in line do
                if char = '#' then
                    Tile.Tree
                else Tile.Open ]
     ] }
let getMaxPos (map: Map): Pos =
    { Pos.x = map.tiles.[0].Length - 1; y = map.tiles.Length - 1 }
let advancePos (pos: Pos) (slope: Slope) (maxPos: Pos): (bool * Pos) =
    if (pos.y + slope.y > maxPos.y) then
        (true, pos)
    else
        if pos.x + slope.x > maxPos.x then
            (false, { Pos.x = ((pos.x + slope.x) % maxPos.x) - 1; y = pos.y + slope.y })
        else
            (false, { Pos.x = pos.x + slope.x; y = pos.y + slope.y })
let rec checkSlope (map: Map) (pos: Pos) (slope: Slope) (maxPos: Pos) (count: int64): int64 =
    match advancePos pos slope maxPos with
        | (true, { Pos.x = x; Pos.y = y }) -> count
        | (false, { Pos.x = x; Pos.y = y }) -> 
            if map.tiles.[y].[x] = Tile.Tree then
                checkSlope map { Pos.x = x; Pos.y = y } slope maxPos (count + 1L)
            else checkSlope map { Pos.x = x; Pos.y = y } slope maxPos (count)
[<EntryPoint>]
let main argv =
    let lines = readLines "input.txt"
    let map = createMap lines
    let maxPos = getMaxPos map
    let count1 = checkSlope map { Pos.x = 0; y = 0 } { Slope.x = 1; y = 1 } maxPos 0L
    let count2 = checkSlope map { Pos.x = 0; y = 0 } { Slope.x = 3; y = 1 } maxPos 0L
    let count3 = checkSlope map { Pos.x = 0; y = 0 } { Slope.x = 5; y = 1 } maxPos 0L
    let count4 = checkSlope map { Pos.x = 0; y = 0 } { Slope.x = 7; y = 1 } maxPos 0L
    let count5 = checkSlope map { Pos.x = 0; y = 0 } { Slope.x = 1; y = 2 } maxPos 0L
    let part1 = count2
    let part2 = count1 * count2 * count3 * count4 * count5
    printf "%d, %d\n" part1 part2
    0

File addition: input.txt (-rw-rw-r--)

[0.7]

.#.#....##.......#..........#..
...#...........##...#..#.......
#.####......##.#...#......#.#..
##.....#.#.#..#.#............#.
##.....#....#.........#...##...
###..#.....#....#..............
..........#..#.#..#.#....#.....
##.....#....#.#...#.##.........
#...#......#....##....#..#.#...
.##.##...#....##..#.#.....#...#
.....#.#..........##.#........#
.##..................#..#..##.#
#.#..........##....#.####......
.#......#.#......#.........#...
#....#..##.##..##........#.#...
##..#.##..#...#..####.#..#.....
###....#.###.##...........##..#
.....#.##.....##.#..#####....##
....#.###....#..##....##...#...
..###.#...##.....#.##..#..#.#..
#...#..#..#.........#..#.......
##..#.#.....#.#.#.......#...#.#
...#...##.#........#...#.......
..#..#.#..#...#...#...........#
........#.....#......#...##....
#........##.##.#.#...#...#.....
####.......#.##.###.#....#.....
...#...........#...#......#...#
##...#...#............#.......#
....#...........##.......#.....
###......#.....#....#...#.#...#
.....##..........#.......#.#...
##.##.##...#......#....#.......
##..#.#..#......#...#..#.......
....#....##.##............####.
..#.###..#.##.###..#.##.......#
#.##..#.#.....#..#.....##......
..##..#.....##.#.##........#...
.#..#.#......#..#............#.
.....#..#.#...#....#.##.#......
.#...##.#..#.#...##...##..##...
###............#.#..#..#...#...
..#..##.####.#.....#.....##.###
#....#.##..##....#..#...#.##.#.
.....#.##.........##...##......
.........####.#....#.#......#.#
.........#.#..#...#.#..#.#....#
.#.....#..##.##..##....#.......
..........##......#.##.###....#
.##...###..##.#...#........##..
..............#.#....#.#.###.##
..##.##.......#.#......##...#..
.#.....#..##..#.###...#..#.##.#
#.....#.#..#...#........#...#..
.#......#....#.#.....###...#..#
..##.#....#..##......#.....#...
..#.#.##..#.....#.####..###....
.........#......#..#...........
..#........#.##.#.....##.##..#.
.......#.........#....#...#.#..
.##.....#.#....#.#.......#.....
..........#.##........##...##..
###..###.#.#..#..#####.##.#.##.
..##..##.#.#...#..#.#.#......#.
#..#..#..#..##..#.....#......#.
..#....#.##..#......##.........
..#.##......#...##.#......#....
.......#..#.##.#.....#.........
.......#.#.#.###...##......#...
.....#.#..........#..#...#.....
....##..........#..........##..
..#......#.....#.##.#..#...#.#.
....#.....#..#...#..#.#.##..###
.####....#........#...#........
...##.#.##.#..#...##...#.##....
....#...#...#.#.#.#...#..#.....
.....#...#.#.....#.#........##.
..#.#.......###.#.....##.......
......#.........##....#....#..#
.............##.....##.........
.........##...##.......#.....#.
##.........#..........#.###..##
...#.....#......#....#..##.....
##..#...#...##.#.....#.#......#
..#...##.#.......#.#......#.##.
......#.......#.#...........#..
..........#.....##............#
#........#...#..#.......###.##.
.##...........#.#........#.#.#.
...#..##...#.#....#####.#......
.....##...###...#..#.##...####.
...#....#.....#..#.......#.....
#....#....#...#..#..#.######..#
#.###...........#......#...#..#
.#.#.#.#..#....#....#...##.#...
.#..#.........#.#....###...#...
......#..##.##..........#....##
.....#......##....##.....#...#.
.#...#.#.#....##....#..#....#.#
..................#..###.#..##.
..#.........#......#....#..###.
#.#.....#..#..#....###..###....
..##..##.#..##........##...##..
##..#........##..###..#.....#.#
..#..###..#......#....#...#...#
#..#.#..............##.#..#.#..
.....####....#...####.....#.#..
.....#....##.#......###........
##.##...#.#.#.#.......#....##..
.#......#...#.#....#..##.#.##.#
#.#.##.#.#......#..##........##
...##.....#.....#...#..###...#.
........###.....#.....#...##..#
.....#.##.##......#.#....#...#.
.#....##.......#..#.####.......
.#..#....#..........#......#.#.
.#.##.##.....###.#.#...........
.........#......#..##..........
....#...##.#.#.#..#.#.........#
..#.....#.##...#..#..#.###....#
...#.##......#.....##....#.....
###............#.#....#...#....
.......#.....#..#.#.#....#..#.#
...#......#.#..##..#....#...#.#
............##........##..##...
..#..#.##..#......###..#.......
........#.........#............
..#...#.#########.#...##..###..
#....#......#.......#.#.....#..
#.#..#....###.###....#...#.#...
#...###.#.#.......#.##......#..
.................#...#.#.#.....
##....#...#........#....#.#..#.
......#.....#...#..........#.#.
##..........#...#..........#.##
..#.#.##.#....#.#......#...##..
.....#.......#..#.....#........
#.##.#..##..#.......##.........
....#......#..#..#.#...#.......
...#....#................###...
.##.....#.#....#.#..........##.
...#..#....#.##.##......#......
..#.#....#.......#.#..##.......
....#.....#..........##.#.#####
#.....................##..#..#.
.###..#.##.......##.#...#..#...
...###.......#..#...#......#..#
#..#...#.#..#.#..#..#.##.......
#...##.......#..#..#.##..###...
......#....#.#.#........#.##..#
..##..#....#....#..#.#..#......
..##.#...#.#######..#...#.....#
..#....#..#.........#..##......
...#....#.#......#..#..#.#.....
#..#....#........#.#..##....###
#....#..##......##.##.....#.###
...#.#..........#..#.#.#.#.##..
......##..#.#..#.#....#....#...
##....#....#..#..#.##......#...
....#.#..##.#.#...###....##.#..
...#.......##..#.......#...#...
......##.......#..##.....#...#.
...#.#...#...........#...#.....
.#....#...#......##.##..###..#.
.#..........#...#...#...##.##..
.....###..#.....#..##....#.####
..#.###..#..##..##.....#.#.....
.............#.###...##.#.....#
....###.......###.#.....#..#.#.
........##.#.........#.....###.
.....###.#..#.....#...#..#.....
.#....#..##.#..#.#....#.......#
........#......#.#..#.#..#...##
...#.##.##......#..............
.#.....##.#.....#..#......##...
#..#..#.....#.....#.....###....
.##...........#..#.##.....#....
..#.#......#.#...#.##.#..#...##
...#..........#.....#..........
#.#.#.#.#...#....#...#.....##..
#......##...#...#..........#.#.
....##........#.#..............
#..#.#.#..#........##......#.##
........####...##.#.....#......
....#........#.#..#..##..#.#...
.#.....#..###...#..#.....#..#..
#......###.#..#....#..#.#......
....#.....##.##..#...#.#..##.#.
..##..#...#.#......#....#...#.#
#..##...##..#...###...#..#.....
.......#.....#...........##....
#..##....#........#....##..#.#.
.#........#..##...###.#..#.....
.#.#....#..##...#...##.#..###..
#.........#.......#.....#.#....
#..#.....#.#.###.#..#......#...
....#..#.#....#..##..###....###
###.##.#.#..#...........#.#.#..
..##.#.......#......#..##....#.
.....#.#.#.......##.......#...#
...........#.##....##.##....#.#
...#.......#..#.##..#......#..#
#.#.#...#......##.#...........#
##........#...........###.#..#.
..........#.#.#....#.#..##.#.#.
...#.#.#....#..........#..#....
#.#....###.#.#..#.......###...#
.#....#......#.#.#..#..#.......
......##.............#....#.#.#
.#..........#.........#.##.....
##....#....##....#..#.......#..
#.##.##.#..#..#.....#..#.##.#..
.#..#.......##..#.....##.##....
.......#..........#.#.##..#.##.
....#.....#.#...##....##.......
.......#.........#...##....##.#
#.....#......#..........#...#..
...#.#.......#.#..#....###..#..
.....#.#.#.........#...........
.#..###.#.#........#.#.........
.........#..#......##...##....#
...###..#.....##.....#.###....#
.##...#...#........###.#..#....
.##........#..#.###.######.##.#
##.#...#.#....#..##.#....##....
.......##.....##.#..###.#......
..##...##........#.......#....#
#..##...#.####...###......#...#
.##.....#.##.#.#.....###.#..##.
..###....#.#.###.#....#........
....#..###..#...#....#..#..#.#.
#.#.##....##...##.......#......
.........#...#....#..#.........
.............#...#..##.#.......
...#.##.......#...#.#..##.##...
.####.#.##..#.#......#.##...#.#
.#..#.#.....#.................#
..#.##..###....#...#......####.
..##..##...........#....#...#..
....#...#...#...#.......#....#.
#.#...###...#...#.#...#....##.#
......#...#.#.......#.....#...#
....##...#.#.#....#....#.#....#
.....#.....#...##..#...#....##.
#.....#....#......##.##....#...
...#.#....#...#....#.#....##..#
...#.#..#...##....###..#.......
...##......###...###.#...#..#..
##.......#.......###.......#..#
..##.##..###.#............#...#
#.....##..#..##....##..#.......
......#.#...#......#.....#.....
#...........#....#..##.##.#....
.......#..#......#...#....#...#
.#...##...........#......#...#.
#........#....##...###.#....#..
.....#.......##.........#.##...
.#.###..#....#..##.#..#.#..#...
#.......#.##.#.#....#.#..#....#
###.....#.#.......#..#......#.#
#..#.#.......#.#..##..##.#.#...
#..#.#.#.###........#.....#...#
#.#.#..#..##.....#...........#.
..#.#..#.....#...#...#...##....
...#.##......#...##.#...#.#.#.#
#..#.#.#.#.......####..........
..#......#.#......##.###.....##
..#...##..#.........##....#.##.
##.##.##.#.#.....#..........##.
.#.....###.#..#....#..#.###...#
#...##.......###....#.#..#.....
..#....##.........##.........##
......#....#.##.......#........
..#.#.#..#...#...#...##.#...#..
......#..##.#.#.#...##...#.#.##
#..#...##.#.....#...#.##.......
..#..#.........##.#...#.##...##
##.##.#....#.......#.##..#.....
.....##...##.##...##.........##
#......#...#.......#...#...#...
...##...........#...#..#.......
.#.##.#..#........#....#.......
#.#...#..#......##...#.#.##....
##........####..#.#...#.#.##.##
#..#.#.##......##.#.#..#.......
.....#.........#..#.####....#..
......##..#....#...#.#....#....
#...##........#.........#.....#
.#.#...#.#.#..#............##.#
.#..#....#....#.....#...#.....#
..###...#..#.....#.##.###...#.#
.#.###..#..#...#.#...#.#......#
#...#####......###........##...
.....#.....#..#.#....#..##.....
....##...#.#.##.#####...#....#.
.#.#.........##.#.......#..##..
.#...#.#...#...#....#.#...##.#.
.##...#..#.#..#......#.#.#..##.
..#.....#..#.....##.....#......
..#........#..##...#.......###.
.#....#.......#....#....#..#...
....#......#.#.#.........#.....
..##...#.#.#...#.#........#....
.#.....####...##.#..#...##.....
...#.....#...#...#....#....#...
.........#..#.#.....#..#.#..#..
.........##...........#.......#
......#..#.....##...#.##.#.....
.#......##........##...#.#.##..
.....#.#..##...........#..#..#.
...#.......#...#.#..#.##..#.##.
...#.......#.....#.#...#.##.#..
#.....#.............##.#..####.
.#...#......#...##.#....#.#....
.##..##.##....#.#.....#.......#
...#...#....#....##.#..#....##.
..............##....#.......#.#
.#.#.#...##..#..#...###.#..#...
.#.#...#.#..#.#..#...######..#.
........#......#.#..#.#....#...
..###.....###.#.##....#...##...
.##.#.....#.......##.......#...
..#..##...#..........#.#....#.#

File addition: day3.fsproj (-rw-rw-r--)

[0.7]

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net5.0</TargetFramework>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="main.fs" />
  </ItemGroup>
</Project>

Replacement in 2020/fsharp/day1/Program.fs at line 5 [3.230691]

B:BD[3.231916] → [2.0:138]

let tupleToArray2 t =
    match t with
    | (a, b) -> [| a; b |]
let tupleToArray3 t =
    match t with
    | (a, b, c) -> [| a; b; c |]

[3.231916]

[3.232038]

let tupleToArray2 t =
    match t with
    | (a, b) -> [| a; b |]
let tupleToArray3 t =
    match t with
    | (a, b, c) -> [| a; b; c |]

Replacement in 2020/fsharp/day1/Program.fs at line 12 [3.230691]

B:BD[3.232040] → [2.139:309]

let part1 (arr: int list) = query {
    for a in arr do
        for b in arr do
            find (a + b = 2020)
}
let part2 (arr: int list) = query {
    for a in arr do

[3.232040]

[3.232078]

let part1 (arr: int list) = query {
    for a in arr do
        for b in arr do
            find (a + b = 2020)
}
let part2 (arr: int list) = query {
    for a in arr do

Replacement in 2020/fsharp/day1/Program.fs at line 21 [3.230691]
B:BD[3.232132] → [2.310:352]
```
                find (a + b + c = 2020)
}
```
[3.232132]
[3.232209]
```
                find (a + b + c = 2020)
}
```

Replacement in 2020/fsharp/day1/Program.fs at line 26 [3.230691]

B:BD[3.232244] → [2.353:517]

    let v = part1 arr |> tupleToArray2 |> Array.reduce (*)
    printfn "%d" v
    let v2 = part2 arr |> tupleToArray3 |> Array.reduce (*)
    printfn "%d" v2
    0

[3.232244]

[3.232338]

    let v = part1 arr |> tupleToArray2 |> Array.reduce (*)
    printfn "%d" v
    let v2 = part2 arr |> tupleToArray3 |> Array.reduce (*)
    printfn "%d" v2
    0

Complete day3 for F#!

Dependencies

In channels

Change contents

File addition: day3 (drwxrwxr-x)

File addition: main.fs (-rw-rw-r--)

File addition: input.txt (-rw-rw-r--)

File addition: day3.fsproj (-rw-rw-r--)

Replacement in 2020/fsharp/day1/Program.fs at line 5 [3.230691]

Replacement in 2020/fsharp/day1/Program.fs at line 12 [3.230691]

Replacement in 2020/fsharp/day1/Program.fs at line 21 [3.230691]

Replacement in 2020/fsharp/day1/Program.fs at line 26 [3.230691]