Вопросы по теме 'scalaz'
Скалаз Клейсли вопрос
В библиотеке scalaz есть trait под названием Kleisli . Глядя на код:
import scalaz._
import Scalaz._
type StringPair = (String, String)
val f: Int => List[String] = (i: Int) => List((i |+| 1).toString, (i |+| 2).toString)
val...
1155 просмотров
schedule
15.11.2022
Неявный параметр в Scalaz
Я пытаюсь выяснить, почему вызов ∅ в scalaz.ListW.<^> работает
def <^>[B: Zero](f: NonEmptyList[A] => B): B = value match {
case Nil => ∅
case h :: t => f(Scalaz.nel(h, t))
}
Моя минимальная теория такова:...
212 просмотров
schedule
06.11.2022
Scalaz разбивает вычисление на части
У меня очень большой List[A] и функция f: List[A] => List[B] . Я хотел бы разбить свой исходный список на подсписки максимального размера, применить функцию к каждому подсписку по очереди, а затем разбить результат на один большой List[B]...
257 просмотров
schedule
28.03.2024
Можно ли работать со scalaz в eclipse?
Создайте новый scala-проект
добавить ссылку на библиотеку в scalaz
создать новый пакет
создать файл scala в пакете
установить кодировку UTF-8
вставьте содержимое примера бифунктора
настроить пакет в файле
Работает в интеллидж. С...
520 просмотров
schedule
21.05.2023
Scala: вывод типов и подтипы / высшие типы
Я поигрался со Scalaz, чтобы добавить в scala немного ощущения haskell. Чтобы понять, как все работает в scala, я сам начал реализовывать различные алгебраические структуры и натолкнулся на поведение, о котором упоминали ребята из Scalaz.
Вот мой...
914 просмотров
schedule
13.01.2024
Подтипирование Scala + проблема неявного преобразования
Я пытаюсь что-то сделать с монадами в scala, используя библиотеку scalaz, и у меня есть некоторые проблемы с тем, чтобы заставить ее хорошо работать с подтипом.
Я начал с определения моей собственной монады. Пусть это будет тождественная монада...
616 просмотров
schedule
09.11.2022
Как я могу объединить два значения Function0 в один Function0
Я представляю что-то вроде этого:
def combine[A, B, C](f: (A, B) => C): (M[A], M[B]) => M[C]
а M будет Function0 . Возможно ли это в scalaz?
413 просмотров
schedule
02.07.2022
проверка scalaz и монада списка
Я пытаюсь придумать что-то похожее на следующее:
val s: Validation[String, Int] = 1.success
def s2(i: Int): Validation[String, Int] = i.success
val result = for {
i <- s
j <- List(1, 2)
k <- s2(j)
} yield "fine";
Приведенный...
1898 просмотров
schedule
24.07.2023
Как уменьшить Seq [Either [A, B]] до Either [A, Seq [B]]?
Дана последовательность из Seq[Either[String,A]] , где Left является сообщением об ошибке. Я хочу получить Either[String,Seq[A]] , где я получаю Right (который будет Seq[A] ), если все элементы последовательности равны Right . Если есть хотя...
12095 просмотров
schedule
23.07.2022
Обоснование методики импорта библиотеки Scalaz
Кто-нибудь из вас знает, почему примеры из Scalaz всегда используют эту технику импорта:
import scalaz._
import Scalaz._
скорее, чем:
import scalaz.Scalaz._
? Я пытаюсь понять, в чем причина предпочтения.
Спасибо!
631 просмотров
schedule
12.07.2023
Есть ли встроенный способ преобразования Option в проверку scalaz?
Я искал, но не могу найти неявный преобразователь. Очевидно, было бы тривиально написать один, но мне интересно, не пропустил ли я его каким-то образом в библиотеке scalaz!
1837 просмотров
schedule
29.10.2022
акка-верблюд против скалаз-верблюд
Кто-нибудь проводил оценку akka-camel и scalaz-camel-akka? Мне нравится функциональный подход, который приносит scalaz, и я немного использовал scalaz-camel-akka, но на самом деле не использовал akka-camel.
Я был бы очень заинтересован в некоторых...
1210 просмотров
schedule
17.09.2022
Как составить функцию для аппликативов с помощью scalaz
Изучая Scalaz 6 , я пытаюсь написать безопасные для типов средства чтения, возвращающие проверки. Вот мои новые типы:
type ValidReader[S,X] = (S) => Validation[NonEmptyList[String],X]
type MapReader[X] = ValidReader[Map[String,String],X]...
1385 просмотров
schedule
15.06.2022
Составление проверок Scalaz
Я хотел бы использовать Scalaz для проверки и иметь возможность повторно использовать функции проверки в разных контекстах. Я совершенно новичок в Scalaz кстати.
Скажем, у меня есть эти простые проверки:
def checkDefined(xs: Option[String]):...
4524 просмотров
schedule
12.10.2022
Как scalaz' Functor может получить тип более высокого порядка с привязкой к контексту?
Я хочу определить экземпляры Functor для следующих классов:
class RequiresManifest[A: Manifest] {
def value: A
}
class RequiresAnyRef[A <: AnyRef] {
def value: A
}
class RequiresBothManifestAndAnyRef[A <: AnyRef: Manifest] {
def...
258 просмотров
schedule
27.05.2022
Как я могу чередовать элементы двух списков в scala
Я хотел бы объединить два списка произвольной длины таким образом, чтобы элементы из второго списка вставлялись после каждого n-го элемента в первый список. Если длина 1-го списка меньше n, вставка не выполняется.
Итак, имея
val a =...
3196 просмотров
schedule
19.07.2023
Как вы используете scalaz.WriterT для регистрации выражения for?
Как вы используете scalaz.WriterT для ведения журнала?
2589 просмотров
schedule
10.01.2023
Scala — Scalaz unMkIdentity nullPointerException
Я определил следующий класс
private sealed trait Action2[-T1, +R] extends Function1[T1, R] {
def printResults()
}
private abstract class BaseAction[T1, R] extends Action2[T1, R]{
protected var result: R = null
override final def...
76 просмотров
schedule
01.02.2023
Почему валидация не является монадой?
пример использования:
def div2(i: Int): Validation[String, Int] =
if (i%2 == 0) Validation.success(i/2)
else Validation.failure("odd")
def div4(i: Int) = for {
a <- div2(i)
b <- div2(a)
} yield b
ошибка : невозможно...
4882 просмотров
schedule
28.07.2022
Нахожу свой путь через Scalaz
Возможный дубликат: Хорошее введение в scalaz
Я хотел бы узнать больше о Scalaz, возможно, используя Scalaz7, чтобы избежать перепрограммирования моего мозга после того, как он будет объявлен стабильным. Моя проблема в том, что Scalaz...
2172 просмотров
schedule
04.03.2023
