型レベルの計算の目的と利点
とりあえず、今現在の型レベルの計算ってなんでやってるのかなぁっと。
現状の人気のある処理系でコンパイル時計算を行える。
元々の目的から離れたつかい方なので
基本的に一から作り出す面白さがある。
また、現在の処理系で動くので実益が得られる。
仕事で使える。
とりあえず、今現在の型レベルの計算ってなんでやってるのかなぁっと。
現状の人気のある処理系でコンパイル時計算を行える。
元々の目的から離れたつかい方なので
基本的に一から作り出す面白さがある。
また、現在の処理系で動くので実益が得られる。
仕事で使える。