Телеграмм чат группы Fsharp

Если ты про это

00:58пожаловаться #1

IdiocyAcceptance

Ну так же. Func<b, bool> newFunc = b => OldFunc(10, b)

А вот тут начинают играть роль эффекты.

00:58пожаловаться #2

Я под вечер плохо изъясняюсь.

00:59пожаловаться #3

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

01:00пожаловаться #4

Но есть разница между

let foobar a b = a + b

let foobar a = 
    printfn "Effect"
    fun b -> a + b

01:00пожаловаться #5

да, логично

01:00пожаловаться #6

Первая - некаррированная, вторая - да

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

Igor in F# Chat

IdiocyAcceptance

собственно тем же, чем и сейчас

немного не так пример написал, ну да ладно.
но тогда получается все c# делегаты будут казаться каррированными

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

Ну то есть первая - это настоящий Func<'a, 'a, 'a>, а вторая Func<'a, Func<'a, 'a>>

01:02пожаловаться #9

IdiocyAcceptance

Ну то есть первая - это настоящий Func<'a, 'a, 'a>, а вторая Func<'a, Func<'a, 'a>>

И их никак нельзя объединить, если использовать делегаты.

01:03пожаловаться #10

Хм, сложно, да

01:04пожаловаться #11

Вот, пример пожаловал и сразу стало понятно. Спасибо

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

Вместо тысячи слов, как говорится.

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

В фаршике там всегда проверки на InvokeFast идут перед вызовом в попытках избавиться от этого минуса

01:05пожаловаться #14

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

01:06пожаловаться #15

Хотя придумать сходу как объединить такие штуки у меня не получается

01:06пожаловаться #16

Было бы интересно посмотреть, насколько они дорогие.

01:06пожаловаться #17

Постараюсь завтра бенч накидать

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

@gsomix https://gist.github.com/En3Tho/71f0d636e8bc7d1d6e8abc59bebd4763

Gist

DelegatesVsFSharpFuncs.fs

GitHub Gist: instantly share code, notes, and snippets.

14:25пожаловаться #19