pointfree

6зной

4ответ

Как сделать точечный стиль с длинным списком параметров

У меня есть функция, которая создает рабочий процесс Async и функцию, которая принимает 10 аргументов в стиле карри. например let createSequenceCore a b c d e f g h i j = async { ... }

2зной

1ответ

Конвертировать в стиль Pointfree?

Learn You a Haskell обсуждает «Создание Монады» со следующими Prob типа: import Data.Ratio newtype Prob a = Prob { getProb :: [(a,Rational)] } deriving Show Prob представляет a тип, а затем Ration

6зной

1ответ

версия Pointfree не скомпилирована, но точечная делает?

Я хочу написать функцию Haskell, которая возвращает список, добавленный к нему, счетчик времени (например, lst * count в Python). Моя первая попытка: self_append_n :: Int -> [a] -> [a] self_append_n

2зной

1ответ

Невозможно получить безточечном обозначения для компиляции в Haskell

Это работает unique :: (a -> Bool) -> [a] -> Bool unique p xs = 1 == length (filter p xs) Но теперь я хочу его в виде: unique = (== 1) . length . filter Сообщение об ошибке: Couldn't match expect

8зной

2ответ

Почему стиль без точек называется point free в Haskell, когда он заполнен точками? Откуда берется термин «точка-свободный»?

Я сейчас читаю Learn You a Haskell for Great Good, и я наткнулся на понятие «point-free style» на странице 85, как показано ниже. Однако функция fnполная с точками! Это меня смущает. Почему этот стиль

1зной

3ответ

($) является (.) Как `fmap`?

У меня есть функция funcM :: a -> b -> c -> IO (x, y) Я хочу, чтобы написать функцию funcM_ :: a-> b-> c-> IO x так: funcM_ = fst `fmap` funcM -- error Я мог бы добавить обратно все точки, но мне ка