RM
Шлем сними и аппарат положи
Seq.map (fun _ -> _.Value)
Последнее преобразование мне логичным не кажетсяSize: a a a
2021 June 15
RM
ходють туть
I
неправильно
I
Seq.map (_.Value) по старому будет:Seq.map (fun x -> x.Value)PD
Суть в том, что в
Это можно поделить на два выражения:
fun _ -> _.Value левый и правый _ — это не одно и то жеЭто можно поделить на два выражения:
let e1 = fun _ -> A
иlet e2 = _.Value
, где в изначальном выражении A определена как e2
Тут не сложно определить типы для e1 и e2:val e1 : 'a -> TA (где TA это тип выражения A, а 'a это любой тип, потому что мы его задискардили)val e2 : Foo -> int
Ну и банальной подстановкой A на e2 получаем, что тип у изначального выражения был 'a -> (Foo -> int)PD
Это не одно и то же, как видишь
PD
Потому что ты не можешь обращаться к
_ в выраженииfun _ -> …