Они вроде отказались от рефлексии и quotations в тайп провайдерах

re-architect the fundamental F# compiler API used by type providers to no longer use any F# quotations or any extensible reflection (inheriting from Type/MethodInfo/FieldInfo/... types). While this would be architecturally cleaner and more independent in many ways, it is also a big undertaking, and would require significant corresponding changes to the ProvidedTypes programming model for authoring type providers. This model uses extensible reflection in many places, e.g. here and here

про F# вот что интересно и показательно. Взять типичную область применения net (виндовз десктоп WF, WPF, asp net mvc 4) и показать на примере реального энтерпрайзного проекта на C# и F#, какие профиты даёт F#, что код короче и понятнее получается

Такой когда-нибудь будет, но в формате DotNext не хочу делать еще один Intro доклад, хочется хардкору. Потому и провайдеры типов, собственно - там много вкусных технических деталей. А такой я рано или поздно сделаю на митапе SPB .NET Community

@Dolfik Кто отказался?

https://github.com/Microsoft/visualfsharp/issues/1496#issuecomment-244315047

Ну писать имена переменных в F# через snake_case такое себе дело

если апи серверка snake_case, то делать F# типы с полями camelCase или чем-то подобным, и потом в ручную ковертить их в snake_case - это совсем не дело имхо.

Оп, упру эти проблемки в доклад про провайдеры типов ?

@Dolfik Это просто обсуждение возможных вариантов.

@Dolfik Это просто обсуждение возможных вариантов.

А, блин, я идиот

Он имеет ввиду мы можем типа либо ждать 2.0, либо перепилить без использования этой дичи

Да.

Но с другой стороны, типа получится круче и чище :)

Или не получится. Для этого нужны руки, а их нет. :)

Или не получится. Для этого нужны руки, а их нет. :)

Руки есть всегда, просто некоторые руки слишком ленивы)

Вон @neftedollar предлагал вчера тайп провайдеры под кор портировать)

Код интересный. fparsec, вот это вот все...

Оп, упру эти проблемки в доклад про провайдеры типов ?

https://github.com/jet/JsonSchemaProvider вот недоделанный и как мне кажется полезный тайппровайдер.

https://github.com/jet/JsonSchemaProvider вот недоделанный и как мне кажется полезный тайппровайдер.

Принял, тоже поюзаю, спасибо

https://github.com/jet/JsonSchemaProvider вот недоделанный и как мне кажется полезный тайппровайдер.

Но под Mono пофиксил issue :)

https://github.com/jet/JsonSchemaProvider вот недоделанный и как мне кажется полезный тайппровайдер.

Да, полезный, с mutable

Принял, тоже поюзаю, спасибо

Еще выше писали про BSONTypeProvider , как мне кажется монго очень хорошая аналитическая бд, если бы можно было по jsonSchema верифицировать BSON, то возможно было бы можно опрашивать монгу, есть мысли на этот счет?

Еще выше писали про BSONTypeProvider , как мне кажется монго очень хорошая аналитическая бд, если бы можно было по jsonSchema верифицировать BSON, то возможно было бы можно опрашивать монгу, есть мысли на этот счет?

Я достаточно мало работал с монгой, так что вот сейчас ничего особо интересного не скажу. Но поковыряюсь

Еще выше писали про BSONTypeProvider , как мне кажется монго очень хорошая аналитическая бд, если бы можно было по jsonSchema верифицировать BSON, то возможно было бы можно опрашивать монгу, есть мысли на этот счет?

Еще интеренсо, что Монга ипользует js, а у нас по счастливому стечению обстоятельств есть fable, скоро закроют issue который позволит генерировать js без webpack бойлерплейт-кода и тогда ему пряма дорога в типизированный map reduce на монге)

Хммм... читаю тут код SqlCommandProvider

Звучит как интересное демо! Посмотрю

Они очень прикольно валидируют набор параметров

Через хранимку

Через хранимку

а можешь дать ссылку на хранимку?

sys.sp_describe_undeclared_parameters

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

А для остального у них TSqlParser

@nevoroman Вот бы кто PythonProvider оживил. :) https://github.com/fsprojects/FSharp.Interop.PythonProvider

@nevoroman Вот бы кто PythonProvider оживил. :) https://github.com/fsprojects/FSharp.Interop.PythonProvider

о, да! Это же волшебная вещь

Оживи, я в питоне ничего не понимаю :)

Собственно, я им сейчас и занимаюсь :)

Собственно, я им сейчас и занимаюсь :)

Ура!

А в соль питон провайдера?

Я бы за Json провайдер был благодарен)

А в соль питон провайдера?

ну вот поставил ты tensorflow и скормил ей свои данные из fsharp)

А вот TSqlParser штука интересная.

В миллионе питоновских ds либ?

Все то же самое, что и с R провайдером

Собственно, я им сейчас и занимаюсь :)

В публичной части интеренета?

Пока что "занимаюсь" заключается в том, что я ковыряю уже имеющееся

На выходных только начал

На выходных только начал

понял.

Но как займусь развитием - буду коммитить в уже имеющийся репозиторий. Ну или форкну

Я бы за Json провайдер был благодарен)

Так можно по идее в FSharp.Data который допилить до мутабельности

Так можно по идее в FSharp.Data который допилить до мутабельности

Так его в Core нет

Ну пока нет, как я понимаю

@nevoroman вот да, интересно было бы наладить мост между монгой и F# через тайп провайдер. Выше я кидал. Оно как-бы близко к монге, но нет коннекшена и т.д. http://visemet.github.io/FSharp.Data.Bson/library/BsonProvider.html

@neftedollar интересная мысль по поводу js, fable и mongoDB. Стоит задуматься об этом.

А, ну и да. Интересно послушать про то, как эти првайдеры работают, с чем их едят и как написать свой.

@nevoroman Я смотрел твой доклад и такой "Эээ, ок, тайп провайдер это круто, очень круто... Но как оно вообще работает 0_о. Как ему удаётся делать эти типы налету."

А, ну и да. Интересно послушать про то, как эти првайдеры работают, с чем их едят и как написать свой.

Ну примерно про это и планируется доклад. А с отдельными провайдерами планирую поковыряться для добавления практичности кейсам, да и вообще более глубокого погружения в проблему. В том докладе да, так оно и вышло. Потому что объяснять механику работы можно либо быстро и тогда все равно непонятно, либо долго и тогда в тайминг не влезает, плюс грузит. Так что в общеобзорном докладе обошёлся описанием в формате "пуф, и магия!"

@nevoroman угу, понимаю, время. Сам недавно в универе на докладе по .net evolution был. Дали всего 10 минут, успел только до 4.5 расказать и в безумно сокращенной форме. =(

А тайппровайдеры могут не генририровать типы, а генерировать только ф-ции? Например хочу сделать тайппровайдер из LaTeX формул в исполняемые F# ф-ции, такое возможно?

О, а это интересно! Нарисовал формул, и используешь в коде. Удобно!

А тайппровайдеры могут не генририровать типы, а генерировать только ф-ции? Например хочу сделать тайппровайдер из LaTeX формул в исполняемые F# ф-ции, такое возможно?

Хотя тут похоже на обычное отображение

Ух. Пока не знаю, но скоро разберусь. Займешься - опенсорсь и зови помогать, полезная штука выйдет.

Хотя тут похоже на обычное отображение

Спарсил формулу и сопоставил что значок \sum это #Seq.sum

Спарсил формулу и сопоставил что значок \sum это #Seq.sum

Не проще ли на Expr сделать тогда + fparsec?

Не проще ли на Expr сделать тогда + fparsec?

Да-да я об этом же

стоооп, что-то с latex помню @fvnever делал.

там что-то связано с wpf и LaTeX было

Может он что подкинет из своих наработок на эту тему.

Там скорее задача отображения

@neftedollar Ты можешь генерировать типы с методами.

@neftedollar Ты можешь генерировать типы с методами.

Да. Я тоже об этом подумал.

@nevoroman тут подсказывают ещё про olap кубы. Вернусь к компу посмотрю есть ли уже такие тайппровайдеры

@nevoroman тут подсказывают ещё про olap кубы. Вернусь к компу посмотрю есть ли уже такие тайппровайдеры

не нашел mdx и olap тайппровайдеров.

Угу, записал

Есть еще извращения типа OdataProvider, но он неюзабелен

Т.к. не поддерживает аутентификацию

@neftedollar Внутри методов можно составлять любые выражения с помощью Expr.

Не очень приятная работа.

Не очень приятная работа.

ну что поделать?)

А тайп провайдеры это магия фшарп компилятора онли?

В сишарпе нет такого?

Нет, в с# нет. Ближайший аналог, по идее - t4

Т.е. кодогенерация

@Dolfik с языка стащил :D

А есть тайпПровайдеры в хаскеле и скалле ?

А тайппровайдеры могут не генририровать типы, а генерировать только ф-ции? Например хочу сделать тайппровайдер из LaTeX формул в исполняемые F# ф-ции, такое возможно?

У нас там, вон, валяется парсер LaTeX на сишарпе. Хотим его прикрутить к wpf-math когда-нибудь: https://github.com/ForNeVeR/mathtexdotnet

@the_RAMZAY Есть прототипы. Но в скале и хаскеле есть вещи покруче — макросы.

А, ну и, если кто не видел, wpf-math: https://github.com/ForNeVeR/wpf-math (LaTeX-формулы рендерит в WPF)

А, ну и, если кто не видел, wpf-math: https://github.com/ForNeVeR/wpf-math (LaTeX-формулы рендерит в WPF)

круто!

@gsomix круче? Куда уж круче уже? Оно ещё кофе готовить умеет с круасанами ?

@fvnever Ты хотел сказать, парсер LaTeX на F#.

@fvnever Ты хотел сказать, парсер LaTeX на F#.

Предлагаешь переписать?

@fvnever Предлагаю поправить сообщение. :)

А можно как-то использовать переменные окружения при импоритирование библиотек через #r?

@fvnever Предлагаю поправить сообщение. :)

А код кто поправит?

@fvnever Или там только тесты?

Там только прослойка на F#. Алекс ещё в 2010 году был уже Ъ и педалил на F#, когда я ещё в детский сад ходил :)

@fvnever кстати, а что по поводу игры? Как оно вообще пишется то ? А то я не малейшего представление - как с этим работать =)

@fvnever кстати, а что по поводу игры? Как оно вообще пишется то ? А то я не малейшего представление - как с этим работать =)

игры?