=
connection.Query<'Result>(query, param)
let mapParameterizedQuery<'Result> (query:string) (param : Map<string,_>) (connection:SqlConnection) : 'Result seq =
let expando = ExpandoObject()
let expandoDictionary = expando :> IDictionary<string,obj>
for paramValue in param do
expandoDictionary.Add(paramValue.Key, paramValue.Value :> obj)
connection |> parameterizedQuery query expando
При попытке передать в mapParameterizedQuery param Map<string,string> тайпчекер ругается что требуется Map<string,obj>
В чем прикол? Map<string,_> же подразумевает, что _ может быть любым типом, нет?
Мне казалось, что _ предлагает компилятору самому тип вывести.
нет, андерскор это типа вывод компилятором, а не дженерик
ага и как тогда быть если функция в одном модуле а использовать ее нужно в другом?
попробуй заменить paramValue.Value :> obj на box paramValue.Value
тогда укажи ему явно что это дженерик и он тебе скажет почему он думает что ты неправ
Обсуждают сегодня