AB
а вот теперь до меня начинает доходить
\x -> (f >> g) x
или\x -> x |> f |> gв
f >> g
это "eta conversion"Size: a a a
2019 May 11
AP
превращение
AB
я тут немного бесовщины напишу на js + ramda, чтоб перевести
const f = a => b => c
a(b(c))
R.compose(a, b) == a « b
const f = a => b => c
a(b(c))
R.compose(a, b) == a « b
AP
да.
R.compose, это <<AB
теперь понял, да, я чет последний аргумент провтыкал и недогонял)
R:
Ага, каррирование это когда функции умеют только 1 аргумент и только 1
R:
Еще стоит понимать шо при написании каррированых функций, главное обрабатываемое значение должно быть в самом конце, а первые принимаемые значения для настройки функции должны быть впереди, что бы их можно было в композиции использовать
R:
Например если бы у функций filter или map, обрабатываемый список был бы не последним аргументом, мы бы не могли написать filter isOdd << map identity <| range 0 10
AP
Только если ты не пишешь фнукции для применния в пайп-DSL
R:
Только если ты не пишешь фнукции для применния в пайп-DSL
Сложна
AP
Предположим, что хочешь ты нормальный DSL сделать типа
a <> b <> c, так вот при реализации его в видеa |> then b |> then c у then будет другой порядок аргументовR:
Нууууу, |> is not a jedi way!
AP
В Elm-то принято именно его использовать, увы
R:
Ну, у не хаскелистов и новичков, думаю
AP
Т.е. "у большинства эльмеров", ты хочешь сказать?
RT
2019 May 12
VL
Ага, там есть перевод на русский, и я сам и работаю над этим переводом. Спасибо.
Я имел в виду ссылку на удобоваримый текст о лямбда-исчислении.
Я имел в виду ссылку на удобоваримый текст о лямбда-исчислении.
RT
А можешь ещё описать какие то кейсы применимые к elm которых не хватает для работы и нет в книжке выше ?
VL
У меня нет проблемы с elm. Я задал вопрос потому что речь зашла о стратегиях вычисления. К примеру, сейчас я прохожу курс по Haskell на Stepik, и там гораздо полнее раскрывается тема лени. Но у меня по-прежнему есть ощущение, что я должен нечто воспринять как данность. А книги по математической логике, на которые я наталкивался, обычно начинаются с суровой математики