Эту фцию можно собирать с помощью квотирования

Его можно и обойти.

Обойти и построить фцию через рефлекшн. Не?

Я имею ввиду. Есть квотированое выражение, обходим его и строим фцию. Но это компайл тайм только

там есть _distraction_ mode?

Конечно, он же на базе IDEA сделан (честно говоря не могу уже без него кодить в IDEA, хреново что он в rider сломан)

Конечно, он же на базе IDEA сделан (честно говоря не могу уже без него кодить в IDEA, хреново что он в rider сломан)

Я слышал про distraction-free mode в некоторых редакторах, но вот distraction mode это сильно :)

Я имею ввиду. Есть квотированое выражение, обходим его и строим фцию. Но это компайл тайм только

Рантайм. :) А мы уже и так строим функции в рантайме. Берем то, что выдает компилятор после обработки форматной строки, и строим функцию для обработки аргументов.

Я слышал про distraction-free mode в некоторых редакторах, но вот distraction mode это сильно :)

OK, ты по делу можешь что-нибудь сказать?

Есть у кого Rider последний? Попробуйте воспользоваться подсказкам ввода F# в Distraction Free Mode. (хочу понять только у меня они не работают в нем)

У меня дома только. Вечером посмотрю.

OK, ты по делу можешь что-нибудь сказать?

Могу поставить ради эксперимента, если никто быстрее не откликнется

Короче, printf like функцию с кастомными типами сделать не получится?

Короче, printf like функцию с кастомными типами сделать не получится?

Надо подумать крепко. Я напишу, если появятся идеи.

Надо подумать крепко. Я напишу, если появятся идеи.

Без тайп провайдеров

Конечно. С тайппровайдерами-то нет никаких проблем. :)

Судьба несправедлива к F#, только-только разобрались, что делать с провайдерами, как их у нас отобрали.

Я думаю, по этой же причине никто не торопится их улучшать.

А когда они появились?

В 2012.

Время разобраться было :)

Но полезные TP нормального качества стали появляться не так и давно.

let test (str: string) ([<ParamArray>] arr : 'a list) =

Может как-то так сделать валидацию

А нет, не прокатит

А можно как-то сделать что бы допустим 4 мейлбокса обрабатывали команды из одного источника? Мне пока в голову приходит, только рандомом раскидывать им задачи.

А можно как-то сделать что бы допустим 4 мейлбокса обрабатывали команды из одного источника? Мне пока в голову приходит, только рандомом раскидывать им задачи.

Тебе нужны роутеры. Их придётся самому написать

ОК, а где можно почитать про suave? Что бы для тех кто первый раз видит, но много инфы _сжато_ Доку читаю, но там как-то разрозненно. Курсов не нашел, остается youtube, но там надо копаться, что бы найти внятный туториал.

ОК, а где можно почитать про suave? Что бы для тех кто первый раз видит, но много инфы _сжато_ Доку читаю, но там как-то разрозненно. Курсов не нашел, остается youtube, но там надо копаться, что бы найти внятный туториал.

Music store была книга

Там много экспериментальных либ конечно

ОК, а где можно почитать про suave? Что бы для тех кто первый раз видит, но много инфы _сжато_ Доку читаю, но там как-то разрозненно. Курсов не нашел, остается youtube, но там надо копаться, что бы найти внятный туториал.

https://www.gitbook.com/book/theimowski/suave-music-store И еще вариант книга "F# Applied".

Кажется, "F# Applied" есть в файлах чата.

А живые юзер есть, которые могут ответить на конкретный вопрос?

А живые юзер есть, которые могут ответить на конкретный вопрос?

Гиттер, наверное. :)

У меня никак руки не доберуться вкатиться в веб-технологии со стороны F#.

Ну, и это, @neftedollar, наверное.

Гиттер, наверное. :)

Логично (с fabel помогло). В принципе с гуглением все разрешилось (у меня там микросервис на 40 loc) Разрабатываю в Rider (потому что mono) - даже приятно и подсказки работают кажись быстрее чем в vscode и форматирование есть (но странное).

Логично (с fabel помогло). В принципе с гуглением все разрешилось (у меня там микросервис на 40 loc) Разрабатываю в Rider (потому что mono) - даже приятно и подсказки работают кажись быстрее чем в vscode и форматирование есть (но странное).

Под .Net Core?

А, тьфу, невнимательно читаю.

Под .Net Core?

Нет - suave + mono обычный. Про fable в смысле что гиттер помогли с прошлой задачей (vscode плагин на fable).

@angmarr а фантомас уже можно как экстеншн в вс код качать?

Сейчас пишу “микросервис” который будет фантомаса запускать в докере на vps и там форматировать (все open source на github). Это чисто воркэранд, что бы пощупать все вместе (над UI плагина подумать), пока не придумаем как бандлить его в сам экстеншен.

Сейчас пишу “микросервис” который будет фантомаса запускать в докере на vps и там форматировать (все open source на github). Это чисто воркэранд, что бы пощупать все вместе (над UI плагина подумать), пока не придумаем как бандлить его в сам экстеншен.

Ну в докере - такое

Привет!

Привет

я то хаскеллист, зашёл подсматривать годные идеи

я то хаскеллист, зашёл подсматривать годные идеи

Мы всем рады. :)

насколько же крут #rider, такой реактивности со времен ДОСа не помню, отладчик на голову выше студийного

эт сарказм или серьезное заявление? А то я немного выпал из контекста

серьезное. Я принципиально не смотрел ЕАПы кроме самого первого публичного превью. Приятно удивило примерно все

@Dolfik ты посмотрел сорцы fantomas? У меня есть вопрос по его архитектуре.

@Dolfik ты посмотрел сорцы fantomas? У меня есть вопрос по его архитектуре.

Особо не вникал, пока времени нет)

FAKE и Paket меня отпугивают, пока

Если копнешь в сорцы, посмотри обязательно зачем в функцию CodeFormatter.FormatDocument(path, text, FormatConfig.FormatConfig.Default) нужно передавать ссылку на какой-то файл (path), если форматирует код он из параметра text

Если копнешь в сорцы, посмотри обязательно зачем в функцию CodeFormatter.FormatDocument(path, text, FormatConfig.FormatConfig.Default) нужно передавать ссылку на какой-то файл (path), если форматирует код он из параметра text

Это нужно компилятору

ОК, а компилятору зачем это нужно? (и можно ли это обойти, допустим memorystream заюзать или byte array?)

https://fsharp.github.io/FSharp.Compiler.Service/reference/microsoft-fsharp-compiler-sourcecodeservices-fsharpchecker.html

Как круто, что у нас тут так уютно. И все помогают. Большое вам спасибо, господа и дамы.

Как круто, что у нас тут так уютно. И все помогают. Большое вам спасибо, господа и дамы.

Тебе спасибо. :)

Как относитесь к операторам типа >=> >== ? Может используете? Сделал парочку для Fable: >== :: Promise<‘a option> -> (‘a -> ’b) -> Promise<‘b option> >=> :: Promise<‘a option> -> (‘a -> Promise<‘b option>) -> Promise<‘b option> и слегка переписал код ни них. Впечатления остались противоречивые. С другой стороны Марк и Scott рекомендую “railway programming”

https://pbs.twimg.com/media/BvAi347CcAAf2Z8.png:large

А так, честно, не знаю. Наверно от бэкграунда человека зависит

У меня получилось вот такое (на скорую руку для эксперимента, потом удалю). https://i.gyazo.com/0de97cf9ee79a29d1541a546ab797037.png

Это кусок плагина от fantomas: # Пытаемся взять текст текущей страницы (api возвращает None если нет открытых окон) # => отправляем на сервер, который форматирует и возращает отформатированный код # => пытаемся обновить текст на текущей странице (надо конечно добавить проверку что это та же самая страница) ну и все это оборачивается в показ прогресс-бара

https://pbs.twimg.com/media/BvAi347CcAAf2Z8.png:large

Что это?..)

Что это?..)

в твитере нашел)

Это кусок плагина от fantomas: # Пытаемся взять текст текущей страницы (api возвращает None если нет открытых окон) # => отправляем на сервер, который форматирует и возращает отформатированный код # => пытаемся обновить текст на текущей странице (надо конечно добавить проверку что это та же самая страница) ну и все это оборачивается в показ прогресс-бара

а это операторы из фп?

те, что выше

а это операторы из фп?

Обычные bind из монад и fmap из фанктора

тут проскаивал топ лист видосов по фшарпу, он где то закреплен? А то не могу найти.

(перепинел, для закрывших)

>=> - это рыбка Клейсли. У нее стандартная сигнатура: ('a -> M<'b>) -> ('b -> M<'c>) -> (M<'a> -> M<'c>) - то есть комбинатор двух бинд функций в одну.

Прошу прощения - в конце - 'a -> M<'c>

А бинд - это »=

Вот из за путаницы опреаторы и не любят

Не суть. А вот я реально не опечатался в сигнатурах.

Я о том, что можно определять любые операторы. Но читать это потом будет нереально. К сожалению монадные комбинаторы стандартизированы крайне плохо. Опираться можно только на хаскель принятые - они хотя бы устойчивы.

А суть клейсли например в твоем случае, это возможность сказать: postAndReplaceText = postTest "asdasda" >=> replaceTest

Да я тоже из не люблю, но взялся за Suave, а там все описание на них.

В Suave вроде бы очень четко операторы прописаны. Как раз очень по хаскелевски

Разбираешся в Suave? У меня есть вопросы

Мне кажется часто путают саму монаду и монадный бинд как функцию первого порядка - отсюда вся беда

Спрашивай - смогу отвечу. Опыт правда не так чтоб большой

Мне кажется часто путают саму монаду и монадный бинд как функцию первого порядка - отсюда вся беда

Развей мысль, в чем по твоему проблема

В Suave например, основная работа идет на уровне функций, которфые второй аргумент бинда. Их комбинируют для получения единой бинд функции а потом применяют. Так очень часто. В FParsec то же самое. До самой монады как бы уже и дела нет - она появится на этапе исполнения в самом конце.

А в чём тут проблема?

Поэтому говорят о монадных комбинаторах - опреаторах, которые комбинируют (?) две (обычно) функции вида 'a -> M<'b>.

В том, что операторы путают. Они нестандартные как бы. А потом чтобы прочитать надо смотреть код опрделения опратора. И так каждый раз.

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

Я опять с сигнатурами напутал. Должно быть: M<'a> -> M<'b>

в ажур функциях захардкожен вот такой биндинг редирект: <dependentAssembly> <assemblyIdentity name="FSharp.Core" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" /> <bindingRedirect oldVersion="0.0.0.0-4.4.0.0" newVersion="4.4.0.0" /> </dependentAssembly>

могу ли я как-то f# 4.1 компилятором скомпилить dotnet SDK fsproj что бы максимальная загружаемая FSharp.Core не привышала 4.4.0.0?

Спрашивай - смогу отвечу. Опыт правда не так чтоб большой

Есть функция work :: string -> Async<string option> Можешь написать простейший POST роутинг для нее на путь “/format” (path)?

Первый релиз VSCode расширения для форматирования кода (для внутреннего тестирования). # Команда называет Fantomas: Format F# # Работает через интернет (пока не придумаем как запускать fantomas на локально) # Форматирует либо весь документ, либо выбранный кусок # Можно прибиндить на клавишу https://github.com/y2k/FantomasVSCode/releases/tag/0.1.0

Первый релиз VSCode расширения для форматирования кода (для внутреннего тестирования). # Команда называет Fantomas: Format F# # Работает через интернет (пока не придумаем как запускать fantomas на локально) # Форматирует либо весь документ, либо выбранный кусок # Можно прибиндить на клавишу https://github.com/y2k/FantomasVSCode/releases/tag/0.1.0

А paket зачем туда затолкал?)