На том же КП трудно представить себе десятки вариантов вычисления факториала. Даже если удасться это сделать, то в этом не будет ни капли юмора. Один бред. В отличие от Хаскеля.
Так и на Хаскелле это тоже бред.
Например, сделать интерпретатор микроязычка, и на этом язычке реализовать факториал -- неужели на КП такое невозможно? Возможно, конечно же.
Почему же на КП такое не делают? Да просто потому, что слишком низкоуровневый язык, неудобен для реализации всяких трансляторов. Что ж поделать?
А было бы сильное желание -- сделать было бы можно...
Реально же факториал на хаскелле вычисляется проще пареной репы:
factorial x = product [1..x]и по другому никто в реальном продакшене не сделает, ибо зачем делать сложнее? Хаскеллеры же не враги себе...