PD
Там один дискард
Size: a a a
2021 June 15
PD
А второй _ — это новый синтаксис
VS
Мда
RM
это странно
`
должно быть
`
ну или хотя бы
`
fun _ -> _.Value`должно быть
`
Foo -> int`ну или хотя бы
'a -> intVS
Не
VS
_ не является именем
RM
но является 'a
RM
ок
VS
Поэтому он предполагает, что это 'a->Foo
RM
аа
VS
Foo из второй части он выводит
VS
Но там тоже можно проебаться
RM
типа что вместо _ передается какая-то проекция из 'a в Foo, а потмоу уже из Foo берется инт?
VS
если написать type Boo = {Value:int}
VS
Да
VS
Т.к. нет достаточной информации о выводе типа
RM
пнятно
RM
потому что 'a -> Foo более общий чем Foo
RM
по его логике
I
Ты это как скомпилил?)