AV
так удобно .Where(_.IsMine)
Size: a a a
2021 June 15
RM
kek
АВ
че серьезно андескор? тогда нужно ещё два, для бинарных функций типа умножения, чтоб жопы рисовать, как в скалке (_*_)
PD
Меня больше забавляет, что
type Foo = { Value: int }
fun _ -> _.Value : 'a -> Foo -> intVS
Все логично
VS
Не вижу, в чем тут прикол в выведенной сигнатуре
PD
Да. Если не рассматривать
_ как имяVS
Если человек сознательно дискарднул вывод типа
VS
Соответственно, в данной функции тип остался невыведенным
PD
Что, конечно, неправильно. Но просто выглядит немного необычно
VS
У второго параметра он тип смог вывести
VS
У первого - применений функции нет, поэтому информации о типе неоткуда взяться
RM
Я не оч понимаю откуда вобще взялась левая часть
PD
Дело в сопоставлении
fun x -> x.Value : Foo -> int
fun _ -> _.Value : 'a -> Foo -> int
RM
вот да
RM
почему тут
'a -> появляется?VS
Два дискарда
PD
Потому что первый _ это обычный дискард
fun _ -> 5 : 'a -> int
VS
Не распознаются как один тип