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

Size: a a a

F# Chat

1153 membersпожаловаться на группу

2021 May 28

Vladimir Shchur in F# Chat

только там не на уровень параллелизма, а на количество тредов

источник

23:20пожаловаться #1

Vladimir Shchur in F# Chat

где-то в 4.7 появилось

источник

23:20пожаловаться #2

Ayrat Hudaygulov in F# Chat

Починили давно

источник

23:30пожаловаться #3

Vladimir Shchur in F# Chat

:( всё время забываю

источник

23:31пожаловаться #4

2021 May 29

Igor in F# Chat

Как думает, здесь нужен inline?

module Result =
  let inline fold fOk fError = function
    | Ok x -> fOk x
    | Error e -> fError e

источник

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

Vasily Shapenko in F# Chat

Да

источник

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

Vasily Shapenko in F# Chat

Иначе типы выведет по первому применению

источник

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

Kir in F# Chat

Так, стоп, а в фарше let-биндинги не генерализуются, что ли?

источник

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

Vasily Shapenko in F# Chat

Генерализации нет

источник

00:37пожаловаться #9

Kir in F# Chat

Так, а если явно указать, с 'a, 'b?

источник

00:38пожаловаться #10

Vasily Shapenko in F# Chat

А если явно указать , то норм

источник

00:38пожаловаться #11

Vasily Shapenko in F# Chat

Но надо проверять

источник

00:38пожаловаться #12

Vasily Shapenko in F# Chat

Там куча нюансов

источник

00:38пожаловаться #13

Kir in F# Chat

Отсутствие генерализации у let это поминки, конечно

источник

00:39пожаловаться #14

Vasily Shapenko in F# Chat

Зато однопроходный вывод типов

источник

00:41пожаловаться #15

Vasily Shapenko in F# Chat

Ну и непонятно, почему поминки

источник

00:41пожаловаться #16

Vasily Shapenko in F# Chat

Фшарп вполне себе прекрасный инструмент для написания продакшн кода

источник

00:41пожаловаться #17

Kir in F# Chat

> type Either<'a, 'b> = Left of 'a | Right of 'b
- 
- ;;
type Either<'a,'b> =
  | Left of 'a
  | Right of 'b

> ;;                                            
> let fold f g = function Left a -> f a | Right b -> g b
- ;;
val fold : f:('a -> 'b) -> g:('c -> 'b) -> _arg1:Either<'a,'c> -> 'b

В репле выводит

источник

00:45пожаловаться #18

Igor in F# Chat

Вот я тоже не понял, inline тут не влияет на вывод типов

источник

00:46пожаловаться #19

Igor in F# Chat

Думал может "перформанса добавит", за счет явного инлайнинга

источник

00:46пожаловаться #20