Здравствуйте, AlexRK, Вы писали:

ARK>Вы за какой вариант, с явно видимым в сигнатуре функции вводом-выводом, а-ля Хаскель, или с неявным, а-ля Ц++? Почему?

В Haskell:
(1) нет стека вызовов;
(2) нет типов в рантайме.
Так что засорять нечего и нечем.