2022-12-03 16:51:22
2022-12-03 16:51:17
2022-12-03 15:45:25
1336164
Content warning: Explaining of KAP solution for day 2 of advent of code
Since @tfb asked, I'll explain the code. I know the question was about day 1, but I'll do day 2 first because the code is simpler and uses fewer special tricks in the language.
The first this to remember about KAP syntax is that for function calls, the parser binds to the right. It also evaluates its arguments from right to left.
What this means is that the following code:
Another important fact is that KAP functions are either monadic (they accept a single argument to the right of the function name) or dyadic (accepts two arguments, one on each side of the function). Some functions can be called both monadically and dyadically. One such example is
With that in mind, let's take a look at the solution:
The input data is in the file
Each line is three characters, so we use the function
The next part is
Starting with the example array we then get this:
Example
We then call the function
We then want to convert the codepoints to actual numbers from 0 to 2. This is done by subtracting 65 from the first column and 88 from the second. Naturally we use the
(continued)
#kap #apl #AdventOfCode
The first this to remember about KAP syntax is that for function calls, the parser binds to the right. It also evaluates its arguments from right to left.
What this means is that the following code:
io:println 1 + math:sin 2` is evaluated like this:a0 ← math:sin 2<br>a1 ← 1 + a0<br>io:println a1<br>Another important fact is that KAP functions are either monadic (they accept a single argument to the right of the function name) or dyadic (accepts two arguments, one on each side of the function). Some functions can be called both monadically and dyadically. One such example is
- which subtracts when called dyadically but negates when called monadically.With that in mind, let's take a look at the solution:
+/ 4 8 3 1 5 9 7 2 6 ⊇⍨ 3 (⊥⍤1) 65 88 -[1]⍨ unicode:toCodepoints 1 0 1 ⫽ ⊃ io:read "testdata.txt"<br>The input data is in the file
testdata.txt, and the first thing that happens is that the entire file is read into an array of strings, where each element is one line from the file.Each line is three characters, so we use the function
⊃ which converts an array of arrays to a two-dimensional array of characters.The next part is
1 0 1 ⫽. This function takes an array on the right, and uses the right argument (1 0 1) as a selector. I means to take one copy of the first column, zero copies of the second and 1 copy of the third column. In other words, this drops the centre column.Starting with the example array we then get this:
1 0 1 ⫽ ⊃ "A Y" "B X" "C Z"<br>┏━━━━━┓<br>┃<span class="h-card"><a href="https://functional.cafe/@[url=https://functional.cafe/users/a]a[/url]" class="u-url mention">@<span>a</span></a></span> @Y┃<br>┃@B @X┃<br>┃@C @Z┃<br>┗━━━━━┛<br>Example
We then call the function
unicode:toCodepoints which converts the characters to the corresponding Unicode codepoints.We then want to convert the codepoints to actual numbers from 0 to 2. This is done by subtracting 65 from the first column and 88 from the second. Naturally we use the
- function to do this, but in order to avoid having to wrap the entire expression in parenthesis, we use the operator ⍨ which reverses the arguments, putting value to be subtracted from on the right instead of the left.(continued)
#kap #apl #AdventOfCode
This entry was edited (1 year ago)
Elias Mårtenson
in reply to Elias Mårtenson • • •Content warning: re: Explaining of KAP solution for day 2 of advent of code
[1]means. Since the left argument is a 1-dimensional array, and the right argument is 2-dimensional, the operation will be applied along an axis. The default is that it will be applied along axis 0. If you put an axis within square brackets after the name of a mathematical function, the operation is instead performed along that axis.The behaviour of the function when passed an axis parameter depends on the function itself. All mathematical functions use the axis parameter this way.
Let's run the code up to this point to see what happens:
Example
What we see here is that each row in this array represents a binary number that uniquely identifies the game positions. All we have to do is find this number and assign each number a score, and we'll have solved the problem.
This is where the next two symbols come in.
⊥is used to decode a sequence of digits in an arbitrary base.The other symbol,
⍤is an operator, just like⍨, operators are is used to change the behaviour of a function. It's a higher level function if you wish.⍤takes a function on the left, and a number on the right and derives a new function which calls the function on the left repeatedly, each with a subarray of a lower dimension. In this particular example, this means that the⊥function will be called on each row of the input. The left argument is a scalar value, so it will always be the constant 3.In other words, this decodes each row as a base-3 number and returns an array of these numbers:
Example
This gives us a list of the game positions for each round, where each number is a value from 0 to 8.
(Continue)
#kap #apl #AdventOfCode
KAP client
kapdemo.dhsdevelopments.comElias Mårtenson
in reply to Elias Mårtenson • • •Content warning: re: Explaining of KAP solution for day 2 of advent of code
There are a few different ways in which you can pick values from an array, but in this case we'll use
⊇. This function takes an array on the right, and a list of indices to the left. For each index, the corresponding value is looked up in the array and returned.In our case, the indices are on the right, so we use
⍨to swap the arguments. Again, this is to avoid wrapping the entire expression in parentheses and putting the argument on the right.The final function to be called is
+/. THis is used to sum all values in an array. For anyone familiar with functional programming, this is just a simple reduction.The reduction operator is
/, which takes a function on the left, and performs a left reduction using that function.