Привет! o/

F# не шарю, но интереса ради зашел)

А есть ещё какие-нибудь F# тусовки, где можно вопрос задать?

stackoverlow

А есть ещё какие-нибудь F# тусовки, где можно вопрос задать?

Два чата в слэке.

А есть ещё какие-нибудь F# тусовки, где можно вопрос задать?

Что у тебя за вопрос?

Что у тебя за вопрос?

Выше

Вот

Выше

Я не понял, в чем вопрос. Что ты хочешь сделать?

http://bugsquash.blogspot.ru/2010/07/abusing-printfformat-in-f.html

Вот ты кидал, помнишь?

Да.

Я хочу сделать вместо такого: let sqlProcessor (sql: string, values: obj list) : IDataReader = так: let sqlProcessor<'a> (sql: string, values: obj list) : 'a =

Но не прокатывает

Но не прокатывает

Какая ошибка?

И давай сюда код!

https://gist.github.com/Dolfik1/7723bdac378968e66982f4eeaa8109c1

На test2 ругается так: This expression was expected to have type 'int' but here has type 'string'

Если местами меняю test1/test2, то ругается на test1 так: This expression was expected to have type 'string' but here has type 'int'

И так: The type 'string' is not compatible with any of the types byte,int16,int32,int64,sbyte,uint16,uint32,uint64,nativeint,unativeint, arising from the use of a printf-style format string

Если убираю 'x, и возвращаю, например, obj, то всё ок

Секунду.

None действительно преобразуется в null при компиляции, для более простого и понятного интеропа.

Есть неприятная особенность у F#, что в "переменной" типа (SomeType option) может оказаться нулл и это надо проверять отдельно, то есть матчинг с Ноне не сработает. У меня такое было при десериализации с помощью newtonsoft

@Dolfik Интересная задачка, сейчас разберемся. Я только контактную линзу починю.

Ну как бы логично, если внешние данные, то может и null быть

@Dolfik А ты хочешь прямо sqlQueryf<type>?

Ну да

А какое предложение?

Если я правильно понимаю, то у тебя не получится так сделать. Или тебе нужно указывать все типы в треугольных скобках, или указывать тип выходного значения.

Нельзя сделать функцию с одним генерик параметром и ожидать, что остальные тоже буду генерик. :)

Предложение такое.

let test1 : SqlQuery<obj> = sqlQueryf "test %i" 42 let test2 : SqlQuery<obj> = sqlQueryf "test %s" "42"

Чёт как-то не очень

Давай думать дальше.

Я вот не совсем пойму причину

Причина простая.

sqlQueryf — это функция от четырех генерик параметров.

Ты ее делаешь насильно sqlQuery<'x>, остальные параметры компилятор выводит раз и навсегда при первом вызове.

По идее можно так сделать: let t = sql<int> (queryf "test %i" 42)

Но как-то мне кажется не очень

Но как-то мне кажется не очень

Мне тоже так кажется. А вот явный тип результата — ок!

Хм

Можно наверное как-то так сделать: sqlQeuryf "test %i" 42 |> executeSingle<int>

Ибо у меня там всё равно вызов executeSingle обязателен

Ибо у меня там всё равно вызов executeSingle обязателен

Да, это сработает.

@Dolfik Просто сноси тогда свои явные генерик параметры, дай поработать компилятору. :)

Щас попробую

Во, магия: let dbPerson: Person = sqlQueryf "select * from Persons where Id = %i" person.Id |> executeSingle

Во, магия: let dbPerson: Person = sqlQueryf "select * from Persons where Id = %i" person.Id |> executeSingle

Да, Type Inference is Magic.

А что за функция sqlqueryf?

А что за функция sqlqueryf?

Это я свою библиотеку запилил, для работы с БД

Есть неприятная особенность у F#, что в "переменной" типа (SomeType option) может оказаться нулл и это надо проверять отдельно, то есть матчинг с Ноне не сработает. У меня такое было при десериализации с помощью newtonsoft

Быть того не может!

А, или тебе там подсунули Some null?

Чёт я не могу понять, как в .Net Core сделать один NuGet пакет из двух проектов

А оно само не делает?

Ну, типа, один проект в другом референсишь — и вуаля? Не работает?

Оно делает, но не пакует в один пакет, а ссылается на другой пакет

Типа есть два проекта, Natty и Natty.Mapper, если делаю dotnet pack в Netty, то при загрузке его в nuget, он показывает в референсах Natty.Mapper

https://www.nuget.org/packages/Natty/

Вот нашёл issue: https://github.com/NuGet/Home/issues/3891#issuecomment-314894580

Ссылка на коммент, вот я так пробовал, он запаковал Natty.Mapper.dll в пакет, но всё равно в нугете ссылается на него

@Dolfik https://github.com/rspeele/rezoom.sql

@Dolfik https://github.com/rspeele/rezoom.sql

Прикольная штука, но под кором не работает

Прикольная штука, но под кором не работает

Да. Но я думаю, мы дождемся провайдеров под корос когда-нибудь. :)

Библиотека, вместе с Rezoom, выглядит толково. И документация отличная!

У Sql Provider есть косяки с определением типов, не знаю как у этой

У Sql Provider есть косяки с определением типов, не знаю как у этой

https://rspeele.gitbooks.io/rezoom-sql/doc/Language/DataTypes.html

https://rspeele.gitbooks.io/rezoom-sql/doc/Language/DataTypes.html

А он кроме sqlite и mssql не поддерживает ничего?

Не видел нигде упоминания других БД

А он кроме sqlite и mssql не поддерживает ничего?

PostgreSQL еще.

Хммм... rezoom смотрится неплохо

Подскажите пожалуйста, как в F# нормально переносить длинные выражения на несколько строчек?

Например, есть вот такое выражение:

let mapping = dict [ for data in xml.Elements (xn "data") -> data.Attribute(xn "name").Value, data.Element(xn "value").Value ]

Я перенес так: let mapping = dict [ for data in xml.Elements (xn "data") -> data.Attribute(xn "name").Value, data.Element(xn "value").Value ]На for компилятор кидает предупреждение - possibly incorrect indentation

Я перенес так: let mapping = dict [ for data in xml.Elements (xn "data") -> data.Attribute(xn "name").Value, data.Element(xn "value").Value ]На for компилятор кидает предупреждение - possibly incorrect indentation

Я обычно так делаю: let mapping = dict [ ...

ну а дальше?

Привет. o/

let mapping = dict [ for data in xml.Elements (xn "data") -> data.Attribute(xn "name").Value, data.Element(xn "value").Value ]

Как-то так

Класс, ругаться перестал, и вроде даже примерно понял, почему так стало работать

Так вроде не прокатит, но можешь попробовать: let mapping = dict [ for ...

let mapping = dict [ for data in xml.Elements (xn "data") -> data.Attribute(xn "name").Value, data.Element(xn "value").Value ]

Кодстайл нарушаешь. for должен начинаться на той же строке, что и [.

А можно так сделать: let mapping = dict [ xml.Elements (xn "data") |> Seq.map (fun f -> f.Attribute(xn "name").Value, f.Element(xn "value").Value ]

Кодстайл нарушаешь. for должен начинаться на той же строке, что и [.

Типа так? let mapping = dict [ for ...

let mapping=xml.Elements (xn "data")|>Seq.map(fun x-?x.Attribute(xn "name").Value,x.Element(xn "value").Value)|>dict

Типа так? let mapping = dict [ for ...

Да.

Тьфу

А можно так сделать: let mapping = dict [ xml.Elements (xn "data") |> Seq.map (fun f -> f.Attribute(xn "name").Value, f.Element(xn "value").Value ]

Лучше for. :)

Да.

Но тогда отступы получаются громадные

let mapping=xml.Elements (xn "data")|>Seq.map(fun x->(x.Attribute(xn "name").Value,x.Element(xn "value").Value)|>dict

let mapping=xml.Elements (xn "data")|>Seq.map(fun x->(x.Attribute(xn "name").Value,x.Element(xn "value").Value)|>dict

Кстати тоже хороший вариант, спасибо

Если кому интересно, кстати, рекомендуемый кодстайл. https://github.com/dungpa/fantomas/blob/master/docs/FormattingConventions.md

@gsomix а разной длины отступы это по кодстайлу?

@gsomix а разной длины отступы это по кодстайлу?

Там не указано.