Все вопросы: [currying]

20 вопросов

похожие теги: currycurry-howard
12
голосов
1ответов
2386 просмотров

How to curry a function in Scala

I'm trying to call a 2 parameters function in List.foreach, with the first parameter fixed for a loop. In fact I want to curry a function of two parameters into a function of one parameter which returns a function of one parameter (as List.foldLeft do) This does not work: private def mathFunc1(...

4
голосов
2ответов
585 просмотров

Is there a way to get a Curried form of the binary operators in SML/NJ?

For example, instead of - op =; val it = fn : ''a * ''a -> bool I would rather have - op =; val it = fn : ''a -> ''a -> bool for use in val x = getX() val l = getList() val l' = if List.exists ((op =) x) l then l else x::l Obviously I can do this on my own, for example, val l' ...

3
голосов
1ответов
459 просмотров

Using Curry to Define Grails Tags

I have a grails tag library TpTagLib and in it I want to define 4 new tags that differ only in one constant value, so I tried to use curry. But there is an exception: groovy.lang.MissingPropertyException: No such property: attr for class: TpTagLib Does anyone have any idea why this exception occ...

6
голосов
4ответов
918 просмотров

"Uncurrying" an instance method in .NET

Can you create a delegate of an instance method without specifying the instance at creation time? In other words, can you create a "static" delegate that takes as it's first parameter the instance the method should be called on? For example, how can I construct the following delegate using refl...

6
голосов
1ответов
2288 просмотров

как реализовать карри (частичную функцию) в рубине

Мне нужно несколько примеров реализации функции карри в ruby ​​(1.8.6 или 1.8.7, а не 1.9).

1
голосов
3ответов
371 просмотров

Выполнение N-мерного блуждания в чисто функциональном ML?

Идея состоит в том, чтобы пройти по нескольким измерениям, каждое из которых определяется как диапазон (* lower_bound, upper_bound, number_of_steps *) type range = real * real * int поэтому такие функции, как fun foo y x или fun foo z y x , могут применяться ко всему квадрату X Y или ...

37
голосов
4ответов
8605 просмотров

Есть ли способ сделать каррирование на C?

Скажем, у меня есть указатель на функцию _stack_push(stack* stk, void* el). Я хочу иметь возможность вызвать curry(_stack_push, my_stack) и вернуть функцию, которая принимает только void* el. Я не мог придумать, как это сделать, поскольку C не допускает время выполнения определение функции, но я...

5
голосов
1ответов
974 просмотров

F #: проблема с каррированной перегрузкой / кортежной перегрузкой

При переносе некоторого кода на последнюю версию F #, включенную в VS2010 b1, я столкнулся с проблемой и хотел бы знать, есть ли обходной путь и - если нет - почему такое поведение компилятора F # изменено, чтобы не поддерживать сценарий. type Foo(a) = [<OverloadID("CurriedAbc")>] ...

9
голосов
1ответов
1581 просмотров

Путаница в отношении каррирования и стиля без точек в Haskell

Я пытался реализовать функцию every :: (a -> IO Bool) -> [a] -> IO Bool , который был темой для этот вопрос . Я попытался сделать это без явной рекурсии . Я придумал следующий код every f xs = liftM (all id) $ sequence $ map f xs Моя функция не работала, потому что она н...

1
голосов
2ответов
222 просмотров

Семантика оператора F #

Может ли кто-нибудь описать мне это выражение F #? val augment: GameGrid -> points -> unit Что означает ключевое слово val? Верно ли, что обычно type -> type указывает на функцию, возвращающую указанный тип? Так означает ли type -> type -> type функцию, которая возвр...

4
голосов
6ответов
5366 просмотров

Новичок: каррированные функции в схеме

Я использую лекции и текст SICP, чтобы самостоятельно узнать о Scheme. Я смотрю упражнение, в котором говорится: «Приложение выражения E - это выражение формы (E E1, ... En). Это включает случай n = 0, соответствующий выражению (E). Приложение Карри of E - это либо приложение E, либо приложение ...

7
голосов
3ответов
861 просмотров

Почему я не могу неявно привести делегата с помощью методов расширения?

Я пытаюсь придумать способ автоматического преобразования чего-либо в Action или Func, и лучшее, что я могу придумать, это что-то вроде этого: [TestFixture] public class ExecutionTest { public void BadMethod() { throw new Exception("Something bad happened"); } [Test] ...

33
голосов
2ответов
18544 просмотров

Правильное каррирование на C #

Дан метод DoSomething, который принимает функцию (без параметров) и каким-то образом ее обрабатывает. Есть ли лучший способ создать "перегрузки" для функций с параметрами, чем приведенный ниже фрагмент? public static TResult DoSomething<TResult>(Func<TResult> func) { //call fu...

8
голосов
1ответов
474 просмотров

В чем различия и возможные сходства замыканий и каррирования?

Я прочитал здесь несколько сообщений о закрытии и каррировании, но мне кажется, что я не нашел ответа. Так в чем же различия и, возможно, сходства замыканий и каррирования? Спасибо за помощь :)

2
голосов
3ответов
1740 просмотров

Реализация каррированных функций в схеме

Что произойдет, если я сделаю следующее? (define ((func x) y) (if (zero? y) ((func x) 1) 12)) Я понимаю, что могу это сделать: (define curried (func 5)) И теперь я могу использовать карри. Что мне интересно, так это определение функции. Линия ((func x) 1) ...

443
голосов
14ответов
51793 просмотров

В чем разница между каррированием и частичным применением?

Я довольно часто вижу в Интернете различные жалобы на то, что другие примеры каррирования не являются каррированием, а на самом деле являются лишь частичным применением. Я не нашел достойного объяснения того, что такое частичное приложение или чем оно отличается от каррирования. Похоже, сущес...

44
голосов
10ответов
25019 просмотров

Как можно каррирование в C ++?

Что такое карри? Как каррирование может быть выполнено в C ++? Объясните, пожалуйста, связующие файлы в контейнере STL?

172
голосов
15ответов
42142 просмотров

JavaScript карри: каковы практические применения?

Не думаю, что я попробовал карри. Я понимаю, что он делает и как это делать. Я просто не могу представить себе ситуацию, в которой я бы его использовал. Где вы используете каррирование в JavaScript (или где его используют основные библиотеки)? Приветствуются манипуляции с DOM или общие пример...

666
голосов
18ответов
160582 просмотров

Что такое каррирование?

Я видел ссылки на каррированные функции в нескольких статьях и блогах, но не могу найти хорошего объяснения (или хотя бы такого, которое имеет смысл!)

19
голосов
6ответов
6257 просмотров

Каррированная функция F #

У кого-нибудь есть достойный пример, желательно практический / полезный, он мог бы опубликовать демонстрацию концепции?