I've found the recent typescript 3x3 magic square checker entertaining. Anyway here is a arbitrary magic square checker using c++ type traits.

MinekPo1@lemmy.ml · 9 months ago

MinekPo1@lemmy.ml · 9 months ago

MinekPo1@lemmy.ml · 9 months ago

note that it continues onto the next line

MinekPo1@lemmy.ml · 9 months ago

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 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.