数学的にはコンピュータプログラミングなんて万能チューリングマシンか
純粋ラムダ計算で十分なんだから、それ以上の部分はオーバーヘッドで
構文糖衣すなわち宗教。