Size: a a a

2021 February 25

Lr

Larymar r.sorokin in F# Chat
Ayrat Hudaygulov
да, годный сахар. в фшарпе для этого же можно билдеры наплодить, но много бойлерплейта придется написать
хз в f# я видел это только в Avalonia.MAU там выглядит норм и без боллейр плейта
вопрос сколько крови пролили для этого результата
я не знаю
источник

I

IdiocyAcceptance in F# Chat
Собрание гольфистов
источник

K

Kir in F# Chat
Ayrat Hudaygulov
Foo(bar) {
 ...
}
foo bar <| fun aux =>
   ...
источник

EV

Eugene Vinakov in F# Chat
Вы ещё предложите  ключевое свое rec убрать, ну а чё по функции же видно что она рекурсивная))
источник

I

IdiocyAcceptance in F# Chat
Kir
foo bar <| fun aux =>
   ...
крышечка !
источник

AH

Ayrat Hudaygulov in F# Chat
Да, крышечку в стд либу надо!
источник

AH

Ayrat Hudaygulov in F# Chat
ибо доколе
источник

VS

Vasily Shapenko in F# Chat
Голосую за
источник

((

(fun () -> ()) in F# Chat
одно из + F# лаконичность, потому зачем писать больше если можно меньше
источник

EV

Eugene Vinakov in F# Chat
(fun () -> ())
одно из + F# лаконичность, потому зачем писать больше если можно меньше
Так можно и в agda скатиться, пипец как лаконично будет. Сплошная мат нотация
источник

((

(fun () -> ()) in F# Chat
то есть убрать fun это слишком коротко будет и ничего не понятно?
источник

K

Kir in F# Chat
(fun () -> ())
то есть убрать fun это слишком коротко будет и ничего не понятно?
Это будет требовать unlimited lookahead как от компилятора, так и от юзера. И, технически, лямбду можно использовать как foo bar fun => ..., если хорошенько перетрясти грамматику.
источник

((

(fun () -> ()) in F# Chat
Kir
Это будет требовать unlimited lookahead как от компилятора, так и от юзера. И, технически, лямбду можно использовать как foo bar fun => ..., если хорошенько перетрясти грамматику.
тогда заменить на что-то короче
источник

K

Kir in F# Chat
(fun () -> ())
тогда заменить на что-то короче
\
источник

((

(fun () -> ()) in F# Chat
как вариант
источник

K

Kir in F# Chat
Пошёл я проверять и выяснил, что в LR-грамматике за 10 минут я так и не смог придумать, как сделать lambda with unlimited right extent без ключевого слова в конце, которую можно передать в функцию.
источник

((

(fun () -> ()) in F# Chat
Kir
Пошёл я проверять и выяснил, что в LR-грамматике за 10 минут я так и не смог придумать, как сделать lambda with unlimited right extent без ключевого слова в конце, которую можно передать в функцию.
\t, лол
источник

AT

Anton Ternavsky in F# Chat
Для меня к примеру хуже чем fun, т.к. я интенсивно использую окраску цветом , в данном случае fun будет цвета ключевого слова языка, а тот же \ будет краситься как оператор, что не то.
источник

((

(fun () -> ()) in F# Chat
Anton Ternavsky
Для меня к примеру хуже чем fun, т.к. я интенсивно использую окраску цветом , в данном случае fun будет цвета ключевого слова языка, а тот же \ будет краситься как оператор, что не то.
та поколдуют с окраской, думаю несложно
источник

K

Kir in F# Chat
Хм, могу сделать вот так, но оператор будет прибит к грамматике
let x = \p ->
 let y = foo bar <| \s -> s;
 let z = y;
 z p;
x
источник