Но ещё нам надо задавать их порядок

Ещё предлагаю добавить навигацию, для большего реализма. Например страницу со статистикой (сколько в прогрессе, сколько выполнено)

Два экрана?

Проверьте, пожалуйста. https://gsomix.github.io/todo-list/

УМВР.

Неткор в проект включает все файлы в папке,как я понимаю

Я по-прежнему считаю, что для fsproj не включает.

Я по-прежнему считаю, что для fsproj не включает.

Не включает.

Попробуйте не прописать .fs в проекте, ничего не соберется.

В общем, факт в том, что баг есть

И чинить его надо

Два экрана?

Ну да, в терминах веба это обычно называется страница. Привязка к урлу для навигации, синхронизация данных между экранами.

Ок, это интересно!

Обсуждаем с коллегами использование F# Lint в build-процессе. Мне нравится, как линт работает в VS Code/Ionide, а можно ли его настроить в Райдере?

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

Идеально было бы в Райдере видеть рекомендации линта. Кто-нибудь знает, возможно ли это? @auduchinok

А какие именно анализы оттуда хотелось бы видеть?

Отвечая на вопрос — возможно. Но я бы предпочёл завести решарперные анализы вместо многих из линта.

Ну примерно те же, что и lint выдает, когда я работаю с VSCode:

x::[] might be able to be refactored into [x]. fun _ -> () might be able to be refactored into ignore.

Это возможно сегодня или требует обновления в райдере?

А чем тебе F# lint, которым Ionide пользуется, не нравится?

Часть анализов дублирует то, что есть в решарпере, и что в планах завести. Интегрировать некоторые решарперные фиксы будет гораздо предпочтительнее.

Не то чтобы он прям не нравится.)

А это в краткосрочных планах? ?

Можно попробовать в 2018.3 на него посмотреть. Сейчас — фиксы важных багов в 2018.2 и продолжение рефакторингов в кэшах для ренейма.

Sounds good.

Можно попробовать в 2018.3 на него посмотреть. Сейчас — фиксы важных багов в 2018.2 и продолжение рефакторингов в кэшах для ренейма.

Раз пошла такая пьянка - есть планы по автогенерации матч кейсов?

Я бы в билд процесс автоформатинг включил, т.к. линтер в Иониде иногда делает дичЪ sequence |> Seq.map (fun x -> страшный мапинг на пару строк) |> Seq.map (fun x -> какой-то другой мапинг на ещё пару тройку строк) он всё подчеркивает и говорит что дескать надо кровь из носу закомпозировать и предлагает так (и это ужасно) Seq.map ((fun x -> .... ) >> (fun x -> .... )) sequence

Прям планов пока не было. :) Только недавно появился issue про это, я могу посмотреть и на это, но тоже уже в 2018.3.

Я бы в билд процесс автоформатинг включил, т.к. линтер в Иониде иногда делает дичЪ sequence |> Seq.map (fun x -> страшный мапинг на пару строк) |> Seq.map (fun x -> какой-то другой мапинг на ещё пару тройку строк) он всё подчеркивает и говорит что дескать надо кровь из носу закомпозировать и предлагает так (и это ужасно) Seq.map ((fun x -> .... ) >> (fun x -> .... )) sequence

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

Да, меня это его стремление поменять все на композицию страшит

Часть анализов дублирует то, что есть в решарпере, и что в планах завести. Интегрировать некоторые решарперные фиксы будет гораздо предпочтительнее.

Fslint умеет всякие интересные F#-штуки, которым имхо не место в ядре решарпера. Лучше б его отдельно подключить, наверное.

Но тогда придётся следить чтоб он не дублировал решарперные suggestions

Я бы в билд процесс автоформатинг включил, т.к. линтер в Иониде иногда делает дичЪ sequence |> Seq.map (fun x -> страшный мапинг на пару строк) |> Seq.map (fun x -> какой-то другой мапинг на ещё пару тройку строк) он всё подчеркивает и говорит что дескать надо кровь из носу закомпозировать и предлагает так (и это ужасно) Seq.map ((fun x -> .... ) >> (fun x -> .... )) sequence

Надо ещё чтоб он на pointfree предлагал всё переписать, nyeheheh

Привет.

вопрос, кто помнит какой метод в CE билдере надо реализовать чтобы он мог делать так state { something andSomethingElse } при этом something и somethingElse вызывают методы билдера и меняют его с каждой строчкой

Delay

Скорее всего

Надо в спеке глянуть

Или Combine

ну вот я в спеку гляжу и вижу фигу

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/computation-expressions#creating-a-new-type-of-computation-expression

точнее не в спеку

а в доку

Не в ту спеку спотришь

Ща

да читал я ту спеку

она местами устарела

в спеке например написано что кейсы DU можно так создавать union-type-case-data := ident --null union case ident of union-type-field * ... * union-type-field --n-ary union case ident : uncurried-sig --n-ary union case uncurried-sig := args-spec -> type args-spec := arg-spec * ... * arg-spec

но это неправда

вот эта строчка не пашет: ident : uncurried-sig --n-ary union case

Короче,тебе на страницу 76

Там на примере асинка

ты ж на эту смотришь? https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf

чтоб у нас страницы были одинаковые)

хм, и правда чтоль делей

подозрительно

вот эта строчка не пашет: ident : uncurried-sig --n-ary union case

Наверное, просто опечатка.

ты ж на эту смотришь? https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf

На эту

Короче

Там где-то в начале есть сигнатура полного вызова

не, я выяснил. Надо сделать нелогичное и реализовать Yield

Странно

Да

Комбайн вроде

Или я тебя не так понял

Да я может сам себя не понял. Я хочу в CE задавать некие настройки декларативно, а потом их исполнить. Настройки меняют стейт CE при вызове, флаги там переключают, добавляют всякое. Т.е. под конец CE будет раздутая и готовая к выполнению

Ну сделай дефолтный yield

И кучу кастомных команд

На применение настроек

В общем, по факту у тебя получится фолд

https://github.com/vshapenko/HttpBuilder/blob/master/HttpWrapper/Program.fs

Вот говнопример

о, вроде похоже

Но это работает только на кастомные операции

У тебя первым параметром контекст применения

Вторым собственно что делаешь

Я, помню, пытался с помощью билдера конструировать функцию создания объекта

хм. Ну да, чот типа

В общем, там надо понимать

Что в целом можно даже bind не реализовывать

Да, я так и думал, мне ж let не нужен

Главное, не забыть Yield(())

меня как-то бомбило с вида функций, которые должны принимать unit )))

(())

Сказал бы я, но чат не тот

меня как-то бомбило с вида функций, которые должны принимать unit )))

Мне казалось что принимать unit это myFunc ()

Или () |> myFunc

хм, не могу найти в телеге, ща

https://t.me/fsharp_chat/61348

нашёл))

нашёл))

Я так и не понял нафига.

Какая сигнатура у конструктора?

Короче, чтобы заново не разливаться мыслею по древу Class() - вызов пустого конструктора Class(()) - вызов непустого конструктора, который принимает unit

Class(()) :: Class

ну точнее нет

конструктор такой new:: unit -> Class вызов в F# выглядит как Class(())

обоже, member __.Yield() = ... и member __.Yield(()) =... не одно и то же, лол!

я думал это только для классов работает

причём сигнатура одинаковая, а CE хочет второй вариант - Yield(())