Сообщение Re[16]: За счет чего выстреливают языки? от 17.07.2015 12:37
Изменено 17.07.2015 12:39 Evgeny.Panasyuk
Здравствуйте, FR, Вы писали:
FR>>>Unlambda же карринг в полный рост,
EP>>Да, внутри реализаций комбинаторов, и что?
FR>Ну если есть каринг
Это всего лишь унарная функция возвращающая другую такую же унарную функцию.
FR>и замыкания лямбда не больше чем сахар в общем-то.
Нет там замыканий, там вообще нет ни аргументов, ни переменных в явном виде — нет free variables, замыкаться не на что.
Это комбинаторы в чистом виде — point free style.
FR>>>Unlambda же карринг в полный рост,
EP>>Да, внутри реализаций комбинаторов, и что?
FR>Ну если есть каринг
Это всего лишь унарная функция возвращающая другую такую же унарную функцию.
FR>и замыкания лямбда не больше чем сахар в общем-то.
Нет там замыканий, там вообще нет ни аргументов, ни переменных в явном виде — нет free variables, замыкаться не на что.
Это комбинаторы в чистом виде — point free style.
Re[16]: За счет чего выстреливают языки?
Здравствуйте, FR, Вы писали:
FR>>>Unlambda же карринг в полный рост,
EP>>Да, внутри реализаций комбинаторов, и что?
FR>Ну если есть каринг
Это всего лишь унарная функция возвращающая другую такую же унарную функцию.
FR>и замыкания лямбда не больше чем сахар в общем-то.
Нет там замыканий, там вообще нет ни параметров, ни переменных в явном виде — нет free variables, замыкаться не на что.
Это комбинаторы в чистом виде — point free style.
FR>>>Unlambda же карринг в полный рост,
EP>>Да, внутри реализаций комбинаторов, и что?
FR>Ну если есть каринг
Это всего лишь унарная функция возвращающая другую такую же унарную функцию.
FR>и замыкания лямбда не больше чем сахар в общем-то.
Нет там замыканий, там вообще нет ни параметров, ни переменных в явном виде — нет free variables, замыкаться не на что.
Это комбинаторы в чистом виде — point free style.