Описание тега traversable
В Haskell - класс структур данных, по которым можно перемещаться слева направо, выполняя действие над каждым элементом. Определено в Data.Traversable.
1
ответ
Безопасность создания вектора
Этот вопрос на самом деле представляет собой небольшую решетку очень тесно связанных вопросов; Я не думаю, что есть смысл разбивать его еще. Один из фундаментальных способов создания Vector использует unsafeFreeze, Как следует из названия, unsafeFre…
12 апр '18 в 21:06
2
ответа
Функция подъема `a → b → c` в`[a] → [b] → [[c]]`
Я хотел бы иметь функцию foo :: (a → b → c) → [a] → [b] → [[c]] это берет функцию f :: a → b → c и два списка xs а также ys и возвращает сетку (то есть список списков), содержащий значения f применяется к каждой комбинации значений из xs а также ys,…
24 ноя '15 в 11:31
1
ответ
Бесконечный цикл в пузырьковой сортировке над Traversable в Haskell
Я пытаюсь реализовать сортировку пузырьков над любым перемещаемым контейнером, используя монаду Тардис. {-# LANGUAGE TupleSections #-} module Main where import Control.DeepSeq import Control.Monad.Tardis import Data.Bifunctor import Data.Traversable…
21 ноя '17 в 15:41
2
ответа
Как написать экземпляр Traversable для функции, в Haskell?
Как мне написать экземпляр Traversable для ((->) a)? Я думаю, что я мог бы сделать это, если бы я мог в общем развернуть Applicative Functor: instance Traversable ((->) k) where -- traverse :: (a -> f b) -> (k -> a) -> f (k -> b…
20 сен '17 в 21:43
1
ответ
Можем ли мы использовать IterateAggregate или Iterator в цикле foreach в php?
Я новичок в php и учусь на php.net. В примечании на этой странице ( http://php.net/manual/en/class.traversable.php) говорится, что: Внутренние (встроенные) классы, которые реализуют этот интерфейс, могут использоваться в конструкции foreach и не тре…
29 сен '17 в 02:16
0
ответов
Где аппликатив в моей реализации обхода Javascript?
Я пытался понять Хаскелла traverse функции и реализовать его в Javascript, но я застрял. Когда я смотрю на его тип (Functor t, Foldable t, Applicative f) => (a -> f b) -> t a -> f (t b) Я поняла что мне нужно <$> (map в JS), <*&…
23 май '17 в 20:21
1
ответ
Как преобразовать Haskell Traversable в вектор?
Если у меня есть Traversable пример, xs Как я могу преобразовать его в Vector?
25 апр '15 в 01:20
1
ответ
Реализация "строки" в Text.Parser.Char
Во-первых, просто небольшой контекст. Я перебираю книгу по программированию на языке Haskell и наткнулся на следующее упражнение. Попробуйте написать парсер, который делает что string делает, но используя char, Я не мог понять это, поэтому я провери…
19 май '17 в 03:07
2
ответа
Почему "for" из Data.Traversable принимает монадические действия?
Я работал над следующим небольшим фрагментом кода: import Control.Monad import Data.Aeson import qualified Data.HashMap.Strict as HashMap import Data.Map (Map) import qualified Data.Map as Map import GHC.Generics -- definitions of Whitelisted, White…
14 дек '16 в 19:06
1
ответ
Scala предотвращают смешивание методов
Я хотел бы создать следующую черту: trait IntSet[A] extends Traversable[A] { self: Product => def foreach[U](f: A => U): Unit } case class AProduct(a: List[Int], b: List[Int]) extends IntSet[Int] { def foreach[U](f: Int => U): Unit = { for(…
08 янв '14 в 14:49
0
ответов
Понимание путаницы
Я думал о том, есть ли какой-нибудь метод, который может быть добавлен к Traversable чтобы сделать его дешевле в присутствии дорогих функторов. Вдохновение было Control.Lens.Traversal.confusing, который использует специальный Applicative сделать что…
02 янв '17 в 17:04
6
ответов
Как я могу сбросить с государством в Haskell?
У меня есть простая функция (фактически используется для некоторых задач проекта Euler). Превращает список цифр в десятичное число. fromDigits :: [Int] -> Integer fromDigits [x] = toInteger x fromDigits (x:xs) = (toInteger x) * 10 ^ length xs + f…
15 окт '14 в 19:06
3
ответа
Тестирование пройденного Haskell на простом примере
Я пытаюсь обойти всех членов структуры данных в haskell, используя Data.Traversable, который задокументирован по следующим ссылкам: http://hackage.haskell.org/package/base-4.6.0.1/docs/Data-Traversable.html http://www.haskell.org/haskellwiki/Foldabl…
24 янв '14 в 20:49
1
ответ
Отслеживается для данных Constant a b = Constant a проходит Quickchecks, но действует смешно
Книга Haskell хочет, чтобы я реализовал проходимый экземпляр для newtype Constant a b = Constant { getConstant :: a } включая все необходимые суперклассы. Код ниже проходит Quickcheck/Checkers, но действует смешно import Test.QuickCheck import Test.…
26 май '16 в 18:01
4
ответа
Отображение при отображении промежуточных состояний
Мне нужна функция, которая делает это: >>> func (+1) [1,2,3] [[2,2,3],[2,3,3],[2,3,4]] Мой реальный случай более сложный, но этот пример показывает суть проблемы. Основное отличие состоит в том, что в действительности использование индексов…
10 май '17 в 18:37
1
ответ
Какой смысл 'fmapDefault' в 'Data.Traversable'?
Я смотрю на документацию для Data.Traversable и наткнулся fmapDefault - https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base/Data-Traversable.html fmapDefault :: Traversable t => (a -> b) -> t a -> t b В документации говори…
05 июл '15 в 11:00
1
ответ
Складной против Traversable
Во время учебы Applicative глубже я пришел к Traversable, Хотя я уже знала Foldable от LYHGG я еще не видел первого, поэтому я начал читать вики на Haskell о Traversable. Читая это, я понял, почему Foldable.fold параллельно Traversable.sequenceA а т…
08 мар '16 в 02:18
2
ответа
Почему не работает последовательность со списком проверок
Я думаю, что я понимаю, что это за последовательность. Мне интересно, почему это не работает с List[ValidationNel], Например: sequence отлично работает с List[Option]] scala> val os = List(1.some, 2.some) os: List[Option[Int]] = List(Some(1), Som…
24 июн '15 в 06:23
2
ответа
Терминология концепции Traversable
Почему мы называем переворот структуры "последовательностью" и почему мы говорим о "обходе" и "обходе"? Я добавляю реализацию в haskell этих концепций как предмет обсуждения... class (Functor t, Foldable t) => Traversable t where {-# MINIMAL trav…
19 июн '18 в 15:51
1
ответ
Является ли передача явного типа не эквивалентна выводу типа (с точки зрения выразительности)?
Я пытаюсь перевести traverse/sequenceA в Javascript. Теперь следующее поведение реализации Haskell доставляет мне неприятности: traverse (\x -> x) Nothing -- yields Nothing sequenceA Nothing -- yields Nothing traverse (\x -> x) (Just [7]) -- y…
13 июн '17 в 10:23