0
ответов
Состав линз Scalaz
Здесь действительно простой вопрос. После просмотра отличного введения в объективы:http://www.youtube.com/watch?v=efv0SQNde5QЯ подумал, что могу попробовать один из простых примеров, рассмотренных в докладе :...
вопрос задан: 3 August 2012 02:13
0
ответов
Выполнение HTTP-запроса в Scala
Я пытаюсь отправить простой запрос POST к веб-сервису, который возвращает некоторый XML в Scala. Кажется, что Dispatch — это стандартная библиотека, используемая для этой задачи, но я не могу найти для нее документацию....
вопрос задан: 30 July 2012 10:11
0
ответов
Больше haskell -как аппликативный синтаксис в scalaz
Я экспериментирую со scalaz. Я пробовал писать код в аппликативном коде. Я написал такой код :val max :Option[Int] = (a |@| b ){ math.max (_, _)} Мне этот код не очень понравился. Я хотел бы...
вопрос задан: 16 July 2012 09:53
0
ответов
Написание foldTerm из «Типы данных на выбор» в Scala
Я пытаюсь написать функцию foldTerm из типов данных аля карт в Scala. Вот что у меня есть на данный момент: def foldTerm[F[+ _], A, B] (e :Free[F, A], pure :A ⇒ B, imp :F [B] ⇒ B )(неявный F :Functor[F] ):...
вопрос задан: 13 July 2012 01:48
0
ответов
Операции обновления в классе Case Scala
У меня есть два экземпляра класса case одного типа. case class Foo (x :Option[String], y :Option[String], z :Option[String] )Позволяет вызывать созданные классы A и B. val a = Foo (x=Некоторые ("...
вопрос задан: 12 July 2012 10:26
0
ответов
Как я могу чередовать элементы двух списков в scala
Я хотел бы объединить два списка произвольной длины таким образом, чтобы элементы из 2-го списка вставлялись после каждого n --го элемента в 1-й список. Если длина 1-го списка меньше n, нет...
вопрос задан: 6 July 2012 19:11
0
ответов
Выравнивание вложенных проверок Scalaz
Я новичок в scalaz и начал с проверок. У меня есть некоторые функции проверки формы: def validateXyz(...): ValidationNEL[String, String] = ... Затем я использую ...
вопрос задан: 23 June 2012 22:54
0
ответов
Пример Comonad в Scala
Что такое Comonad, если это возможно описать в синтаксисе Scala. Нашел реализацию библиотеки scalaz, но непонятно, где она может пригодиться.
вопрос задан: 20 June 2012 14:14
0
ответов
Асинхронные вычисления с валидацией в Scala с использованием Scalaz
При написании полностью асинхронной библиотеки для доступа к удаленному сервису (используя Play2.0) я использую Promise и валидацию для создания неблокирующего вызова, который имеет тип представление ошибочного и действительного результата в ...
вопрос задан: 10 June 2012 10:47
0
ответов
Аппликативный пример для кортежа с моноидом и функцией внутри
Я пытался преобразовать пример haskell, с которым я столкнулся ранее, в scalaz. Первоначальный пример был таким: ("Ответ на ", (*)) <*> ("Окончательный вопрос", 6) <*> ("Жизнь, ...
вопрос задан: 7 June 2012 20:42
0
ответов
Могу ли я использовать преобразователи монад, чтобы упростить эту композицию?
Предположим, у меня есть тип VS[A] = Validation[String, A] val v: VS[Option[A]]
val f: A => VS[B] Я хочу получить результат типа VS[Option[B]], но если v имеет значение Success(None), результат также должен быть ...
вопрос задан: 1 June 2012 16:08
0
ответов
Scalaz: проверка в понимании и ведение журнала
Я признаю, что заголовок не очень четкий: извините за это. Предположим, у меня есть понимание for: for {v1<-Validation1(input) v2<-Validation2(v1) v3<-Validation3(v2)
} yield ...
вопрос задан: 23 May 2012 19:47
0
ответов
Где реализован неявный Monoid[Int] и т. д.
Я пытаюсь немного изучить/понять scalaz. Для этого я начал с примера :Список (3, 4, 5 ).asMA.foldMap (x => x )=> 12 // (3+4+5 )def foldMap[B] (f :A => B )(implicit r :Foldable[M],...
вопрос задан: 1 May 2012 07:42
0
ответов
Избегайте повторений с помощью линз при глубоком копировании -в значения карты
У меня есть неизменяемая структура данных, в которой у меня есть вложенные значения в Картах, например :case class TradingDay (syms :Map[String, SymDay] = Map.empty )case class SymDay (sym :String, traders :Map[String,...
вопрос задан: 20 April 2012 14:16
0
ответов
как перевести Haskell на Scalaz?
Мы с одним из моих старшеклассников собираемся портировать библиотеку комбинаторов синтаксических анализаторов Parsec для Haskell на Scala. (У него есть то преимущество перед встроенной-библиотекой синтаксического анализа Scala, что вы можете...
вопрос задан: 1 April 2012 14:21
0
ответов
Объясните реализацию Traverse[List] в scalaz-seven
Я пытаюсь понять реализацию traverseImpl в scalaz-seven: def traverseImpl[F[_], A, B](l: List[A])(f: A => F[B])(неявный F: Applicative[F]) = { DList.fromList(l).foldr (F.point(...
вопрос задан: 15 March 2012 04:16
0
ответов
Группировка значений по ключу с любым моноидом
Я хотел бы написать метод mergeKeys, который группирует значения в Iterable[(K, V)] по ключам. Например, я мог бы написать: def mergeKeysList[K, V](iter: Iterable[(K, V)]) = { iter....
вопрос задан: 15 March 2012 03:18
0
ответов
Составьте проверки Scalaz
Я бы хотел использовать Scalaz для проверок и хотел бы иметь возможность повторно использовать функции проверки в разных контекстах. Кстати, я совершенно новичок в Скалазе. Скажем, у меня есть эти простые проверки: def ...
вопрос задан: 24 February 2012 10:08
0
ответов
Как составить функцию для аппликативов с помощью scalaz
Изучая Scalaz 6, я пытаюсь написать типобезопасные программы чтения, возвращающие проверки. Вот мои новые типы: type ValidReader [S, X] = (S) => Validation [NonEmptyList [String], X]
type MapReader [X] = ...
вопрос задан: 23 February 2012 15:35
0
ответов
Scalaz Validation: агрегировать ошибки или возвращать любой успешный результат
Как можно реализовать с помощью scalaz такое поведение: "Fail1" .failNel [ Int] и «Fail2» .failNel [Int] to Failure («Fail1», «Fail2»)
"Fail1" .failNel [Int] и 100.successNel [String] to Success (100) ...
вопрос задан: 8 February 2012 17:46
0
ответов
Использование состояния scalaz в более сложных вычислениях
Я пытаюсь понять, как использовать состояние scalaz для выполнения сложных вычислений с сохранением состояния. Вот проблема: учитывая список [Int] потенциальных делителей и список [Int] чисел, найдите список [(...
вопрос задан: 8 February 2012 13:18
0
ответов
Декартово произведение обхода в скалязе
В блоге Эрика Торреборре о статье «Сущность шаблона итератора» он описывает, как декартово произведение обхода также является траверсом. Может ли кто-нибудь показать мне пример этого, используя ...
вопрос задан: 8 February 2012 09:55
0
ответов
Scala PartialFunction может быть Monoid?
Я думал, что PartialFunction может быть Monoid. Правильно ли мой мыслительный процесс?
Например, import scalaz._
import scala. {PartialFunction => ->} implicit def partialFunctionSemigroup [A, B]: ...
вопрос задан: 30 January 2012 17:18
0
ответов
чистый способ объединения двух кортежей в новый больший кортеж в scala?
Допустим, у меня есть следующие кортежи: scala> val t1 = Tuple2("abcd", "efg")
t1: (java.lang.String, java.lang.String) = (abcd,efg) scala> val t2 = Tuple2(1234, "lmnop")
t2: (Int, java.lang....
вопрос задан: 27 January 2012 17:59
0
ответов
Есть ли встроенный способ преобразования Option в скалярную проверку?
Я искал, но не могу найти неявный преобразователь. Очевидно, написать его было бы тривиально, но мне интересно, не пропустил ли я его как-то в библиотеке scalaz!
вопрос задан: 19 January 2012 17:03
0
ответов
Есть ли более идиоматический способ получения ввода-вывода [Option [ A]] из Option [IO [Option [A]], затем с помощью соединения последовательности и сопоставления?
Я сталкиваюсь с довольно большим количеством мест, где у меня есть что-то вроде def f (s: String): Option [Long] знак равно
def g (l: Long): IO [Option [Wibble]] = ... val a: IO [Option [Wibble]] = f (param) .flatMap (g) ....
вопрос задан: 11 January 2012 23:54
0
ответов
Сопоставить одну запись карты
Я хочу добиться чего-то вроде следующего: (_: Map [K, Int ]). mapKey (k, _ + 1) И функция mapKey применяет свой второй аргумент (Int => Int) только к значению, хранящемуся под k. Есть ли ...
вопрос задан: 11 January 2012 15:09
0
ответов
Какова связь сворачивания в Option, Either и т. Д. И сворачивания в Traversable?
Scalaz предоставляет метод с именем fold для различных ADT, таких как Boolean, Option [_], Validation [_, _], Either [_, _] и т. д. Этот метод в основном принимает функции, соответствующие всем возможным случаям для этого ...
вопрос задан: 16 December 2011 20:48
0
ответов
Пытаюсь понять scalaz state monad
Я пытаюсь начать использовать scalaz в своем проекте lift. Для этого я переписываю некоторый код в соответствии со стилем. Рассмотрим код для входа пользователя в систему: def login: CssSel = { var password = "" ...
вопрос задан: 16 December 2011 08:54
0
ответов
Как я могу использовать композицию Клейсли с функциями, возвращающими проверки?
Как мне составить два функции, возвращающие проверки? Ниже приведены мои попытки, которые не сработали: scala> def f: Int => Validation [String, Int] = i => if (i% 2 == 0) Success (i * 2) else ...
вопрос задан: 13 December 2011 14:25