MS
Size: a a a
2020 November 06
АВ
нуу тогда неправ фабле, Альфонсо недоимплементил
MS
Оо сейчас зарепорчу!
АВ
в слаке спроси, они там активно отвечают
UV
А как называется фишка, когда мы в объявлении let указываем не все параметры, а уже внутри неявно используем ещё другие?
let calc first second =
//code
//return result
calc first second thirdthird не указан, к примеру
IC
А как называется фишка, когда мы в объявлении let указываем не все параметры, а уже внутри неявно используем ещё другие?
let calc first second =
//code
//return result
calc first second thirdthird не указан, к примеру
VH
АВ
А как называется фишка, когда мы в объявлении let указываем не все параметры, а уже внутри неявно используем ещё другие?
let calc first second =
//code
//return result
calc first second thirdthird не указан, к примеру
это если calk функцию возвращает, или если там стоит function, то это подразумевает еще один параметр?
UV
Андрей Вилинский
это если calk функцию возвращает, или если там стоит function, то это подразумевает еще один параметр?
IC
Просто есть ещё каррирование, когда внешняя функция возвращает внутреннюю с одним аргументом, эта внутренняя функция возвращает ещё одну, и т.д.
IC
Как я понимание, каррирование — это общий термин, а частичное применение — более удобная реализация каррирования в языке, но тут могу ошибаться.
SG
Доброго всем утра. Балуюсь с ограничением на типы. Вопрос, почему unit не нравится (второй вариант). Хороший же тип, вроде. То есть я не вижу принципиальной разницы между getter1 и getter2, а компилятор, судя по всему, видит. В чём она? Во втором варианте y вынес специально, подумалось, что в скобках запутался. Но если подставить, результат тот же.
Dv
Semyon Grigorev
Доброго всем утра. Балуюсь с ограничением на типы. Вопрос, почему unit не нравится (второй вариант). Хороший же тип, вроде. То есть я не вижу принципиальной разницы между getter1 и getter2, а компилятор, судя по всему, видит. В чём она? Во втором варианте y вынес специально, подумалось, что в скобках запутался. Но если подставить, результат тот же.
А если без юнита написать — тогда работает?
SG
А если без юнита написать — тогда работает?
В каком смысле "без юнита"? Я как раз наоборот пытаюсь задать ограничение "должен быть метод из юнита в инт".
Dv
Ну, а если без юнита — тогда работает?
Dv
А если без юнита — тогда работает.
Dv
Компилятор просто пытается быть слишком умным и путает карты. Что вообще удручающе часто случается в инлайнах :(
SG
Ну, а если без юнита — тогда работает?
Первый вариат как раз без юнита. Там из инта в инт.
Кстати, let getter' = (^t : (member Get : _ -> int) (x, y)) тоже работает.
Кстати, let getter' = (^t : (member Get : _ -> int) (x, y)) тоже работает.
SG
Компилятор просто пытается быть слишком умным и путает карты. Что вообще удручающе часто случается в инлайнах :(
Мда, забавно. Спасибо. Будем считать, что компилятор сам себя перехитрил.