lawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-29 months agoOk, at some point we made a big mistake.lemmy.worldimagemessage-square46fedilinkarrow-up1308arrow-down15file-text
arrow-up1303arrow-down1imageOk, at some point we made a big mistake.lemmy.worldlawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-29 months agomessage-square46fedilinkfile-text
minus-squarethesporkeffect@lemmy.worldlinkfedilinkarrow-up29·9 months agoI like to think I can usually look at code in languages I don’t know and still get the gist of what it does but I am drawing a complete blank. Is this even slightly legible to anyone and if yes please explain
minus-squareMinekPo1@lemmy.mllinkfedilinkEnglisharrow-up43·9 months agoTL;DR: Grid<A,B,C,D,E,F,G,H> simplifies to true, if and only if it is a 3x3 magic square. full explanation Fifteen is an array of length 15 T<A,B,C> checks if an array of length A+B+C is equivalent to an array of length 15, thus checking if A+B+C is equal to 15 And<A,X> is simplifies to X if A is true, else it simplifies to false Df<A,B,X> checks if A and B are Diffrent , simplifying to X if they are Grid<A,B,C,D,E,F,G,H> first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.
I like to think I can usually look at code in languages I don’t know and still get the gist of what it does but I am drawing a complete blank. Is this even slightly legible to anyone and if yes please explain
TL;DR:
Grid<A,B,C,D,E,F,G,H>
simplifies to true, if and only if it is a 3x3 magic square.full explanation
Fifteen
is an array of length 15T<A,B,C>
checks if an array of lengthA
+B
+C
is equivalent to an array of length 15, thus checking ifA
+B
+C
is equal to 15And<A,X>
is simplifies toX
ifA
is true, else it simplifies tofalse
Df<A,B,X>
checks ifA
andB
are Diffrent , simplifying toX
if they areGrid<A,B,C,D,E,F,G,H>
first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.