из Как работает язык без стека? Haskell (как обычно реализуется) не имеет стека вызовов; оценка основана на редукции графа. Действительно? Это интересно, потому что, хотя я никогда не ...
Я пытаюсь найти формальный способ подумать о сложности пространства в haskell. Я нашел эту статью о технике Graph Reduction (GR), которая мне кажется подходящей. Но у меня ...