Http не работает)

Попробуй хмл Провайдер

@neftedollar https://giacomociti.github.io/FSharp.Data.Xsd/

XmlProvider тоже

Ок

@neftedollar https://giacomociti.github.io/FSharp.Data.Xsd/

Спасибо

@Dolfik Пакет установил? %)

М.б. ссылка на сборку не добавлена? ?

Лол

Установил из NuGet FSharp.Data, заработало :D

Интересное решение

Я думал он по дефолту идет -_-

@neftedollar https://giacomociti.github.io/FSharp.Data.Xsd/

Мб ты ещё и для Json schema знаешь? (Я до душа в Гугл не хожу))

Установил из NuGet FSharp.Data, заработало :D

Лол

@neftedollar Не знаю. :)

А в fable тайппровайднры работают? Я знаю что клиент для graphQL,вроде, является тайппровайдером и работает

@neftedollar Только совместимые с Fable.

А в fable тайппровайднры работают? Я знаю что клиент для graphQL,вроде, является тайппровайдером и работает

вроде как да. И не только графКуЭль, ещё и регуляри например https://www.npmjs.com/package/fable-providers-regex

@ZelAnton Пожалуйте.

вроде как да. И не только графКуЭль, ещё и регуляри например https://www.npmjs.com/package/fable-providers-regex

Прикольно

Привет

А вывод printf можно в файл сохранить?)

как вариант прост перенаправить вывод в файл или использовать sprintf и писать строчку напрямую в файл.

Мне нужно сохранить вывод printf если возникло исключение

let s = sprintf "%s" ex.Message File.AppendAllText("file.txt", s) как-то так?

или кто-то за тебя на консоль пишет этот эксепшен?

Ну вообще да, но это как-то не очень

Хотелось бы что-то типа Console.SetOut

@Dolfik Я не совсем понял, что тебе нужно. Но есть функция fprintf, которая в TextWriter пишет.

Мне наоборот кажется, что вот этот SetOut не очень. Выставляешь какую-то магическую статическую переменную, вместо того, чтобы делать напрямую.

Мне не нужно писать в файл всегда

Мне нужно писать в файл лог программы, если возникло исключение

Исключение я сам обрабатываю

@Dolfik С помощью fprintf ты можешь или в файл писать, или в консоль.

Зависит от того, какой TextWriter передаешь.

Крутотень!

FsCheck 2.9.0 is released with .NET Standard 1.6 support. https://github.com/fscheck/FsCheck/releases/tag/2.9.0

@fvnever По поводу собственных реализаций printf-like функций. https://github.com/vbfox/MasterOfFoo

А я смотрел этот репозиторий, и читал в нём огромный список ограничений :(

@fvnever А что бы ты хотел изменить? Компиляцию строки в PrintfFormat? Она захардкожена в компиляторе.

Да, это бы и хотел изменить.

@fvnever Это никакими хаками не изменить.

Перепишите!

Или ты знаешь больше?

Нет же, я не знаю других хаков, и поэтому состоянием PrintFormat и опечален. Пока что у нас нету таких хороших строковых интерполяторов, как в Scala, и на сегодняшнем F# их не сделать.

Без этого можно жить, но самые симпатичные (на мой взгляд) реализации ORM, типа ScalikeJDBC, для нас в полной мере не могут быть доступны.

@fvnever Почему?

В чем проблема?

@fvnever Это никакими хаками не изменить.

↑

Вот это и есть проблема.

Нет, Давай конкретный список проблем.

Все, что делает компилятор, преобразует строку в PrintfFormat согласно описанным правилам. Дальше мы что угодно можем делать.

@fvnever мне тоже интересно. Сформулируй список своих претензий к PriintfFormat

Жирафу можно на селф хост посадить?

Ок, вот он: - хочу синтаксис для строковой интерполяции, а-ля $"aaa {2+2}" ⇒ "aaa 4" - хочу пользовательские интерполяторы, а-ля sql$"select * from users where id = {x}" ⇒ Query("select * from users where id = @id", ["id", x])

@fvnever Почему мы не можем сделать аналог SсalikeJDBC без интерполяции?

На обычных printf-like функциях.

а что такое строковая интерполяция? вывод типа из строки или просто результат вычислений DSL ?

то, что ты написал, напоминает типичный кэйс для парсер-комбинаторов

а не для printf

то, что ты написал, напоминает типичный кэйс для парсер-комбинаторов

Заметь, у меня там во втором примере доступ к переменной x из окружения

Т.е. это должна быть именно фича компилятора.

@fvnever Почему мы не можем сделать аналог SсalikeJDBC без интерполяции?

Потому что у нас очень мало паттернов.

@fvnever Какие, например, нужны?

Нет же, я не знаю других хаков, и поэтому состоянием PrintFormat и опечален. Пока что у нас нету таких хороших строковых интерполяторов, как в Scala, и на сегодняшнем F# их не сделать.

Ой не надо, там это сделано через макросы, а они просто убивают тулинг - не надо такого в f#

Ну и представь, как это будет ужасно выглядеть: execute "select * from %t where %p and %p or %x = %z" "users" x y z w

ERROR: S client not available

Вообще не читается.

я в скале полный ноль, по субъективным впечатлениям это наверное худший ЯП. Но если макросы - тогда точно нафиг нафиг

(а композиция запросов — это важнейшая фича, в которой ScalikeJDBC рулит)

Жирафу можно на селф хост посадить?

Да

@fvnever Какие, например, нужны?

Нужны следующие паттерны: - sql-подзапрос - имя таблицы / алиас - параметр (будем их дальше типизировать или нет?)

Ну и представь, как это будет ужасно выглядеть: execute "select * from %t where %p and %p or %x = %z" "users" x y z w

У нас есть query и iqueriable это приятнее

В общем, я могу быть неправ, но мне кажется, что по-настоящему классную штуку из PrintFormat не собрать.

У нас есть query и iqueriable это приятнее

Очень сложно их композировать, вплоть до невозможности.

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

Очень сложно их композировать, вплоть до невозможности.

Как так? Я могу их один с другим использовать

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

Этотневвнгсимый ужас

SqlProvider умеет композицию запросов если что

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

У нас сейчас проект со строковыми запросами, и сборка запросов из кусочков строки это отвратительно и пнтипетарен по моему

У нас сейчас проект со строковыми запросами, и сборка запросов из кусочков строки это отвратительно и пнтипетарен по моему

Проблема-то в том, что нету проверок ни в компилтайме, ни в рантайме. Если проверки есть — тогда всё ок.

@gsomix слушай, я придумал! Давай на квотейшенах сделаем?

Проблема-то в том, что нету проверок ни в компилтайме, ни в рантайме. Если проверки есть — тогда всё ок.

тесты написать не можно разве?

@fvnever С этим к Вадлеру. :)

тесты написать не можно разве?

Это ты у Романа спроси :)

Проблема-то в том, что нету проверок ни в компилтайме, ни в рантайме. Если проверки есть — тогда всё ок.

У нас есть sqlProvider который из строки берет и делает запрос нормальный и проверки делает и даже смотрит в бд верно или не верно указаны строки

У нас есть sqlProvider который из строки берет и делает запрос нормальный и проверки делает и даже смотрит в бд верно или не верно указаны строки

Все запросы компилтаймовые, не композируется :(

@fvnever https://www.youtube.com/watch?v=DlBwJ4rvz5c

Тут проблема такая: люди хотят писать на SQL как на нормальном языке, перенося в коде кусочки запросов и композируя их по месту. Но, с другой стороны, склейка SQL-запросов в виде переменных — это неподдерживаемый ад.

Это ты у Романа спроси :)

я про то, что если SqlProvider где-то там не даёт стат. гарантий, не проблема же тестами покрыть

Все запросы компилтаймовые, не композируется :(

И чем это плохо? Насчёт композиции я не понял. Ты говоришь о "query from my query"?

И чем это плохо? Насчёт композиции я не понял. Ты говоришь о "query from my query"?

Я хочу несколько условий вынести, потому что они дофига комплексные, и использовать в нескольких запросах. Условные джойны хочу, условный order by.

@fvnever Ладно. Я еще подумаю, сейчас не успеваю за дискуссией.

Я хочу несколько условий вынести, потому что они дофига комплексные, и использовать в нескольких запросах. Условные джойны хочу, условный order by.

Ну так это делается с iqueryable оч хорошо.

Я хочу несколько условий вынести, потому что они дофига комплексные, и использовать в нескольких запросах. Условные джойны хочу, условный order by.

А если текст нужен, то iqueryable и в текстовый запрос превращаются

@fvnever Но видео посмотри как-нибудь. Там как раз про квотейшены и запросы.

Как в printf записать строку?

@Dolfik Поясни.