Доброго вечера! Пишу библиотеку для работы с API VK, с полным покрытием всех методов, на тасках (https://github.com/Worldbeater/VkLibrary). Но в методах библиотеки сидит множество Nullable аргументов по умолчанию из C#, в связи с этим из F# очевидно обратиться к какому-либо методу можно только так: lib.Friends.Get (ownerId=Nullable 1, count=Nullable 2), а это как-то не очень-то функционально, да ещё лишние нуллаблы. Думаю написать для удобства использования с F# дополнительно обёртку к либе, с каррированными клонами методов C#. Какие ещё фичи можете посоветовать добавить, чтобы было удобно ей пользоваться разработчикам и лично вам? Нужен мудрый совет наставника из мира ФП :)

сделай dsl типа get friend { ownerId 1 count 2} ?

сделай dsl типа get friend { ownerId 1 count 2} ?

Здесь к сожалению можно аргумент указать несколько раз

Здесь к сожалению можно аргумент указать несколько раз

не понял

И нельзя сделать обязательный аргумент

get friend { ownerId 1 ownerId 2 ownerId n

часто внутри ownerId меняет состояние какого-нибудь дефолтного объекта запроса.

get friend { ownerId 1 ownerId 2 ownerId n

а тут очевидно последний вариант будет выбран

а тут очевидно последний вариант будет выбран

Но это не очень

И ещё автодополнение не подскажет

Доброго вечера! Пишу библиотеку для работы с API VK, с полным покрытием всех методов, на тасках (https://github.com/Worldbeater/VkLibrary). Но в методах библиотеки сидит множество Nullable аргументов по умолчанию из C#, в связи с этим из F# очевидно обратиться к какому-либо методу можно только так: lib.Friends.Get (ownerId=Nullable 1, count=Nullable 2), а это как-то не очень-то функционально, да ещё лишние нуллаблы. Думаю написать для удобства использования с F# дополнительно обёртку к либе, с каррированными клонами методов C#. Какие ещё фичи можете посоветовать добавить, чтобы было удобно ей пользоваться разработчикам и лично вам? Нужен мудрый совет наставника из мира ФП :)

Я для себя более менее оптимальный вариант нашёл в статик методах и необязательных параметрах

Хотя это не функционально

Хотя это не функционально

зато F#-но

Я до сих пор с этим не могу смириться, постоянно ищу альтернативу

И плачу по ночам

И плачу по ночам

бедный

?

Если мне что-то не нравится, мне это не даёт покоя :)

@neftedollar https://github.com/kjnilsson/fez

Доброго вечера! Пишу библиотеку для работы с API VK, с полным покрытием всех методов, на тасках (https://github.com/Worldbeater/VkLibrary). Но в методах библиотеки сидит множество Nullable аргументов по умолчанию из C#, в связи с этим из F# очевидно обратиться к какому-либо методу можно только так: lib.Friends.Get (ownerId=Nullable 1, count=Nullable 2), а это как-то не очень-то функционально, да ещё лишние нуллаблы. Думаю написать для удобства использования с F# дополнительно обёртку к либе, с каррированными клонами методов C#. Какие ещё фичи можете посоветовать добавить, чтобы было удобно ей пользоваться разработчикам и лично вам? Нужен мудрый совет наставника из мира ФП :)

1) а смысл юзать какую-то непонятную либу с 10 звездами для vk, если - обычный rest api с жсоном черех хттп? избыточный слой же 2) что плохого в Nullable 1 и в каком месте это не функционально и что предполагаемому пользователю даёт карирование? я в курсе что в f# в место nullable есть option. но блин переписывать из-за nullable существующий код...

1) а смысл юзать какую-то непонятную либу с 10 звездами для vk, если - обычный rest api с жсоном черех хттп? избыточный слой же 2) что плохого в Nullable 1 и в каком месте это не функционально и что предполагаемому пользователю даёт карирование? я в курсе что в f# в место nullable есть option. но блин переписывать из-за nullable существующий код...

Это не удобно

Он же написал, что множество таких аргументов

Вот пример, jsonTestMessage ужасен: https://github.com/Dolfik1/Funogram/blob/master/Funogram.Tests/Constants.fs

> dsyme > I would be interested in helping trial F# [CNTK] support. Either that or I would use work on TensorFlow + F# :)

а что такое trial F# ?

Суд над F#.

*trial == пробный

1) а смысл юзать какую-то непонятную либу с 10 звездами для vk, если - обычный rest api с жсоном черех хттп? избыточный слой же 2) что плохого в Nullable 1 и в каком месте это не функционально и что предполагаемому пользователю даёт карирование? я в курсе что в f# в место nullable есть option. но блин переписывать из-за nullable существующий код...

1) чтобы не тратить время на поиск курение доков, написание своих костылей и генерацию типов из жсонов (порядка 300 штук, хотя тут для C# проблема стоит более остро, чем для F#).

Вот пример, jsonTestMessage ужасен: https://github.com/Dolfik1/Funogram/blob/master/Funogram.Tests/Constants.fs

Не понял твою мысль. Для C#-ных классов, на которых построена та либа, нет проблемы с созданием объекта со значением по умолчанию. Поля nullable можно не указывать, и они будут null.

@neftedollar https://github.com/kjnilsson/fez

?

1) а смысл юзать какую-то непонятную либу с 10 звездами для vk, если - обычный rest api с жсоном черех хттп? избыточный слой же 2) что плохого в Nullable 1 и в каком месте это не функционально и что предполагаемому пользователю даёт карирование? я в курсе что в f# в место nullable есть option. но блин переписывать из-за nullable существующий код...

Опять ты наезжаешь по надуманному поводу. Хочет либу пишет. А мы тут чтоб помогать.

Опять ты наезжаешь по надуманному поводу. Хочет либу пишет. А мы тут чтоб помогать.

не наезжаю, а уточняю

> dsyme > I would be interested in helping trial F# [CNTK] support. Either that or I would use work on TensorFlow + F# :)

А это где?

Опять ты наезжаешь по надуманному поводу. Хочет либу пишет. А мы тут чтоб помогать.

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

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

Наверное.

А по поводу либы @Dolfik -человек растет в процессе ее написания,и это очень круто

А это где?

https://github.com/Microsoft/CNTK/issues/960#issuecomment-306973463

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

Ну и для методов с однозначным выбором нет смысла использовать биллеры

*билдеры

@neftedollar Мне кажется маловероятным, что в CNTK появится полноценная поддержка дотнета. В соседнем issue они даже думают прекратить поддержку BrainScript в пользу Python и C++.

1) чтобы не тратить время на поиск курение доков, написание своих костылей и генерацию типов из жсонов (порядка 300 штук, хотя тут для C# проблема стоит более остро, чем для F#).

1) чтобы работать с апи вк, тебе всё равно придётся изучать на него документацию чтобы понять, что вообще с ним можно сделать 2) каких костылей? 3) зачем создавать тип, если нужно всего то извлечь данные из жсон ?

С json фишка в том, что проще создать тип,чем извлечь конкретные данные,имхо

1) чтобы работать с апи вк, тебе всё равно придётся изучать на него документацию чтобы понять, что вообще с ним можно сделать 2) каких костылей? 3) зачем создавать тип, если нужно всего то извлечь данные из жсон ?

1) вот для этого доки с вк.ком/дев тоже спарсены в хмл-доки либы! :) 2) тут будет вернее сказать велосипед, пожалуй, неправильно выразился. 3) код вида: let a = obj.["one"].["two"].["three"] менее привлекателен, чем let a = obj.One.Two.Three и в нём не работает IntelliSence!

С json фишка в том, что проще создать тип,чем извлечь конкретные данные,имхо

смотря какую конечную цель ты приследуешь. Если насоздавать типов - то базара нет. Вопрос в том, зачем создавать типы если конечная цель - получить данные

смотря какую конечную цель ты приследуешь. Если насоздавать типов - то базара нет. Вопрос в том, зачем создавать типы если конечная цель - получить данные

Я могу повторить мысль и немного расширить.Природа json не предполагает вменяемого поиска по документу. Условно,линзу на определенное поле написать сложно и непрактично.

Поэтому создание типа тут - в общем-то естественный процесс

В xml том же с такими сценариями попроще

1) вот для этого доки с вк.ком/дев тоже спарсены в хмл-доки либы! :) 2) тут будет вернее сказать велосипед, пожалуй, неправильно выразился. 3) код вида: let a = obj.["one"].["two"].["three"] менее привлекателен, чем let a = obj.One.Two.Three и в нём не работает IntelliSence!

2) так что за велосипед-то?) 3) ты не совсем прав. let a = ob?one?two?three vs. (*имплементация One Two Three*) let a = obj.One.Two.Three

JPath штука ограниченная,как я помню

Хттп-запросник, парсилки для оауф, подписывалка токенами и ключами (это все несложно пишется, конечно). Но с либой ты сразу пишешь let friends = lib.Friends.Get() и сразу понимаешь, что делает этот код из хмл-доков (не страдаешь), а без либы ты читаешь документацию, пишешь запросник, дебажишь и при обработке полученных данных тебе не помогает интеллисенс (страдаешь).

Чет меня осенило,что по факту работа с внешним источником данных-тоже система линз

== Условно,линзу на определенное поле написать сложно и непрактично извлечь значение поля жсон по его пути в F# way с использованием активных шаблонов и functional Json - одна строчка кода. могу привести пример Пропысывать типы на все поля - много строчек. В чём профит типов?

ССылку на либу можно?

какую либу?

ну пример functional json

Там же под капотом какая-то либа ведь

Или магия

http://fsharp.github.io/FSharp.Data/library/JsonValue.html

Ну по факту создается объект JsonValue

По которому ты потом идешь

Т.е. объект обобщенный создается в любом случае

Т.е. объект обобщенный создается в любом случае

это плохо или хорошо?

В итоге получается, что сначала мы парсим Json в объект, потом идем по его свойствам

это плохо или хорошо?

Не знаю

Вот если бы можно было парсить сразу в типизированный объект...

Без промежуточного

примерно так линза json выглядит на практике - парсит она в самый что ни на есть типизированный объект let (|ApiError|_|) : Json -> (string * string * string ) option = function | Prop "error" (Prop "data" (Prop "exceptionname" (String exceptionname) & (Prop "errorCode" ( String errorCode) ) & (Prop "errorDetails" ( String errorDetails) ) )) -> Some(exceptionname, errorCode, errorDetails) | _ -> None

Prop можно глянуть реализацию?

Prop можно глянуть реализацию?

let (|Prop|_|) key = function | Object x -> x |> Map.tryFind key | _ -> None

А как Map создается?

это стандартная структура данных F#

Точнее как заполняется, извиняюсь

Object - кастомный тип, как я понимаю

https://github.com/claruspeter/MetaTp/blob/master/readme.md

Не знал о такой штуке

Хммм

Таки сделали, шоле?

Надо глянуть

Я думаю, это не то, что ты думаешь :)

Это просто либа для удобного создания провайдеров по шаблону.

Пичаль

Хнык

Точнее как заполняется, извиняюсь

по ссылке про это написано. Жсон парсится в монаду JsonValue

по ссылке про это написано. Жсон парсится в монаду JsonValue

Целиком, как я понимаю

да

Pavel Был еще один забавный TP, созданный с целью упрощения написания TP. https://fsprojects.github.io/RestProvider/

Хттп-запросник, парсилки для оауф, подписывалка токенами и ключами (это все несложно пишется, конечно). Но с либой ты сразу пишешь let friends = lib.Friends.Get() и сразу понимаешь, что делает этот код из хмл-доков (не страдаешь), а без либы ты читаешь документацию, пишешь запросник, дебажишь и при обработке полученных данных тебе не помогает интеллисенс (страдаешь).

"Хттп-запросник, парсилки для оауф, подписывалка токенами" у всех свои и навязывать юзеру свою имплементацию я бы не стал. Имхо это не есть задача прикладной либы для вызова rest api, и надо дать юзеру возможность сделать всё своё. Это на много даже важнее, чем дефолтная имплементация, которую тоже в принципе можно прикрутить

с lib.Friends.Get() у меня лично проблема такая - 1) если что-то пойдёт не так, она кинет эксепшен, который хрен поймёшь и хендлить в лом 2) тип объекта, который она возвращает, для конечного пользователя в 90% случаев избыточен, и интелисенс ни как не способствует пониманию

В общем, я какую мысль пытался донести про json - нельзя из него вытащить поле, не преобразовав предварительно в объект

так это гут или нет?

Не знаю

Тут я не готов давать оценочные суждения

В сценариях, когда json большой, а памяти мало - не очень

С другой стороны, в том же xml тоже нет поиска по потоковому ридеру

это что за rest api такое, у которого посылки не помещаются в мозгах?

Ну например, ты какую-нить базу КЛАДР выгружаешь :)

Которую криво спроектировали