Привет! Подскажите пожалуйста по терминологии. Есть функция bind с такой сигнатурой >>=

Question

Привет! Подскажите пожалуйста по терминологии. Есть функция bind с такой сигнатурой >>=

:: m a -> (a -> m b) -> m b.
1) как называется фукнция { (a -> m b) }? Континуация?
2) как называются оба аргумента bind если их рассматривать как одно целое, т.е. { m a, (a -> m b) }?

#haskell #programming #russian

0

02.10.2021

6 ответов

15 просмотров

Mikhail Kuzmin Автор вопроса

кана
1) обычно видел слово "продолжение" 2) думаю что н...

а «продолжение» и «стрелка Лейсли» это синонимы?

0

02.10.2021

Cheese Syrowiecki

Mikhail Kuzmin
а «продолжение» и «стрелка Лейсли» это синонимы?

продолжение — это вообще из другой оперы. продолжение — это что-то типа роли. когда функция по смыслу выдаёт х на выходе, но фактически принимает другую функцию-продолжение (х -> у) и пихает х в неё

0

02.10.2021

Cheese Syrowiecki

Cheese Syrowiecki
продолжение — это вообще из другой оперы. продолж...

ах да, забыл добавить в определение, что продолжение должно вызываться хвостом

0

02.10.2021

кана

Cheese Syrowiecki
ах да, забыл добавить в определение, что продолжен...

получается cont не про continuation

0

02.10.2021

Cheese Syrowiecki

кана
получается cont не про continuation

про них, modulo newtype. только сам Cont — это не продолжение, а продолжаемое вычисление

0

02.10.2021

кана · Accepted Answer

1) обычно видел слово "продолжение" 2) думаю что никак, bind это имхо несколько adhoc функция для упрощения использования (в то время как опять же имхо основная функция это join :: m (m a) -> m a, где bind получается из композиции map и join), не думаю что кто-то придумывал для них специальные слова

169 похожих чатов

Привет! Подскажите пожалуйста по терминологии. Есть функция bind с такой сигнатурой >>=

6 ответов

Похожие вопросы