fold

3зной

2ответ

Обобщенная сгиб для индуктивных типов данных в coq

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

1зной

1ответ

Объединение foldl и foldr

Я понял, что сам foldl (или foldl') является лучшим подходом, когда вы хотите, чтобы произвести резюмировать список в один результат (т.е. sum) и foldr это лучший подход, когда вы хотите произвести др

0зной

4ответ

Scala: используя foldl для добавления пар из списка на карту?

Я пытаюсь добавить пары из списка на карту, используя foldl. Я получаю следующее сообщение об ошибке: "missing arguments for method /: in trait TraversableOnce; follow this method with `_' if you want

2зной

2ответ

Scala: Является ли оператор foldl infix?

Глядя на код с foldl это трудно понять его синтаксис, например: def lstToMap(lst:List[(String,Int)], map: Map[String, Int]):Map[String, Int] = { (map /: lst) (addToMap) } Является ли /: ин

4зной

3ответ

как выкопать блок кода без сложного содержимого?

Я пишу блог, описывающий сгиб vim. Поэтому мне нужен такой код. +-- 15 lines: set_up_socket_dir() {-------------------------------------------- Но когда я держу линию, на самом деле выдергиваю сложе