каррирование

  • 1Каррирование — или карринг (англ. currying) в информатике  преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование было введено М. Шейнфинкелем и Г. Фреге и получило свое название в честь Х. Карри.… …

    Википедия

  • 2каррирование — сущ., кол во синонимов: 1 • карринг (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …

    Словарь синонимов

  • 3Лямбда-исчисление — (λ исчисление)  формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… …

    Википедия

  • 4Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …

    Википедия

  • 5Карринг — В компьютерных науках, каррирование или карринг (англ. currying), введенное М. Шейнфинкелем и Г. Фреге, является преобразованием функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование получило свое название в… …

    Википедия

  • 6Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …

    Википедия

  • 7Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… …

    Википедия

  • 8Замыкание (программирование) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина …

    Википедия

  • 9Карри, Хаскелл — Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике… …

    Википедия

  • 10Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей.  Условные обозначения  …

    Википедия