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
This is a Typescript type-level computation (which is Turing-complete AFAIK).
However this kind of trickery is usually done for fun and to explore how much could be achieved just on the compile step.
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
simplifies to true, if and only if it is a 3x3 magic square.full explanation
Fifteen
is an array of length 15T
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
is simplifies toX
ifA
is true, else it simplifies tofalse
Df
checks ifA
andB
are Diffrent , simplifying toX
if they areGrid
first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.Yea, i was really trying to understand… and then I was like yeah fuck this and regex too.
Gotta learn regex… C++ not so much 😹
Fear not, template abuse is not a necessary practice
Edit: wait what is this I thought it was c++ at first. Java? C#? Has an extends keyword
This is a Typescript type-level computation (which is Turing-complete AFAIK). However this kind of trickery is usually done for fun and to explore how much could be achieved just on the compile step.
Lol thanks that saves me a lot of googling 😹 that makes a lot of sense