История изменений
Исправление alysnix, (текущая версия) :
Опять система типов языка ограничивает возможные алгоритмы.
конкретные алгоритмы всегда надстроены над типами, и опираются на них. нельзя просто складывать. складывать можно только что-то с чем-то.
если какой-то алгоритм можно исполнить в данном его виде, значит он опирается на конкретные типы данных. алгоритм без такой конкретики, это просто шаблон для конкретизации, которая должна быть выполнена неким устройством, прежде чем исполнить сам алгоритм.
когда вы говорите про алгоритмы, которым типы только мешают, вы говорите о фикциях. о таких вот воображаемых заготовках, не являющихся алгоритмами до их конкретизации.
Исходная версия alysnix, :
Опять система типов языка ограничивает возможные алгоритмы.
конкретные алгоритмы всегда надстроены над типами, и опираются на них. нельзя просто складывать. складывать можно только что-то с чем-то.
если какой-то алгоритм можно исполнить в данном его виде, значит он опирается на конкретные типы данных. алгоритм без такой конкретики, это просто шаблон для конкретизации, которая должна быть выполнена неким устройством, прежде чем исполнить сам алгоритм.
когда вы говорите про алгоритмы, которым типы только мешают, вы говорите о фикциях. о таких вот воображаемых шаблонах, не являющихся алгоритмами до их конкретизации.