圏論とか数学であってプログラミング技術じゃないだろ既に
実際圏論はマスターしてるがコンパイラ書けない俺が居る