MZ
А отрицательные числа невыразимы получается, ну только если не принять отрицательное число за Zero.
Size: a a a
2021 March 21
MZ
Просто хочу убедиться что я правильно понял и там ачипятка
Да, опечатка, ну все же поняли, о чем речь 😊
E
Ну вдруг я только думаю что понял
t
А отрицательные числа невыразимы получается, ну только если не принять отрицательное число за Zero.
Можно считать, что числа идут как 0 1 -1 2 -2 3 -3 4 -4, тогда выразимы 🙂
AL
А отрицательные числа невыразимы получается, ну только если не принять отрицательное число за Zero.
Отрицательные числа не натуральные, получается
MZ
Не натуральные, да.
MZ
Можно считать, что числа идут как 0 1 -1 2 -2 3 -3 4 -4, тогда выразимы 🙂
А как abs сделать тогда?
WB
Есть мнение что 0 тоже не натуральное число
MZ
Numeric.Natural тоже так считает
t
А как abs сделать тогда?
окей, тогда можно вот так https://en.wikipedia.org/wiki/Church_encoding#Signed_numbers
MZ
Извините, имел в виду не считает. Если натуральные числа это которые используются при счёте, то как иначе считать, если не с нуля. Не знаю историю, почему массивы нумеруются с нуля, но логично было бы предположить, чтобы не отнимать единицу при умножении на длину элемента. Для связанных списков получается без разницы.
t
ну как минимум в других языках на заре времен индекс массива являлся сдвигом от начала
t
поэтому 0 - сдвиг отсутствует, 1 - на один элемент вперед, -1 - на один элемент назад
MZ
ну как минимум в других языках на заре времен индекс массива являлся сдвигом от начала
Это во всех языках где есть массивы, которые области памяти выделенные под элементы одного размера, и arr[i] это сахар *(arr + i * sizeof элемента). Но -1 это выход за пределы массива.
WB
Советская школа и математика 0 натуральным числом не считает
t
Это во всех языках где есть массивы, которые области памяти выделенные под элементы одного размера, и arr[i] это сахар *(arr + i * sizeof элемента). Но -1 это выход за пределы массива.
это не всегда выход, т.к. в ряде мерзких императивных языков до недавнего времени массивы не имели никакой дополнительной семантики по сравнению с сырыми указателями на начало региона. поэтому можно спокойно увеличить указатель, а потом откатиться назад через отрицательные индексы. контроль за невыходом за границы лежит на программисте в любом случае - выйти за границы можно и при индексировании вперед.
t
другими словами, arr+=2 это то же самое, что и arr=&arr[2]
AL
Есть мнение что 0 тоже не натуральное число
0, разумеется, натуральное
JS
0, разумеется, натуральное
ничего такого не разумеется, посмотрите определения
AL
Меня в школе учили что натуральные числа это мощности конечных множеств