Комбинаиоры для доступа и изменения перзистентных структур данных

Линза - это тапл из геттера и сеттера с сигнатурой: 'a -> 'b * 'b -> 'a -> 'b

И какие она проблемы решает?

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

Хотелось бы пример из реальной жизни, можно без кода

соврал с сигнатурой: 'a->'b * 'a -> 'b ->'a

Evan Czaplicki считает, что линзы это анти-паттерн

Кстати, кто по-русски объяснит, шо есть линзы

Пара методов для обновления части immutable рекордов, которые можно друг с другом "складывать", чтобы смотреть внутрь развесистой структуры

будте плоскими лучше

Угу, только что не проект, то там свои линзы сидять

http://bugsquash.blogspot.ru/2011/11/lenses-in-f.html - не по русски, но из примеров должно быть ясно

Ну тогда уж https://xyncro.tech/aether/

Ага, почитаю

Вторую ссылку ща сам нашел

Эти сложнее, и я не стал рекомендовать, пушто пол года назад там не было доков вменяемых

Или были, я уже не помню.

Там не плохо по теории

To start understanding the what, and importantly the why, the introduction to Lenses is a good place to start. This is best followed by a useful companion to lenses when we’re dealing with data which implies uncertainty, Prisms. We also dive in to Morphisms, another hugely useful tool for making it easy to work with data in more usable forms.

По самой либе доки хуже

@edvail Мне нравится ход мыслей czaplic. :)

Концепция прикольная, конечно

Вспомнил, что ставил unsigned CI builds для Visual F# Tools ранее. Удалил, откатив до релизной версии. Обновился до последней signed Nightly. Поддержка папок появилась. Спасибо за помощь! ?

Короче, что-то вроде XPath по идее, как я понимаю

На предыдущей работе могли пригодится, ибо хорошо на графовую базу ложатся

Нужно помнить, что у F# много проблем с инструментами и уже существующими языковыми конструкциями. Введение новых конструкций в язык не решит этих проблем, но добавит свежих. А для чего?

Я не думаю, что фичи, позволяющие писать код как в Haskell -- это то, что сейчас необходимо в первую очередь.

А как nightly - канал настроить?

Писать код как в Хаскел вряд ли получится - больго рантайм разный ?

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

А вот дернуть из академика полезные возможности - это было бы, имхо, не плохо

@pavelhritonenko https://blogs.msdn.microsoft.com/dotnet/2017/03/14/announcing-nightly-releases-for-the-visual-f-tools/

Я бы куда больше хотел, чтобы вот это починили. https://github.com/Microsoft/visualfsharp/issues/2741#issuecomment-301445731

Никуда не годится. :(

Brain привет :)

http://i.imgur.com/4fHw3Fd.png

http://i.imgur.com/4fHw3Fd.png

Это по линзам?

ага

В общем, эта проблема на моей стороне, так?

C Nightly вроде все работает

С выходом Core 2 обещали просто TypeProviders допилить

Не совсем, скорее всего к концу года и сначала только erased https://github.com/Microsoft/visualfsharp/issues/2406

Еще бы тайп провайдеры из тайп провайдеров...

мы к этому близки https://github.com/pezipink/MixinProvider )

C Nightly вроде все работает

Да, уже разобрался. Спасибо. :)

мы к этому близки https://github.com/pezipink/MixinProvider )

Доки есть по нему кроме блога? Ибо по ссылке дает 404

По ссылке на доки, я имею в виду

Нужно помнить, что у F# много проблем с инструментами и уже существующими языковыми конструкциями. Введение новых конструкций в язык не решит этих проблем, но добавит свежих. А для чего?

А можно подробнее про проблемы с существующими языковыми конструкциями?

мы к этому близки https://github.com/pezipink/MixinProvider )

Ну и смущает, что последний коммит два года назад

Хммм... человек тоже пошел по пути внешнего fsx скрипта

Доки есть по нему кроме блога? Ибо по ссылке дает 404

у меня работает ссылки и на блог и на видео

У меня тоже

Ссылка на доки не работает

я думаю она никогда не работала, у проекта нету ph-pages

Ясно

Mikhail Много всякого. Хотелось бы нормальные stacktraces для async, STRP не очень удобно использовать, type providers довольно ограничены, новые struct-штуки некоторые ошибки вызывают, в стандартной библиотеке некоторых вещей не хватает, сообщения об ошибках не везде понятные.

Нужно делать много работы.

Только не поймите это как нытье. Просто сводка тех проблем, про которые я читал. :)

Но в принципе для энтерпрайза всего хватает. ))

Я некоторые вещи даже не использовал ещё

Для энтерпрайза не хватает некой замены ORM, имхо

Нашел имплементацию линз в FsharpX - действительно крутая штука

Для энтерпрайза не хватает некой замены ORM, имхо

так вроде EF тут есть, я даже находил фишарповый враппер

Ну EF все же не торт в общем случае

Нашел имплементацию линз в FsharpX - действительно крутая штука

чего чего?

Самая вкусная фишка, по идее - sql complie-time checking

Ну EF все же не торт в общем случае

Почему? В F# не пользовался, но в C# - мой любимый фреймворк для работы с БД.

ERROR: S client not available

Почему? В F# не пользовался, но в C# - мой любимый фреймворк для работы с БД.

Это ты не работал с большими коллекциями

Ну и более-менее развесистой моделью

Это ты не работал с большими коллекциями

Работал. Мы на работе так-то юзаем даппер + чистый скл. Но это не значит что мне это должно нравится. ?

Любой ORM в классическом понимании имеет большие расходы на материализацию

Плюс еще расходы в виде неоптимального SQL

КОторый он генерит

Любой ORM в классическом понимании имеет большие расходы на материализацию

Что ты понимаешь под материализацией?

Представление таблицы в виде entity

Плюс еще расходы в виде неоптимального SQL

Ну это форева спорная холиварная штука. ?

Представление таблицы в виде entity

Ну. Это же маппинг простой. Тебе все равно придется юзать маппер если ты будешь юзать скл.

Сам по себе EF ничем не плох. Но его реализация сегодня очень тесно завязана на C# и мутабельные классы, поэтому из F# с ним работать неудобно.

Ну это форева спорная холиварная штука. ?

На самом деле вся эта хрень придумана потому, что в c# etc нельзя в компайл-тайме валидировать sql запросы

Вообще то для функциональных языков реляционная модель намного роднее, чем объектная. Так что ОРМ функциональщикам вреден

Имея возможность валидации sql, можно от ORM в целом отказаться

На самом деле вся эта хрень придумана потому, что в c# etc нельзя в компайл-тайме валидировать sql запросы

Ну запросы так-то пишутся обычно в Management Studio - где есть валидация, а потом копируются в ресурсник и юзаются как проперти в нужном месте.

Ну запросы так-то пишутся обычно в Management Studio - где есть валидация, а потом копируются в ресурсник и юзаются как проперти в нужном месте.

Никогда так не делаю ?

@DarkByte2016, я верю, что люди так делают, но это далеко не единственный способ взаимодействия с SQL. Я не могу даже сказать, что он популярный (хотя тут могу ошибаться).

Ну запросы так-то пишутся обычно в Management Studio - где есть валидация, а потом копируются в ресурсник и юзаются как проперти в нужном месте.

Так не стоит делать. Исходный код обычно сильно завязан на структуру базы

Поэтому лучше на компайл тайме ловить

Всякое

Здесь скорее очень пригодился бы type provider из Expr

@DarkByte2016, я верю, что люди так делают, но это далеко не единственный способ взаимодействия с SQL. Я не могу даже сказать, что он популярный (хотя тут могу ошибаться).

Просто комбинировать два языка в одном файле - всегда было плохой затеей. Недаром в некоторых шаблонизаторах html жестко ограничивают шаблоны, не давая писать кодом, а только шаблонами. Например в Django.

Здесь скорее очень пригодился бы type provider из Expr

Разверни суждение

Тайп-провайдеры в F# очень хороши для SQL, но пока не идеальны.

Лучшее, что я для работы с SQL пока что видел — это ScalikeJDBC.

Просто комбинировать два языка в одном файле - всегда было плохой затеей. Недаром в некоторых шаблонизаторах html жестко ограничивают шаблоны, не давая писать кодом, а только шаблонами. Например в Django.

Никто не говорит про комбинирование, речь идет про корректную генерацию кода под конкретный sql и соответствие этого sql структуре базы

(ещё бы компилтайм-валидацию туда, и вообще бы огонь получился)

Никто не говорит про комбинирование, речь идет про корректную генерацию кода под конкретный sql и соответствие этого sql структуре базы

Чего? Я так понимаю имелось ввиду просто фигачить SQL строками, типа string query = "select * from mytable";

Комбинировать запросы тоже нужно, кстати. Если ваша ORM не даёт нормального способа для этого — народ будет склеивать строки и предаваться пр. ужасам в коде.

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

Чего? Я так понимаю имелось ввиду просто фигачить SQL строками, типа string query = "select * from mytable";

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