Вот моя маленькая функция и данные. Обратите внимание, что я хочу создать функцию, не...

Я использую оператор LINQ Aggregate довольно часто. По сути, он позволяет «накапливать» функцию над...

Итак, я работаю над некоторым кодом (прохожу практический экзамен для курса по ракетке), и мне...

Предположим, у нас есть Option [String], и если там есть Some (string), мы хотим превратить его в...

Я бы хотел объединить совместимые элементы в последовательности, то есть преобразовать Seq[T] в...

Я хочу использовать пользовательский апплицированный тип (например, Nullable) в классе DataContract

Я пытаюсь реализовать алгоритм быстрой сортировки в OCaml, и я думал, что он у меня есть, но он не...

Исходя из ООП, я начал в последние недели читать о функциональном программировании и начал изучать...

Я получаю недостающее определение случая, когда звоню по этому номеру check c (n:nx) state (l:ls...

Могу ли я отменить понимание списка в этом выражении: [(i,j) | i <- [1..4], j <- [i+1..4]]...

Scala предоставляет неизменных коллекций, таких как Set, List, Map. Я понимаю, что неизменность...

Я вижу, что вместо этого можно писать функции, такие как map / sortBy / findIndex и некоторые...

Я пытаюсь обработать тройки в списке.Обязательно, я мог бы сделать это: for(i = 1; i < list

Кто-нибудь знает какие-нибудь хорошие статьи по реализации компилятора F #? Я пытаюсь сгенерировать...

У меня есть некоторый код, который можно значительно уменьшить по сложности с помощью лямбды.Однако...

Я могу наивно построить иерархию алгебраических структур в Coq, используя классы типов. У меня...

Я пытаюсь создать массив из элементов определенного класса на моей веб-странице.Массив должен...

Я возвращаюсь к некоторым схемным упражнениям в python (если это имеет смысл), чтобы узнать, что...

Если у меня есть Haskell ADT, такой как: data Foo = A Int Double | B Bool [Integer] | C (Maybe...

У меня такое чувство, что я застрял, друзья мои. Может кто-нибудь объяснить мне, выбрать уравнения...

Я пытаюсь отследить количество сравнений между элементами массива, выполняемых в сортировке...

Мне нужно реализовать быструю сортировку в SML для домашнего задания, и я заблудился. Ранее я был...

Мне кажется, я хочу, чтобы это был тип 'список *' список -> 'список. пересечение должно возвращать...

Попытка привыкнуть к F # Я попробовал небольшие примеры, и мой следующий шаг - написать несколько...

Я работаю через модуль ListSet из стандартной библиотеки Coq. Я не уверен, как рассуждать об...