Вопросы по теме 'maybe'
Лучший способ представить тип, возможно, в Objective C без использования указателей (указатель на указатель не является объектом?)
Как лучше всего представить тип «возможно» в Objective C без использования указателей? Я не могу просто использовать указатель на указатель на объект, потому что указатель на указатель на объект не является объектом, и мне нужно, чтобы он был...
247 просмотров
schedule
17.09.2021
Есть ли в стандартной библиотеке конвертер (а - ›б) -› ((Может быть) - ›(Может быть б))?
Я только изучаю Haskell и обнаружил, что пишу этот фрагмент кода для домашнего задания:
eval :: ExprT -> Integer
eval (Lit x) = x
eval (Add x y) = (eval x) + (eval y)
eval (Mul x y) = (eval x) * (eval y)
evalMayBe :: Maybe ExprT ->...
88 просмотров
schedule
05.09.2021
Ошибка неполных шаблонов
Моя функция принимает в качестве аргумента список Maybe Int. Если элемент = Nothing, он должен напечатать a. и если элемент является Just Int, он напечатает число. Я думал, что захватил базовый вариант, но не думаю, что получил правильный ... Я...
365 просмотров
schedule
20.02.2022
Возможно строительство монады
В настоящее время я борюсь с новым элементом Haskell: монадами. Поэтому я познакомился с этим на примере создания оператора (>>=) , который выполняет функцию для типа Maybe (принимая его фактическое целочисленное значение в качестве...
742 просмотров
schedule
26.02.2022
Получить значение Maybe в Haskell
Я реализую функцию myFunction , которая использует anotherFunction .
anotherFunction - внешняя функция, которую нельзя изменить. Возвращает значение типа Maybe .
myFunction - это рекурсивная функция, которая проверяет, является ли...
1951 просмотров
schedule
13.04.2022
Составление частичных функций
У меня есть две PartialFunctions f и g . Они не имеют побочных эффектов и быстро выполняются. Как лучше всего скомпоновать их в другую частичную функцию h , такую, что h.isDefinedAt(x) тогда и только тогда, когда f.isDefinedAt(x) &&...
4041 просмотров
schedule
20.07.2022
Как работать со списком «Может быть [значения]» в Haskell?
Я попытался адаптировать некоторые упражнения из прекрасной книги Land of Lisp Конрада Барски, чтобы выучить Haskell. Идея состоит в том, чтобы сделать простой текстовый игровой движок.
Конкретно я пробовал:
type Clau = String
type Descripcio =...
104 просмотров
schedule
18.07.2022
Изучение того, как использовать contramap, когда ожидается (a - ›Возможно b) вместо (a -› b) в качестве первого параметра (Haskell)
Я изучаю Haskell, и меня попросили решить это упражнение:
Реализуйте новый тип данных с именем NovoPred, который должен иметь конструктор значения с тем же именем. Также в нем должно быть поле с именем runNovoPred с типом Maybe a -> Bool Затем...
108 просмотров
schedule
31.07.2022
Преобразователи монад дублирование монад
Я новичок в монадных трансформерах, поэтому извините, простой вопрос. У меня есть значение val :: MaybeT IO String и функция fn :: String -> IO [String] . Итак, после привязки у меня есть val >>= liftM fn :: MaybeT IO (IO [String]) ....
251 просмотров
schedule
26.08.2022
Отфильтруйте [Maybe a] и отбросьте значения Nothing
Со списком Maybe a как отфильтровать и взять только те элементы списка, которые не являются Nothing ?
-- input
pas = [Just 3, Just 1, Just 5, Just 9, Nothing, Just 10, Nothing] :: [Maybe Int]
-- expected output
new_pas = [3, 1, 5, 9, 10]
Я...
89 просмотров
schedule
28.08.2022
Новичок в Хаскеле
Я не понимаю, почему я получаю следующий ответ от GHCi. Разве Maybe не является конструктором?
Prelude> :t Maybe
<interactive>:1:1: Not in scope: data constructor `Maybe'
Prelude> let e = Maybe 5
<interactive>:1:9: Not in...
4645 просмотров
schedule
28.06.2023
Стандартная функция Haskell :: (a -> возможно a) -> a -> [a]
У меня определена функция
maybeToList :: (a -> Maybe a) -> a -> [a]
maybeToList f x = x : maybe [] (maybeToList f) (f x)
Эта функция кажется настолько очевидной, что я не могу поверить, что она не является стандартной. Определен ли...
200 просмотров
schedule
11.05.2023
Как отобразить результаты OK
Я играю с примерами Elm и заметил, что пример field дает Result типов. После застревания я придумал этот упрощенный случай:
import Html exposing (text)
import String
f: Int -> Int
f x = x + 1
g: Result String Int -> Result String Int...
355 просмотров
schedule
14.06.2023
Как я могу вернуть значение Maybe из нотации do в PureScript?
Я пытаюсь вернуть значение Maybe из функции, использующей нотацию do, но мне не удается заставить ее работать. Эта функция принимает строку ("имя файла") и путь для поиска в ...
findIn :: String -> Path -> Maybe Path
findIn search start =...
593 просмотров
schedule
20.08.2023
Превращение списка целых чисел в список цветов
У меня есть изображение, сохраненное как очень большое List Int , и я хотел бы превратить его в List Color Однако помните, что rgb требует 3 аргумента, а rgba требует 4. Итак, давайте попробуем:
toColor : List Int -> List Color
toColor x...
241 просмотров
schedule
12.12.2022
Использование readMaybe для чтения списка натуральных чисел
Я использую эту функцию для чтения списка натуральных чисел из строки в следующем формате: [1, 2, 3] :
readMaybeIntList :: String -> Maybe [Int]
readMaybeIntList line = case readMaybe line of
Just l -> return l...
286 просмотров
schedule
14.03.2023
Является ли mfix для Maybe невозможным быть нетривиально тотальным?
Поскольку Nothing >>= f = Nothing для каждого f , для mfix подходит следующее тривиальное определение:
mfix _ = Nothing
Но это не имеет практического применения, поэтому мы имеем следующее неполное определение:
mfix f = let a =...
175 просмотров
schedule
14.02.2023
Ошибка с простой функцией Maybe
Фон
Я пытаюсь помочь кому-то в StackOverflow с вопросом о фьючерсах, возможностях и либо. Мой первый подход состоит в том, чтобы иметь простую функцию, которая принимает Maybe и что-то вычисляет.
Код
Я использую Sanctuary, но это...
84 просмотров
schedule
13.07.2023
лучший способ реализовать функцию, которая принимает [Maybe a] и возвращает Maybe [a]
Мне нужна функция, которая принимает список [Maybe a] в качестве входных данных, выбирает каждое значение, обрабатывает его и возвращает Maybe [a]. Я хочу вернуть Nothing, если в списке ввода есть Nothing.
func [Just 1,Just 2,Just 3,Just 4,Just...
91 просмотров
schedule
26.12.2022
Обозначение для монады в функции, возвращающей другой тип
Есть ли способ записать do нотацию для монады в функции, возвращаемый тип которой не принадлежит указанной монаде?
У меня есть основная функция, выполняющая большую часть логики кода, дополненная другой функцией, которая выполняет некоторые...
121 просмотров
schedule
07.12.2022