Конструктор кортежа без использования запятой ⇐ Python

[Anonymous]

Я хочу создать кортеж, применив выражение к фиксированному числу
значений, и мне не разрешено использовать запятую. (Изначально в вопросе говорилось о двоеточии, но это была ошибка).
Например, если f = лямбда x, y: (x, y), f(1, 2) создаётся кортеж (1, 2). Однако он включает две запятые, поэтому это запрещено.
Аналогичный пример разрешен для индексации кортежа; вместо f = лямбда x, idx: x[idx] я могу использовать f = tuple.__getitem__, чтобы f(x, 1) индексировался в x.
Почему я хочу это сделать?
Я вызываю Python из Idris, и для этого я могу указать встроенную функцию Python в строке. Однако Идрис придает запятой в этой строке особое значение. (Очевидно, это особенность бэкэнда Python для Idris).
Вот полный пример: этот индекс функции Idris индексируется в кортеж Python

Код: Выделить всё

%foreign "python:tuple.__getitem__"
index : PythonClass -> Int -> PythonClass

Я могу сделать это другим способом, но для этого потребуется больше кода.


Подробнее здесь: https://stackoverflow.com/questions/798 ... ng-a-comma