Судя по https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/loops-while-do-expression придется воткнуть mutable variable

Как правильно считать строки из потока, пока не будет нужной строки? Через while это получается хреново.

Seq.unfold + find ?

Как правильно считать строки из потока, пока не будет нужной строки? Через while это получается хреново.

Seq.takeWhile?

Seq.unfold + find ?

А с ReadLineAsync заработает?

Хм, тут надо скрестить Seq и Async? Я думаю, можно попробовать, но не факт что хорошо получится.

Хотя были же какие-то трансформации из Seq<Async<T>> в Async<Seq<T>>, а дальше тривиально.

А с ReadLineAsync заработает?

Не знаю. Такого не делал. Может ночером посмотрю. Пока что занят.

В общем, накидал обычную async rec функцию let readWhile (reader: StreamReader) (endMark: string) = async { use sw = new StringWriter() let rec readWhileRec () = async { let! line = reader.ReadLineAsync() |> Async.AwaitTask if line <> endMark then sw.WriteLine line do! readWhileRec () } do! readWhileRec () return sw.ToString() }

Выглядит, конечно, странно

Не проще в seq завернуть?

Если накидаешь код, буду благодарен. Я пока не понимаю как сделать асинхронно (не хочу блокировок).

Минуту

Борюсь с синтаксисом

let readWhile (reader: StreamReader) (endMark: string) = let s= seq { let line = reader.ReadLineAsync() |>Async.AwaitTask yield line } s|>Async.Parallel |> Async.RunSynchronously |> Seq.takeWhile (fun s->s <> endMark) |>Seq.fold (fun acc s->s+acc) ""

Примерно так

но вызывают большие сомнения Async.Parallel, конечно

А меня Async.RunSynchronously, он разве не будет блокировать вызывающий поток?

Ну вот и я примерно про то

Тут надо цепочку вызовов делать последовательных типа Task.ContinueWith

Хочется что бы readWhile тоже был асинхронный, тк он в свою очередь тоже вызывается из async { }

http://fsprojects.github.io/FSharp.Control.AsyncSeq/library/AsyncSeq.html

Вот эта хрень может помочь, по идее

Кстати насколько целесообразно использование Async.Parallel для выполнения нескольких (около 5) задач де сериализации объектов типов значений и стрингов полей по 5 каждый newtonsoft.json Вроде итак десериализация относительно быстрая этой либой. Опыт есть у кого?

Особого выигрыша не будет скорее всего

Vasily @angmarr AsyncSeq поможет в вашей задаче?

http://fsprojects.github.io/FSharp.Control.AsyncSeq/

Нехоца тащить лишние либки, тем более все уже работает

Нехоца тащить лишние либки, тем более все уже работает

Понял.

ААА! @shwars живой прямо передо мной стоит!

Потрогай его

ААА! @shwars живой прямо передо мной стоит!

Привет передавай :)

Посмотрите, о чем твитнул(а) @thegamma_net: https://twitter.com/thegamma_net/status/876860835565580290?s=09

Выглядит круто.

Выглядит круто.

Это на каком провайдере такая красота?

Это на каком провайдере такая красота?

У Томаша там какая-то особая магия на Fable.

Ну там походу fable+ custom csv+ charts

Томаш всем хорош, конечно, кроме одного

http://tomasp.net/academic/papers/pivot/

Он не решает задачи, которые встречаются в реальной жизни

У него больше исследовательские

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

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

Он не решает задачи, которые встречаются в реальной жизни

Так реальная-то жизнь тоже у всех своя :) Кто-то в реальной жизни исследователь, и у него такие задачи. Кто-то "в реальной жизни" data scientist, и тебе его задачи тоже покажутся странными. А вот исследователю или data scientist'у покажутся странными твои задачи :)

У меня задачи такие, что кровь из глаз идет :)

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

Читаю препринт Петричека и понимаю, что знания математической нотации сильно не хватает. Нужна помощь @gsomix , походу :). Точнее, чтобы был ресурс, где на пальцах объясняется вся эта арабская вязь :)

Типа такой : Πfp(1),...,fp(m) {f1 7→ v1,1, . . . , v1,r , . . . , fn 7→ vn,1, . . . , vn,r } {fp(1) 7→ vp(1),1, . . . , vp(1),r , . . . , fp(m) 7→ vp(m),1, . . . , vp(m),r }

Читаю препринт Петричека и понимаю, что знания математической нотации сильно не хватает. Нужна помощь @gsomix , походу :). Точнее, чтобы был ресурс, где на пальцах объясняется вся эта арабская вязь :)

Не, моего бекграунда тут не хватает. :)

Да мне бы понять, что там какие знаки означают

Я обычно читаю то, что написано буквами. Не та специализация. :)

Интуитивно я понимаю

Что имеют в виду

А вот шо означают всякие стрелки, дроби, перевернутые А и прочие...

Когда-то знал, но забыл...

мне "Гедель Эшер Бах" немного помогла все это вспомнить :)

https://ru.wikipedia.org/wiki/%D0%A2%D0%B0%D0%B1%D0%BB%D0%B8%D1%86%D0%B0_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D1%85_%D1%81%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB%D0%BE%D0%B2

Чет нашел

Но все равно формальные доказательства корректности реализации провайдеров пока не для моих мозгов :(

Чет нашел

ООО спасибо!

Учти,что некоторых обозначений там нет

Привет!

Пожалуйте. :)

Кстати насколько целесообразно использование Async.Parallel для выполнения нескольких (около 5) задач де сериализации объектов типов значений и стрингов полей по 5 каждый newtonsoft.json Вроде итак десериализация относительно быстрая этой либой. Опыт есть у кого?

Async он же вообще не про выигрышь в производительности.

@neftedollar @gsomix приветствую

@neftedollar @gsomix приветствую

Расскажешь про опыт с F#?

опыта ноль, немного изучал хаскелл (на уровне hello world)

Это нормально

Да, а почему f#?

Ну я пока просто в закладки себе добавил, буду читать, может заинтересуюсь. Тут вообще чат профи, новичков или всё вместе?

Всякое

Ну я пока просто в закладки себе добавил, буду читать, может заинтересуюсь. Тут вообще чат профи, новичков или всё вместе?

Все вместе.

опыта ноль, немного изучал хаскелл (на уровне hello world)

Я смотрю (по твоим чатм) ты полиглот ?

@angmarr Не, я только python и c++ изучал, остальное так, для общего развития

Тож полезно

Зырьте, какую прикольную статью откопал: http://tomasp.net/blog/2014/update-monads/

Зырьте, какую прикольную статью откопал: http://tomasp.net/blog/2014/update-monads/

боян однако

https://github.com/Microsoft/visualfsharp/pull/3227

Потихоньку фиксят баги F#4.1

http://tomasp.net/academic/papers/pivot/

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

У меня такое впечатление, что Томаш просто не в курсе, что моделей данных есть куда больше, чем упомянутые в его статье: от узкоспециализированных "словарей", то универсальных "графов". А популярные "реляционные", которые он как бы исследует, и "документные" находятся лишь где-то по середине между универсальностью и специализированностью.

Работал я с графовыми базами данных. Правда, самоптсными

Странные ощущения

Странные ощущения

От cypher я в восторге

Так реальная-то жизнь тоже у всех своя :) Кто-то в реальной жизни исследователь, и у него такие задачи. Кто-то "в реальной жизни" data scientist, и тебе его задачи тоже покажутся странными. А вот исследователю или data scientist'у покажутся странными твои задачи :)

ну так тут исследуется прикланая задача, а не общенаучная. В отрыве от практики оно было бы совсем ни о чём. Синтетический язык, заточенный под тайп-провайдеры F# - это как раз тот случай. Ну придумал - а что толку? В ентерпрайзе есть много подобных алгебр разной степени эфективности по способам хранения данных, индексированию, шардингу, репликациям и т.п. Чем его алгебра лучше или хуже - хз, из пэйпера не ясно. По аспектам взаимодействия человека и компьютера тоже ничего интересного он не предложил, любая документная БД даёт в этом плане на много больше, чем его pivot type provider

От cypher я в восторге

cypher не смотрел, работал с полностью самописной, атмосфера стартапа, вот это вот все...

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

У меня все новые системы уже 3 года как на OrientDb. По функциональности и простоте она абсолютно рвёт всё. И язык, который придумал Томас, на ней сделать как два пальца об асфальт, но смысла нет

Я смотрю, по скорости всех вроде ArangoDb уделывает

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

https://github.com/fsharp/fslang-suggestions/issues/584

Привет, у меня такой вопрос) кто-то из вас писал Funogram, проект еще пилится? не важно с какой скоростью)

issue и pr принимаются?

@Dolfik пишет

issue и pr принимаются?

Йес