Телеграмм чат группы haskellru страница 13047

2020 July 15

KV

Переслано от Kirill Valyavin

Почему это полезно: потому что можно написать

Haskell> let plusThree = (+) 3
Haskell> map plusThree [1..10]
[4,5,6,7,8,9,10,11,12,13]

источник

12:47пожаловаться #1

KV

Kirill Valyavin in Haskell

Переслано от Kirill Valyavin

Или сразу map (+3) [1..10]

источник

12:47пожаловаться #2

к

кана in Haskell

greelot

И что означает это "не совсем"

функция которая принимает два аргумента не может принимать меньше аргументов

а хаскельные функции принимают ток один аргумент, поэтому можно передавать сколько угодно в каждый нужный момент

источник

12:47пожаловаться #3

JS

Jerzy Syrowiecki in Haskell

кана

все проще, лямбды имеют рантаймное представление, лямбда это пара из ссылку на функцию и среза скоупа в момент создания этой лямбды

f =
let t = 5
in \x -> x + t

g =
let t = 10
in \x -> x + t

вроде абсолютно две одинаковые лямбды, \x -> x + t, но они имеют разный срез скоупа (+, и t = 5 и 10), поэтому это две разные в рантайме лямбды, и мы можем вызвать f 2 и получить 7, хоть уже нет у нас t в скоупе, это сохранилось в срезе скоупа лямбды

точнее, замыкание = (окружение, код)

источник

12:47пожаловаться #4

KV

Kirill Valyavin in Haskell

Можно давать не сразу все аргументы, а какой-то отложить

источник

12:47пожаловаться #5

KV

Kirill Valyavin in Haskell

Или несколько

источник

12:47пожаловаться #6

g

greelot in Haskell

Kirill Valyavin

Можно давать не сразу все аргументы, а какой-то отложить

Так да, это тоже самое, что и принятие двух аргументов, только второй принимается чуть позже. Что? Ааааааааа. Все понятно. Бл#дь, с#ка, наконец-то

источник

12:49пожаловаться #7

JS

Jerzy Syrowiecki in Haskell

Jerzy Syrowiecki

точнее, замыкание = (окружение, код)

в языках с ФП функция = замыкание. в языках без ФП функция = код

источник

12:49пожаловаться #8

KV

Kirill Valyavin in Haskell

greelot

Так да, это тоже самое, что и принятие двух аргументов, только второй принимается чуть позже. Что? Ааааааааа. Все понятно. Бл#дь, с#ка, наконец-то

Поздравляю!

источник

12:49пожаловаться #9

g

greelot in Haskell

Kirill Valyavin

Поздравляю!

2+2 только что посчитал

источник

12:49пожаловаться #10

g

greelot in Haskell

Это просто, но чтобы это понять, я пошел все усложнять, простая логика превратилась в ад

источник

12:50пожаловаться #11

g

greelot in Haskell

Хорошо, логику я понял, но до практики я ещё не дошел

источник

12:55пожаловаться #12

g

greelot in Haskell

Щас все переварю

источник

12:55пожаловаться #13

g

greelot in Haskell

greelot

Хорошо, я понимаю так.

Допустим есть функция с типом
(a -> a) -> a

Эта функция, сначала из первого значения типа a делает второе значение типа а, потом первое значение типа a, забывается и испаряется, и уже из полученного второго значения типа а, делается третье значение типа a

Так что-ли?

Ну так правильно все, вот это осмысление было правильным

источник

12:57пожаловаться #14

JC

John Cantrell in Haskell

greelot

Хорошо, я понимаю так.

Допустим есть функция с типом
(a -> a) -> a

Эта функция, сначала из первого значения типа a делает второе значение типа а, потом первое значение типа a, забывается и испаряется, и уже из полученного второго значения типа а, делается третье значение типа a

Так что-ли?

Советую посмотреть видео Дениса Москвина про бестиповое лямбда-исчисление, там всё подробно на пальцах объясняется

источник

12:57пожаловаться #15

g

greelot in Haskell

greelot

Ну так правильно все, вот это осмысление было правильным

Все делается поэтапно

источник

12:57пожаловаться #16

g

greelot in Haskell

Сначала одна функция с одним аргументом выполняется, потом эта же функция выполняется с новым аргументом , а не все сразу выполняется, как кажется

источник

12:58пожаловаться #17

KV

Kirill Valyavin in Haskell

greelot

Ну так правильно все, вот это осмысление было правильным

Там скобки стоят неправильно, обсуждали же выше, в чём разница

источник

12:58пожаловаться #18

JM

Jonn Mostovoy in Haskell

плиз стоп :с

источник

13:01пожаловаться #19

JM

Jonn Mostovoy in Haskell

Jonn Mostovoy

@greelot я очень рекомендую уменьшить гонор, установить на компьютер GHC, взять книгу и эксперементировать с примерами пока идёте по книге. В таком порядке.

И решать упражнения пока не решите.

.

источник

13:01пожаловаться #20