pointfree

6зной

3ответ

Point-свободной форме в зависимости от стиля

Вы можете конвертировать -- tupleUnfold :: forall a. ((forall b. a -> b)) -> a -> ((b)) tupleUnfold :: Int -> ExpQ tupleUnfold n = do xs <- forM [1 .. n] (const . newName $ "x") y <- newNa

2зной

2ответ

Ошибка типа Haskell от функции Применение к функциональному составу

Этот вопрос относится к этому Function Composition VS Function Application, на который ответил antal s-z. Как вы можете это получить? map has type (a -> b) -> [a] -> [b] head has type [a] -> a map h

13зной

2ответ

Почему версия этой функции с нулевой точкой выглядит так?

Я играю с Haskell с честью, в том числе занимаюсь написанием функций в бесконтактной форме. Вот примерная функция: dotProduct :: (Num a) => [a] -> [a] -> a dotProduct xs ys = sum (zipWith (*) xs ys)

9зной

1ответ

Путаница выделки и безточечная в Haskell

Я пытался реализовать функцию every :: (a -> IO Bool) -> [a] -> IO Bool который был темой для this question. Я попытался сделать это без явной рекурсии. Я придумал следующий код every f xs = liftM (

18зной

7ответ

Haskell map/zip Vs. list comprehension

Какое из следующего вы, скорее всего, напишете? r = zip xs $ map sqrt xs или r = [(x, sqrt x) | x <- xs] Пример кода в Интернете, кажется, указывает, что первое является более обильными и предпочт

68зной

5ответ

Что такое бесплатный стиль в функциональном программировании?

фраза, которую я заметил, в последнее время это понятие «безточечном» стиль ... Во-первых, был this вопрос, и also this one. Затем я обнаружил, что here упоминает «Еще одна тема, которую стоит обсудит

19зной

3ответ

Trick для «повторного использования» аргументов в Haskell?

Время от времени я спотыкаюсь о проблеме, которую хочу выразить «пожалуйста, используйте последний аргумент дважды», например. для того, чтобы написать точечный стиль или избежать лямбда. Например. sq

7зной

1ответ

Скрипт с бесплатным кодом?

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

23зной

4ответ

Любой когда-либо переворачивать (<$>)

Я нашел определение следующей (%) = flip fmap Я могу написать код следующим: readFile "/etc/passwd" % lines % filter (not . null) мне имеет смысл тогда альтернативный filter (not . null) <$> lines