Haskellはプログラミングの数学的アプローチです。
Haskellを強く推奨します。