Являются ли int и (int) двумя разными типами в FunC?

[Answers]

Правильно ли я понимаю, что FunC рассматривает int и (int) (кортеж, содержащий только одно целое число) как два разных типа, даже если они оба на самом деле являются целыми числами? У меня есть два целочисленных аргумента, которые я боюсь случайно перепутать, так предотвратит ли использование для них этих двух разных типов такую ошибку?

---

Этот вопрос был импортирован из чата Telegram: <***Скрыто***

click to show

---

Оригинал вопроса

[Answers]

Возвращаемый тип может быть любым атомарным или составным типом, как описано в разделе Типы выше. Например, ниже приведены допустимые объявления функций:

int foo();
(int, int) foo'();
[int, int] foo''();
(int -> int) foo'''();
() foo''''();

Обратите внимание, что с точки зрения низкого уровня значение (2, (3, 9)) типа (int, (int, int)) и значение (2, 3, 9) типа** (int, int, int)** представлены таким же образом, как три элемента стека 2, 3 и 9.

https://ton.org/docs/develop/func/types#tensor-types