Важно порядок сохранить. Это элементы списка, который видит юзер, будет странно если будет пересортироваваться при каждом обновление.

У List есть метод, который может два списка превратить в декартово произведение. Думаю, можно ли что-то с ним потом сделать умное?

zip?

List.allPairs (для zip нужно что бы у списков были одинаковые размеры). Ладно, сделал по тупому firstList |> List.filter (fun x -> List.forall (fun x2 -> x2.id <> x.id) secondList)

diffBy :: Eq b => (a -> b) -> [a] -> [a] -> [a] diffBy f a b = filter (\x -> all (\y -> f x /= f y) b) a main = print $ diffBy id [1..3] [3..4] -- [1, 2]

ну да, то же самое)

вот так еще можно

или если чуть отрефакторить

вы тут простите, что на хаскеле, я апи шарпа не знаю и репла установленного не имею, но мне кажется, фшарписты поймут хаскелевый код без проблем, благо он почти один к одному. Тем более если у тебя на аватарке лого хаскеля)

еще больше point-free для бога point-free diffBy :: Eq b => (a -> b) -> [a] -> [a] -> [a] diffBy f = foldr delete where delete y = filter ((/= f y) . f)

Принцип другой. Скоп имеет парента. Смотрит в себе потом в паренте. Когда идет замыкание - происходит инкапсуляция парент скопа. Обычно не совсем корректная. В csharp например некорректная. Он замыкает скоп целиком. А мог бы определить потребности вложенного и замкнуть частично.

Ради интереса проверил на таком C#-коде: int x = 0, y = 0; Action a = () => x++; Action b = () => y++; C# в этом случае действительно создаёт один display class на оба замыкания, а вот F# — по одному классу на каждое. Очень интересная особенность поведения, спасибо за информацию!

Ты про implicitly closured variables?

Именно

Именно

А что в этом плохого-то? И работает проще, и инстансов плодится меньше

С точки зрения чистого кода - ничего. Но сборщик мусора соберет только то что не захвачено. А прдствь себе ситуацию с огрмной каритинкой, котороая потом не нужна, и долго живущим каллбеком.

Да, понял

А что в этом плохого-то? И работает проще, и инстансов плодится меньше

Решарпер на такие кейсы даже показывает специальную подсказку.

Мол, возможна утечка памяти.

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

С точки зрения чистого кода - ничего. Но сборщик мусора соберет только то что не захвачено. А прдствь себе ситуацию с огрмной каритинкой, котороая потом не нужна, и долго живущим каллбеком.

Для таких обычно IDisposable используется :)

Не лучший вариант

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

Элементарно устроить при подписке на эвент

Абсолютно та же история на асинках - await не предпологает освобождение неиспользуемых ниже локальных переменных.

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

Вот так канает: type ISomeInterface = abstract member DoOne : float -> float -> float abstract member DoTwo : float -> float -> float [<AbstractClass>] type Parent () = abstract member DoTwo : float -> float -> float interface ISomeInterface with member this.DoOne x y = x + y member this.DoTwo x y = this.DoTwo x y type Child () = inherit Parent() override this.DoTwo x y = x - y type OtherChild () = inherit Parent() override this.DoTwo x y = x [ Child() :> ISomeInterface OtherChild() :> ISomeInterface ] |> List.map (fun p -> p.DoTwo 4.0 2.0)

Вот так канает: type ISomeInterface = abstract member DoOne : float -> float -> float abstract member DoTwo : float -> float -> float [<AbstractClass>] type Parent () = abstract member DoTwo : float -> float -> float interface ISomeInterface with member this.DoOne x y = x + y member this.DoTwo x y = this.DoTwo x y type Child () = inherit Parent() override this.DoTwo x y = x - y type OtherChild () = inherit Parent() override this.DoTwo x y = x [ Child() :> ISomeInterface OtherChild() :> ISomeInterface ] |> List.map (fun p -> p.DoTwo 4.0 2.0)

Спасибо большое, как-то об этом не подумал)

Привет! o/

Привет! o/

привет

@angmarr Сайм говорит, что нужно использовать аннотации типов.

@angmarr Сайм говорит, что нужно использовать аннотации типов.

> аннотации типов. Напомни как они связаны с монадами?

> аннотации типов. Напомни как они связаны с монадами?

https://github.com/fsharp/fslang-suggestions/issues/594#issuecomment-328573917

https://github.com/fsharp/fslang-suggestions/issues/594#issuecomment-328573917

Думал ты ответил на мой пост в @dotnettalks . Я и не заметил что это F# чат. А с Доном - ну хорошо отмазался, будем типы ставить.

Думал ты ответил на мой пост в @dotnettalks . Я и не заметил что это F# чат. А с Доном - ну хорошо отмазался, будем типы ставить.

Ладно, я его просто так не отпущу!

Vasily Нашел решение про интексацию пар?

https://twitter.com/Jimmy_Byrd/status/907319634675879938

Fable.Template.Library обновили.

Vasily Нашел решение про интексацию пар?

Да, нашел в итоге

Но у меня специфический кейс, который позволил сделать за один подход

Проход

А еще до меня наконец-то дошло практическое применение chunkBySize

@fvnever https://github.com/matthid/s2client-dotnet/blob/master/Readme.md

@fvnever https://github.com/matthid/s2client-dotnet/blob/master/Readme.md

?

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

Может быть вам будет интересно, это книга про Standard ML.

Да, нашел в итоге

O(ln n)? Индекс придумал?

O(ln n)? Индекс придумал?

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

Так что там O(n) получилось

Навскидку

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

@gsomix привет, ты не копал в сторону FSI для netcore? Хочу более интерактивную разработку с Giraffe - либо hotload, либо REPL

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

Так O(n) это же простым перебором или тебе все пересечения найти надо?

@gsomix привет, ты не копал в сторону FSI для netcore? Хочу более интерактивную разработку с Giraffe - либо hotload, либо REPL

Привет. Нет, не копал пока.

Там все пересечения ищутся простым перебором

В силу условий задачи

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

Привет. Нет, не копал пока.

Я вчера весь вечер провозился безрезультатно, даже для full framework не получилось - объекты не создаются, не все резолвится

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

Это мне напомнило задачу по поиску регионов пересекающих видимую область таблицы. В общем, там R-tree подходит

Это мне напомнило задачу по поиску регионов пересекающих видимую область таблицы. В общем, там R-tree подходит

Да, похоже

Проблема в том, что R- дерево еще надо построить

Проблема в том, что R- дерево еще надо построить

да, в случае таблицы индекс строится один раз. Да и в пространственных задачах, как правило, тоже

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

Я какую-то подобную структуру думал построить

Но там скорее массив деревьев тогда

Раз заговорили про деревья. А какие есть хорошие библиотеки с коллекциями для F#? В каком они состоянии? Может их причесать надо, под нетстандарт собрать?

Писал три недели доки (https://github.com/OlegZee/Xake/wiki) и только сейчас, спустя два месяца, обнаружил, что не добавил ссылку на страницу проекта. Без документации грустно все это выглядит

Писал три недели доки (https://github.com/OlegZee/Xake/wiki) и только сейчас, спустя два месяца, обнаружил, что не добавил ссылку на страницу проекта. Без документации грустно все это выглядит

\о/

трансляция началась

трансляция началась

Какая?

Apple?

Ах. :)

@gsomix Алярма

бан, наверное

Интересный канал, надо рассмотреть.

нажала и аж телеграм вылетел

Есть тут у нас Киевляне? https://twitter.com/AntyaDev/status/907604544208687104

Никак не соберусь завести свой небольшой канал, поэтому положу сюда. Доклад Brian Goetz, архитектора языка Java, про важность понимания различных парадигм и про их правильное использование. Перекликается с принципом "FP in small, OO in big", который продвигается в F# сообществе. Название, ну, такое. :) https://www.youtube.com/watch?v=ROL58LJGNfA

Paket победил.

https://github.com/NuGet/NuGetGallery/pull/4638

> Definitely :) https://github.com/fsharp/fslang-suggestions/issues/594#issuecomment-329092773

А я что-то не смог придумать, как можно здесь сообщение об ошибке улучшить. :( @fvnever @angmarr

Проверять, что у Record1 и Record2 есть общие поля (id), и сообщать пользователю о том, что нужно правильную аннотацию типа указать?

Всем привет. Подскажите, пожалуйста, как в конструкторе класса в метод дргугого класса передать this, в C# - все ок, а в F# он не понимает this

Всем привет. Подскажите, пожалуйста, как в конструкторе класса в метод дргугого класса передать this, в C# - все ок, а в F# он не понимает this

type YourType() as this =

эээ, не понял

type CheckerService () as this =