Тяжело писать в вебе.

Компиляция реализаций тоже нужно поправить.

Я там еще пример зачем набросал. А то не ясно ведь ?

Смотрю

Чтоб совсем чисто, действительно для компилера сложно. Но можно поробовать

Из концептуального — мне не нравятся связанные типы. Это же просто дополнительный параметр типа. Почему бы его просто не записать так?

Будет предложение про multi-parameter type classes.

Сам так же думал, но понял зачем. Смотри если я реализую тот же Iterator, то тип по какому он итерируется может быть выдернут из реализации, поэтому мне его знать не нужно. Спер из Rust и Scala.

Мульти параметр - наваяю сампл

Второй момент, в Classes for the Masses не вводится новый синтаксис для трейтов, только аннотации [<Trait>] и [<Witness>]. Было бы неплохо привести к такому виду.

Пример посмотрю завтра. Сейчас спать. :)

Сделаю, то же завтра ?

А trait семантически идентичен type class?

Вроде да. И то и другое поведение - данные

Посмотрите, покритикуйте. Если кто сможет, помогите с английским ? https://gist.github.com/ijsgaus/fe60d8937fa84ea1045a172c212d04f7

Withess → Witness (в нескольких местах опечатка)

Посмотрите, покритикуйте. Если кто сможет, помогите с английским ? https://gist.github.com/ijsgaus/fe60d8937fa84ea1045a172c212d04f7

«Компиляция реализаций: Компилируются в структуры или расширения:» — то есть ты предлагаешь пару альтернатив, чтоб сообщество из них выбрало более подходящую? Или компилятор должен выбирать?

Посмотрите, покритикуйте. Если кто сможет, помогите с английским ? https://gist.github.com/ijsgaus/fe60d8937fa84ea1045a172c212d04f7

9, 10 надо бы уточнить — я не совсем понял сходу, в каких местах потребуется менять вывод типов. А ещё я не понял, зачем нужен рантайм-поиск :(

Посмотрите, покритикуйте. Если кто сможет, помогите с английским ? https://gist.github.com/ijsgaus/fe60d8937fa84ea1045a172c212d04f7

Ну и, наконец, если нужна помощь с переводом на английский (чтоб запостить в fslang-suggestions) — тыкайте меня, я готов помочь в меру своих скромных возможностей. Когда сформируем окончательную версию, конечно.

9, 10 надо бы уточнить — я не совсем понял сходу, в каких местах потребуется менять вывод типов. А ещё я не понял, зачем нужен рантайм-поиск :(

Ок, понял, зачем нужен рантайм-поиск — для резолва кейсов типа List<'T>. Надо подумать над этим.

https://github.com/fsharp/fslang-suggestions/issues?q=is%3Aopen+is%3Aissue+label%3Aapproved-in-principle+label%3Aproposed-priority

Новый ярлык появился.

https://github.com/fsharp/fslang-suggestions/issues?q=is%3Aopen+is%3Aissue+label%3Aapproved-in-principle+label%3Aproposed-priority

О, твой пропозол апрувнули!

О, твой пропозол апрувнули!

Давно. Я даже RFC написал же.

Можно мини ревью? создание последовательности рандомных чисел от 0 до max let rec uniqRand set max= match Set.count set = max with | true -> None | false -> let r = new System.Random() let i = r.Next max if Set.contains i set then uniqRand set max else Some i let rgen max acc = match uniqRand acc max with | None -> None | Some item -> Some (item, Set.add item acc) let rand max = Seq.unfold (rgen max) Set.empty

естественно, без повторяющихся

seq { 1..max } |> Seq.orderBy Guid.NewGuid

Сложность алгоритма нужно смотреть, само собой

Но тот, чо выше - будет последние искать оооочень долго

Вероятно sequence тут не нужен и можно просто массив отсортировать (я про свой)

Ну и вообще - за этим в Гугл.

окей, спасибо

Ага, это общая альтернативная идея — сгенерить N заведомо уникальных чисел, а потом пошаффлить (необязательно так, как указал Павел; мне кажется, можно и получше сделать).

Я лежу в ванной и читаю телеграм, у меня не эффективный алгоритм. За правильным - в Гугл.

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

Да, когда создастся энумератор

Это же IEnumerable

Я лежу в ванной и читаю телеграм, у меня не эффективный алгоритм. За правильным - в Гугл.

Да ну, просто комментарий оставить: // Павел рекомендовал из ванной ?

Guid.NewGuid операция сама по себе довольно "дорогая", если сортировать по тому-же random.Next(), будет быстрее

Vladimir должен в шаффлинге шарить.

штука в том, что в этом кейсе есть возможность сделать это дёшево

я просто не вижу, как

но я придумаю)

но я придумаю)

Легко допиливается для последовательности произвольной длины. http://neerc.ifmo.ru/wiki/index.php?title=%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%B3%D0%B5%D0%BD%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D0%B8_%D1%81%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D0%BE%D0%B9_%D0%BF%D0%B5%D1%80%D0%B5%D1%81%D1%82%D0%B0%D0%BD%D0%BE%D0%B2%D0%BA%D0%B8,_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%A4%D0%B8%D1%88%D0%B5%D1%80%D0%B0-%D0%99%D0%B5%D1%82%D1%81%D0%B0

ох

элементарно жи

позор на мою голову

Норм, я в первый раз на фенвике сделал.

так, если я применю этот алгоритм к секвенсу, мне всё же придётся заплатить лишним О n

или я не понимаю чего-то

Тебе нужна перестановка меньше чем за O(n)?

Все равно в этом месте надо будет собрать новую коллекцию.

Vladimir должен в шаффлинге шарить.

Все правильно уже сказали) https://en.wikipedia.org/wiki/Fisher%E2%80%93Yates_shuffle Реализации можно посмотреть в треде https://github.com/fsharp/fslang-suggestions/issues/508

А знает кто-нибудь как одновременно запаблишить все проекты в солюшне?

А знает кто-нибудь как одновременно запаблишить все проекты в солюшне?

В отдельности? Не одним пакетом?

Я сейчас паблишу по очереди, 6 проектов для паблиша, с либами 12, но получается медленно

Да, в отдельности, на каждый проект свой докер контейнер

Самая большая проблема в Paket - он каждый проект ресторит заново и ищет зависимости, а хотелось бы один раз для всех это сделать

А как докер файл выглядит?

FROM microsoft/dotnet:2-runtime WORKDIR /app COPY artifacts . ENTRYPOINT ["dotnet", "MyProject.dll"]

соотвтственно перед этим каждому проекту я делаю dotnet publish -c Release -o artifacts

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

Я думаю нет разницы где билдить. Если есть возможность ускорить билд внутри контейнера, то она есть и без него)

Билд солюшна то один раз происходит например

Почему бы не иметь возможность сделать и паблиш солюшна)

Publish solution. Из корня

не вижу такой кнопочки)

в корне dotnet publish -o %cd\artifactacts\ - это под виндой, под линухом вместо %cd что то еще, простите коллегии, не помню

спс, сча попробую)

Вот вариант gitlab-ci, который я использую:

stages: - build - pack - publish build: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: build except: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ script: - echo Restoring packages - echo Building - dotnet build - echo "Build complete" pack: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: pack only: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ script: - echo Packing - dotnet pack -c Debug —include-symbols —include-source -o "%cd%\artifacts\" - echo "Publishing nuget packages" artifacts: expire_in: 31d paths: - artifacts/*.nupkg publish: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: publish only: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ - manual script: - echo "Publishing nuget packages" - dotnet nuget push —force-english-output -s YouDo -k "%NUGET_TOKEN%" "%cd%"\artifacts\*.nupkg"

Круто, работает, спасибо) Правда паблишит не в artifacts, а в \Í\artifacts\

dotnet publish -o artifacts - а вот так правильно паблишит)

stages: - build - pack - publish build: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: build except: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ script: - echo Restoring packages - echo Building - dotnet build - echo "Build complete" pack: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: pack only: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ script: - echo Packing - dotnet pack -c Debug —include-symbols —include-source -o "%cd%\artifacts\" - echo "Publishing nuget packages" artifacts: expire_in: 31d paths: - artifacts/*.nupkg publish: variables: PROJECT: YouDo.Data tags: - net47 - netstandard2.0 stage: publish only: - /^(\d+.\d+.\d+)(-(\w+(.\w+)*))?$/ - manual script: - echo "Publishing nuget packages" - dotnet nuget push —force-english-output -s YouDo -k "%NUGET_TOKEN%" "%cd%"\artifacts\*.nupkg"

Вы в youdo работаете?

Да

Да

Есть там в проде f# код?

Нету ? Нас там 2

Нету ? Нас там 2

А второй товарищ тут?)

Нет, он пока падован ?

Нет, он пока падован ?

Тут ведь всем рады) Ну ок

Я ж не могу заставить ?

Коллеги, а не провести ли нам опрос. Прям здесь. Если fsharp в продакшен кто сеолько денег хочет?

С эти хоть к начальству будет с чем идти. Все ж f#писты в среднем сильнее c#пистов

Хоть пару команд собрать для примера

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

Плюс доп условия

А то с этим.. У меня и кложа, и раст, и эликсир, и го, и f#, и scala - а зарплата намного не та

Да к опросу, Москва или Казань. С переездом

Я тогда спазу к начальству пойду.

Если хотя бы 5 наберем

В среднем по США *

В среднем по сша там отдельный график был

Коллеги, а не провести ли нам опрос. Прям здесь. Если fsharp в продакшен кто сеолько денег хочет?

да, можно провести

я сейчас ищу работу в мск, если был бы кейс с F#, на любые бабки бы пошёл

я сейчас ищу работу в мск, если был бы кейс с F#, на любые бабки бы пошёл

таки были варианты, вот от 150тр - https://twitter.com/IrinaLukavskaya/status/938814269327626241

ну уж 150 чёт совсем мало

ну уж 150 чёт совсем мало

Так от же

в моей практике от == столько и готовы платить максимально

и блин, F# девелоперы - редкость, by default больше должно быть