к
id :: a -> a
id x = x
id x = x
Size: a a a
2021 March 06
Д
id что то значит?
возвращает свой аргумент
к
foldr (.) id (replicate 10 (* 2)) 1
тут же мы создаем список из 10 одинаковых функций, а потом сворачиваем список композицией (и id как начальное значение)
тут же мы создаем список из 10 одинаковых функций, а потом сворачиваем список композицией (и id как начальное значение)
М
foldr (.) id (replicate 10 (* 2)) 1
тут же мы создаем список из 10 одинаковых функций, а потом сворачиваем список композицией (и id как начальное значение)
тут же мы создаем список из 10 одинаковых функций, а потом сворачиваем список композицией (и id как начальное значение)
Ах*еть
Д
напугал новичка)))
М
После питонов и плюсов все это очень необычно
к
на самом деле довольно удивительно, что такой функции нет в base, а какой-нибудь iterate есть
М
можно вот так расписать еще
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 два раза ?
То есть одинаковые названия
То есть одинаковые названия
к
а, можно еще через iterate
iterate :: (a -> a) -> a -> [a]
она принимает функцию и аргумент, и создает бесконечный список из всех применений последовательных
iterate (* 2) 1 == [1, 2, 4, 8, ...]
ap n f x = (iterate f x) !! x
iterate :: (a -> a) -> a -> [a]
она принимает функцию и аргумент, и создает бесконечный список из всех применений последовательных
iterate (* 2) 1 == [1, 2, 4, 8, ...]
ap n f x = (iterate f x) !! x
к
А ничего что ap два раза ?
То есть одинаковые названия
То есть одинаковые названия
нет, это одна и та же функция, просто разные случаи
к
сначала попытается сматчится первый случай, и если выйдет (если n = 0), то он выполнится, иначе пойдет на второй случай
к
это то же самое как написать
ap :: Int -> (a -> a) -> (a -> a)
ap n f x = case n of
0 -> x
n -> f (ap (n - 1) f x)
ap :: Int -> (a -> a) -> (a -> a)
ap n f x = case n of
0 -> x
n -> f (ap (n - 1) f x)
М
это то же самое как написать
ap :: Int -> (a -> a) -> (a -> a)
ap n f x = case n of
0 -> x
n -> f (ap (n - 1) f x)
ap :: Int -> (a -> a) -> (a -> a)
ap n f x = case n of
0 -> x
n -> f (ap (n - 1) f x)
Ого
М
так понятнее
М
Представляю сколько строк это было бы на плюсах-питонах
к
def ap(n, f, x):
if n == 0:
return x
else:
return f(ap(n - 1, f, x))
ap(10, lambda x: x * 2, 1)
и на плюсах
#include <iostream>
#include <functional>
template<class T>
T ap(int n, std::function<T(T)> f, T x) {
if (n == 0) {
return x;
} else {
return ap(n-1, f, f(x));
}
}
int main() {
std::cout << ap<int>(10, [=](int x) { return x*2; }, 1);
}
if n == 0:
return x
else:
return f(ap(n - 1, f, x))
ap(10, lambda x: x * 2, 1)
и на плюсах
#include <iostream>
#include <functional>
template<class T>
T ap(int n, std::function<T(T)> f, T x) {
if (n == 0) {
return x;
} else {
return ap(n-1, f, f(x));
}
}
int main() {
std::cout << ap<int>(10, [=](int x) { return x*2; }, 1);
}
М
а почему print печаетает с ковычками?
print "Hello World"
Так и должно быть или у меня проблемы?
print "Hello World"
Так и должно быть или у меня проблемы?
Д
а почему print печаетает с ковычками?
print "Hello World"
Так и должно быть или у меня проблемы?
print "Hello World"
Так и должно быть или у меня проблемы?
putStrLn не печатает кавычки
Д
print = putStrLn . show
Д
show для строки показывает ее с кавычками