Какой язык программирования лучше выбрать?⁠⁠

Сразу скажу, что хаскель знаю лишь на уровне "когда-то игрался".
Ну, в нативный код по-разному можно скомпилироваться. В Хаскеле, насколько помню, все вычисления ленивы (если их не форсировать ну и за пределами монад). Простейшая реализация этого - для каждой переменной сгенерить функцию, которая вызовется в момент, когда переменная понадобится. И кажется, что так и сделано, учитывая, что код в духе
fori: a[i+1] = a[i] + i
, написанный в простейшей форме, падает со стек оверфлоу.

Ну да ладно, к чему нужны мои догадки, когда можно обратиться к фактам. Например, я написал такой код:

==================
import System.Random
import Data.List

(|>) x f = f x

randomlist :: Int -> StdGen -> [Int]
randomlist n = take n . unfoldr (Just . random)

main = do
__seed <- newStdGen
__randomlist 1000000 seed
____|> sort
____|> sum
____|> show
____|> putStrLn
==============

Конкретно сортировка в нем работает 2 секунды (чуть меньше 4 - код без этой строки). На плюсах, чтобы достичь такого времени, мне нужно взять в 20 раз больше элементов.

Я понимаю, что некорректно сравнивать списки и массивы, но тем не менее. Я помню также, что пробовал играться с массивами, и они также не впечатлили скоростью.
Также я попробовал топовый пример отсюда:
http://stackoverflow.com/questions/9964875/sorting-integers-...
Он отработал за 8 секунд суммарно на массиве размера 10^6.
Впрочем, если Вы сможете сказать, как получилось вот это
http://stackoverflow.com/questions/9964875/sorting-integers-...#comment12729268_9965246
на массиве размера 2^22, мб мне всё станет ясно.

Компилил ghc 7.8.3 с опцией -O.

"Простейшая реализация этого - для каждой переменной сгенерить функцию, которая вызовется в момент, когда переменная понадобится."

Я имел в виду, конечно, что-то в духе
if (computed)
__return value
else
__computed=true
__return value = eval()