@DarkByte2016 Плохо употреблять слова, когда не знаешь их значения.

ну поэтому я и хочу узнать))

учу ФП потихоньку

так все-таки как бы вы оптимизировали приведенный выше код?

Не касаясь вопросов осмысленности, приблизительный эквивалент: open System.Text.RegularExpressions let search pattern input = pattern |> Option.bind (fun pattern -> input |> Option.map (fun input -> Regex.Match(input, pattern))) |> Option.filter (fun p -> p.Success) let removeUrlParams url = let remove str = str |> Seq.tryFindIndexBack ((=) '?') |> Option.map (fun index -> str |> Seq.take index |> Array.ofSeq |> System.String) url |> Option.bind remove

в одночасье в него не въедешь

@DarkByte2016 Вон, посмотри код @Kleidemos. И обрати внимание на функцию bind.

Это одна из тех вещей, которая делает монаду монадой.

в одночасье в него не въедешь

Да легко, главное нагуглить статьи почему IEnumerable это монада, а SelectMany это bind и на знакомых типах можно разобраться

Да легко, главное нагуглить статьи почему IEnumerable это монада, а SelectMany это bind и на знакомых типах можно разобраться

да я уже читал что-то подобное, но как-то не въехал

ну поэтому я и хочу узнать))

Имхо всех кто хочет понять монады, надо заставлять учить хаскель (по урокам Bartosz), а может еще по теор. катег. прогнать.

Но зачем?

Что в них такого, для чего нужен хаскель и теория категорий?

мне дотнет ближе, поэтому я решил начать с фишарпа

Но зачем?

Иначе они сути то не поймут и лучше они вообще не будут употреблять “слов которые не понимают”. Да и там не только pure/bind (fmap), там еще законы есть, которые нельзя выразить на системе типов.

Я не претендую на какое-то глубокое понимание монад.

Но я просто пролистал статью на википедии.

Evan Czaplicki вон вообще в докладе рассказывает, что вместо "монад" лучше всем говорить про "коллбеки". Ну, то есть, нет здесь никакого рокетсаенса.

Если вы не занимаетесь этим как математик или computer scientist.

Иначе они сути то не поймут и лучше они вообще не будут употреблять “слов которые не понимают”. Да и там не только pure/bind (fmap), там еще законы есть, которые нельзя выразить на системе типов.

По сути весь этот матан на хер не нужен тем более для F#, и всё применение ТК в программировании легко объяснить на пальцах. Я выше скидывал ссылку на видео автора сайта F# for fun and profit (не помню имя). он там даёт более чем исчерпывающее объяснение

Evan Czaplicki вон вообще в докладе рассказывает, что вместо "монад" лучше всем говорить про "коллбеки". Ну, то есть, нет здесь никакого рокетсаенса.

ага, у него bind называется andThen, что дополнителную путаницу вносит

Любой чатик по фп преваращется в разговор о монадах. ))

Краеугольный камень!

Evan Czaplicki вон вообще в докладе рассказывает, что вместо "монад" лучше всем говорить про "коллбеки". Ну, то есть, нет здесь никакого рокетсаенса.

Кто-то это называет “computation builder”, но это все монады “с попкорном и колой” для понимания людьми без… спец. знаний Смогут ли эти люди написать свою монаду или понять что методы pure и bind не делают автоматически что-то монададой, вопрос открытый (да и фиг с ним, что-то вообще не в тему чата)

Любой чатик по фп преваращется в разговор о монадах. ))

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

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

Да я не против просто констатирую

Кто-то это называет “computation builder”, но это все монады “с попкорном и колой” для понимания людьми без… спец. знаний Смогут ли эти люди написать свою монаду или понять что методы pure и bind не делают автоматически что-то монададой, вопрос открытый (да и фиг с ним, что-то вообще не в тему чата)

какие же такие спец. знания нужны чтобы понять монады?

Любой чатик по фп преваращется в разговор о монадах. ))

Это некоторые люди его превращают (я конечно повелся), а адекваты просто пишут код

Бессмысленно кого то заставлять учить F# монады и все такое

Максимально эффективно разработчики могут усвоить что то только тогда когда они на практических примерах увидят преимущества

вот как объяснить преимущества SOLID ? джуны не знают солид и когда объясняешь его преимущества видят только то что код сильно усложняется

Бессмысленно кого то заставлять учить F# монады и все такое

Никто никого не заставляет. Мне просто интересно выучить ФП.

Максимально эффективно разработчики могут усвоить что то только тогда когда они на практических примерах увидят преимущества

Преимущества разгадывания ребусов-однострочников)

Монады полезны когда ты понимаешь их силу. Мне кажется что изучать лучше всего монады начав с моноидов и потом поняв переход от моноида к монаде. Самый простой способ понять переход это описать int как генерик класс type IntG<'a> = IntG of int * 'a описать bint и return и потом подставить туда unit и выразить mzero mappend. И начинать надо со свободных моноидов и монад. Но это имхо.

моноиды?

@Worldbeater А спорим, как обычно, об образовательных моментах. Как учить, как объяснять. Иногда это бывает полезно.

ERROR: S client not available

По умолчанию мы рады любым вопросам, и всем путникам, включая новичков, если они адекватно себя ведут. :)

По умолчанию мы рады любым вопросам, и всем путникам, включая новичков, если они адекватно себя ведут. :)

Любым? Какая температура сейчас на Марсе не подскажешь? Хотел на выходных слетать позагарать. ?

@DarkByte2016 Это оффтоп.

чет я никак не пойму что делает эта функция bind?

@angmarr @fvnever @neftedollar Vasily ^ Что думаете по этому поводу?

Так что вот этот чат и есть для новичков. Здесь любые вопросы, связанные с F#, я предлагаю приветствовать.

»> я предлагаю приветствовать. отправлять в гугл считается приветствием?)

чет я никак не пойму что делает эта функция bind?

Короче, смотришь сигнатуру, долго и усиленно думаешь, и понимаешь. Объяснить это понятным языком другому человеку крайне сложно.

:)))

Скорее гугол!

Тут в Kotlin чате с ~500 хотели сделать для новичком, но большинство оказалось против и решили подождать хотя бы до 1k. Может и нам подождать, пока народ наберется))

Да при чём гугол? вопрос нормальный для своего уровня занний и описание Option.bind вообще никакого ответа на него не даёт. Чтобы на него ответить, нужно опять таки про монады рассказать, но у нас тут действительно слегка другая тема, большинству это не интересно (мне например)

чет ваще никак... я еще понял что мап делает, но вот бинд это что-то уже за гранью...

Будут ли в чате для новичков не новички сидеть и кто тогда будет объяснять новичкам если там только новички будут.

ну я бы объяснил

https://fsharpforfunandprofit.com/posts/computation-expressions-bind/