@vshapenko @Liminiens Вам, наверное, тоже может быть интересно.

Да, на это я бы посмотрел

Vasily Это все потому, что в Ionide не работает автокомплит для цепочек вызовов через точку. ? https://twitter.com/kot_2010/status/992475096269971456

Vasily А можно ли сделать лучше? Например, отсортировать список автокомплита и поднять кастомные операции повыше. Будет отдаленно похоже на автокомплит в OCaml для local open.

Vasily А можно ли сделать лучше? Например, отсортировать список автокомплита и поднять кастомные операции повыше. Будет отдаленно похоже на автокомплит в OCaml для local open.

Блин, пока я тут вопрошаю, Vasily уже починил. https://github.com/Microsoft/visualfsharp/pull/4831

:)

щас еще фикс добавлю и будет вообще хорошо

есть

комплишен - самое жуткое место в серсисе. Хак на хаке. Прям кошмар.

комплишен - самое жуткое место в серсисе. Хак на хаке. Прям кошмар.

Ну, любую проблему можно решить дополнительным флажком. :)

:)

ну а шо делать

оно ищет nenv влево

зачем? я так и не понял

"as rich"

очень странная логика

https://blog.nojaf.com/2018/05/03/fantomas-rejuvenated/

? шикардос

Опа!

https://twitter.com/dsyme/status/992762409810059265

Голосовалка!

Голосовалка!

Мне интересно как он все задачи отслеживает и возвращается к ним. Куча всего же

Мне интересно как он все задачи отслеживает и возвращается к ним. Куча всего же

Мне кажется, никак. :) Скорее всего возникла необходимость в собственном коде.

Нужно напоминать чаще. Как это было с провайдерами типов под неткором.

Голосовалка!

Нейминг -- это сложно. :(

Нейминг -- это сложно. :(

SSome = ? ome

Maybe = Just | Nothing :)

по аналогии с Choice / Result

Ох блин, это перебор %)

Почитай про computation expressions

Не могу найти нормальный пример с [<CustomOperation("add")>], как определить такой метод и как его правильно использовать. Допустим, есть билдер1, внутри него надо запускать другие билдеры2, так, чтобы резутаты собирались в (например) список (типа внутри билдера1), а когда будет return из билдера1, то не нужно будет передавать как параметр этот список. fsharpforfunandprofit обошел вопрос стороной.

Опять билдеры. :(

Не могу найти нормальный пример с [<CustomOperation("add")>], как определить такой метод и как его правильно использовать. Допустим, есть билдер1, внутри него надо запускать другие билдеры2, так, чтобы резутаты собирались в (например) список (типа внутри билдера1), а когда будет return из билдера1, то не нужно будет передавать как параметр этот список. fsharpforfunandprofit обошел вопрос стороной.

У тебя в кастомной операции всегда больше одного параметра. Первым идёт контекст, дальше параметры операции

У тебя в кастомной операции всегда больше одного параметра. Первым идёт контекст, дальше параметры операции

На первую пробу так и кажется, но вызвать кастом не получается. Нет примеров как это делается. https://github.com/search?l=F%23&q=CustomOperation&type=Code

У тебя в кастомной операции всегда больше одного параметра. Первым идёт контекст, дальше параметры операции

Дай человеку пример.

Дай человеку пример.

Я пока в Африке

Ок.

@yerumaku Держи. https://github.com/flashcurd/NugetDsl

Ну на выходе билдера будет запись

> Squeezing More Out of the F# Type System – Introducing Crates https://www.gresearch.co.uk/2018/04/05/introducing-crates

Странное название статьи, но там про existential types encoding.

Ну на выходе билдера будет запись

Что не удобно в моём текущем случае. Так и не нашел нормальных Custom+Return.

Ну дык не надо туда кортеж передавать

И add в данном случае тоже лучше делать билдером

Ну или на вход должен быть список

Для add [button...]

И add в данном случае тоже лучше делать билдером

В смысле?

Ну тут что тебе удобнее

Можешь билдер

Можешь массив

С билдером будут фигурные скобки

Кому-то больше нравится, чем квадратные

@VagifAbilov, расскажи! https://twitter.com/Thoriumi/status/992064143128776704

а что интересно? я в общих чертах вкурсе мы обсуждали много на F# Exchange что невозможность компилировать код оффлайн с TPами всех напрягает и пару вариантов как можно было бы это запилить… сейчас внутри должно быть сохранение ProvidedTypes на диск\кеш и переиспользование их когда нету коннекшена во время компиляции.

Доброе утро.

F# Weekly #18, 2018 – F# Tooling Support for AWS Lambda https://sergeytihon.com/2018/05/05/f-weekly-18-2018-f-tooling-support-for-aws-lambda/

а что интересно? я в общих чертах вкурсе мы обсуждали много на F# Exchange что невозможность компилировать код оффлайн с TPами всех напрягает и пару вариантов как можно было бы это запилить… сейчас внутри должно быть сохранение ProvidedTypes на диск\кеш и переиспользование их когда нету коннекшена во время компиляции.

А как это делается? Просто сохраняется разобранная ранее схема?

А как это делается? Просто сохраняется разобранная ранее схема?

вроде как нет, сохраняются сами Provided Types а потом только возвращаются (если реализация не поменялась) Дон нам сказал что ничего не должно мешять чтобы их шарить между запусками но в SQLProvider еще интереснее, они не хотели сохранять всю схему, потому что база в теории большая может быть и сам TP оч ленивый и типы догенериваются по надобности только, так вот сохранение должно быть только типов той части схемы которая используется в коде и была запрошено у TP

вроде как нет, сохраняются сами Provided Types а потом только возвращаются (если реализация не поменялась) Дон нам сказал что ничего не должно мешять чтобы их шарить между запусками но в SQLProvider еще интереснее, они не хотели сохранять всю схему, потому что база в теории большая может быть и сам TP оч ленивый и типы догенериваются по надобности только, так вот сохранение должно быть только типов той части схемы которая используется в коде и была запрошено у TP

Интересно

> Squeezing More Out of the F# Type System – Introducing Crates https://www.gresearch.co.uk/2018/04/05/introducing-crates

?

Поиграл с C#-декомпилятором, заставил его нарисовать мне статический класс с инстансным методом: https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWACgBtAHgEEAjHAJwEMBjbAYWHoggD4BdFctAnrAEAE17FsGRChYAKAJQoAvMRTqUOetgCWjFHnxUEtFAFlFKlIrUbDeY6YD6TgHQBJJFqSMEl5dYKQA=

Поиграл с C#-декомпилятором, заставил его нарисовать мне статический класс с инстансным методом: https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWACgBtAHgEEAjHAJwEMBjbAYWHoggD4BdFctAnrAEAE17FsGRChYAKAJQoAvMRTqUOetgCWjFHnxUEtFAFlFKlIrUbDeY6YD6TgHQBJJFqSMEl5dYKQA=

шли годы, игры Форневера выходили на новый уровень =)

Поиграл с декомпилятором, выиграл

Всем привет Подскажите, какой лучше подойдет подход при разработке на Giraffe? На обычном ASP.NET Core обычно применяю N-tier или Onion, а тут как лучше? Или следовать тем же принципам?

И еще, как указать явный тип у let! someLet ?

А, я понял, надо было task вместо async, забыл что это фшарповская штука

Кто-нибудь знает, как в Giraffe кошерно провернуть подобное?: routef "/%i/command" (*магия*) bindJson<Сommand> (fun id cmd -> ...)

Andrew let! (x: int) = ...

Да, я уже понял свой косяк

если ты будешь применять OOP, то зачем F#?

если нет, то покажи плиз, как ты будешь реализовывать Onion

Нет, я хочу именно на F#

И хочу на жирафе

Вот и спрашиваю как лучше

Кто-нибудь знает, как в Giraffe кошерно провернуть подобное?: routef "/%i/command" (*магия*) bindJson<Сommand> (fun id cmd -> ...)

routef "/%i/command" (fun id -> bindJson<Command> (fun cmd -> ...))

Вот и спрашиваю как лучше

Делай как получается) У нас тут pit of success

Могу посоветовать забыть про репозитории и мыслить в контексте функций. Общие куски выделяешь, а остальные дробишь как надо.

Делай как получается) У нас тут pit of success

???

Могу посоветовать забыть про репозитории и мыслить в контексте функций. Общие куски выделяешь, а остальные дробишь как надо.

Ну вот я так и делаю)

Думал это колхоз

у тебя все зависимости в итоге должны оказаться в параметрах функций. Чтобы их постоянно не передавать, тебе захочется сделать partial application.

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

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

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

free monad и интерпретировать её :)

я сильно сомневаюсь, что можно потрировать, например, scalaz 8 effects (IO)

я сильно сомневаюсь, что можно потрировать, например, scalaz 8 effects (IO)

А что там?

http://degoes.net/articles/effects-without-transformers

только не спрашивай, что это и зачем - сам еще не читал ? Но по ощущениям, это что-то типа free monad что-ли. Хотя надо всё же почитать.

Ок.

Эффекты — это интересная тема.

http://degoes.net/articles/effects-without-transformers

Оу, John De Goes - два белковых коктеля ценителю ? (крутой мужик во всех смыслах)))