YS
к рекордам по дефолту напрямую отношения не имеет, да
Size: a a a
2021 March 06
AP
Я мог и напутать, по памяти писал :) Меня устраивают префиксы у имен полей и линзы поверх
к
да можно уже просто взять и использовать рекорд дот через препроцессор, без всяких лейблов
-- 1. добавляем record-dot-preprocessor в зависимости
-- 2. добавляем всего одну прагму
{-# OPTIONS_GHC -F -pgmF=record-dot-preprocessor #-}
-- 3. используем
data X = X { a, b :: Int }
f :: X -> Int
f x = x.a + x.b
-- 1. добавляем record-dot-preprocessor в зависимости
-- 2. добавляем всего одну прагму
{-# OPTIONS_GHC -F -pgmF=record-dot-preprocessor #-}
-- 3. используем
data X = X { a, b :: Int }
f :: X -> Int
f x = x.a + x.b
М
Здравствуйте
М
Я новичок в ФП
Можно кое что спросить?
Можно кое что спросить?
к
как ты себе представляешь чат для новичков, где нельзя задавать вопросы?
М
В общем
М
Как можно выполнить функцию несколько раз
М
без циклов
М
если это возможно
Д
Как можно выполнить функцию несколько раз
рекурсия
к
ap :: Int -> (a -> a) -> (a -> a)
ap 0 f = id
ap n f = ap (n - 1) f . f
ap 10 (* 2) 1 == 1024
ap 0 f = id
ap n f = ap (n - 1) f . f
ap 10 (* 2) 1 == 1024
М
ap :: Int -> (a -> a) -> (a -> a)
ap 0 f = id
ap n f = ap (n - 1) f . f
ap 10 (* 2) 1 == 1024
ap 0 f = id
ap n f = ap (n - 1) f . f
ap 10 (* 2) 1 == 1024
чиво
М
рекурсия
Спасибо, разберусь
Д
чиво
это функция для вызова функции n раз
Д
задана рекурсивно
к
или
appEndo (stimes 10 (Endo (* 2))) 1
или
foldr (.) id (replicate 10 (* 2)) 1
appEndo (stimes 10 (Endo (* 2))) 1
или
foldr (.) id (replicate 10 (* 2)) 1
к
чиво
ap принимает число n (сколько раз применить) и функцию f, и возвращает функцию, которая n раз применяет f к аргументу
когда число = 0, то нужно 0 раз применить функцию f, то есть id
когда число = n (но не 0), то нужно применить функцию f и применить f еще n-1 раз
когда число = 0, то нужно 0 раз применить функцию f, то есть id
когда число = n (но не 0), то нужно применить функцию f и применить f еще n-1 раз
к
можно вот так расписать еще
ap :: Int -> (a -> a) -> (a -> a)
ap 0 f x = x
ap n f x = f (ap (n - 1) f x)
ap :: Int -> (a -> a) -> (a -> a)
ap 0 f x = x
ap n f x = f (ap (n - 1) f x)
М
ap принимает число n (сколько раз применить) и функцию f, и возвращает функцию, которая n раз применяет f к аргументу
когда число = 0, то нужно 0 раз применить функцию f, то есть id
когда число = n (но не 0), то нужно применить функцию f и применить f еще n-1 раз
когда число = 0, то нужно 0 раз применить функцию f, то есть id
когда число = n (но не 0), то нужно применить функцию f и применить f еще n-1 раз
id что то значит?