Ну т.е. лично я пока считаю это косяком проекта.

Это я понимаю

Получается, райдер ведет себя более правильно в данном случае

Хотя как быть с оверрайдом настроек, непонятно

Хотя как быть с оверрайдом настроек, непонятно

Вместо <Compile Include=> пиши <Compile Update=>

Хммм

Буду знать

Я тоже не знал, но наш специалист по msbuild подсказал :)

Вопрос в том, как быть с проектами, которые редактируются и там, и там

Вопрос в том, как быть с проектами, которые редактируются и там, и там

По идее, в них правильно написать Update — и это будет без сюрпризов работать везде

ебучие китайцы и сюда добрались

Так, ботов щас закиляем, не троньте

Written in C on tablet using Vim and hosted on tablet.

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

По идее, в них правильно написать Update — и это будет без сюрпризов работать везде

В студии не работает

Written in C on tablet using Vim and hosted on tablet.

Я вчера этот планшет видал, чистая правда.

В студии не работает

Мы проверяли и всё норм работало, в каком сценарии не работает?

Я вчера этот планшет видал, чистая правда.

сильно очень

<Project Sdk="Microsoft.NET.Sdk"> <PropertyGroup> <TargetFramework>netcoreapp2.0</TargetFramework> <IsPackable>false</IsPackable> </PropertyGroup> <ItemGroup> <Compile Update="RobotName.fs" /> <Compile Update="RobotNameTest.fs" /> <Compile Update="Program.fs" /> </ItemGroup> <ItemGroup> <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.8.0" /> <PackageReference Include="xunit" Version="2.3.1" /> <PackageReference Include="xunit.runner.visualstudio" Version="2.3.1" /> <PackageReference Include="FsUnit.xUnit" Version="3.2.0" /> <DotNetCliToolReference Include="dotnet-xunit" Version="2.3.1" /> </ItemGroup>

Это что?

Такую хрень студия уже не грузит

Погоди, а для F# разве вообще есть автовключение файлов в проект?

Это что?

Это ботоубийца

Свой, у меня доступ к сорцам есть.

А, круто

Ну я про фшарп, да

Ну я про фшарп, да

В F# не получится сделать update на этих элементах, потому что их нету в дереве, не?

Ну то есть для fsproj там надо писать инклуд и это должно работать.

В райдере задваивает

Апдейт не получится, да

В райдере задваивает

Давай тогда подробнее, где у них энти проекты скачать?

exercism.io

У меня задваивались как-то раз, когда я пытался открыть проект, не устанавливая F# SDK

Регаешься, качаешь хелло волд

Окей, я чуть позже сам посмотрю эти проекты и разберёмся. Там F#?

Угу

F# на машине установлен

В общем, в случае fsharp там есть над чем подумать, т.к. порядок важен

В общем, в случае fsharp там есть над чем подумать, т.к. порядок важен

Не о чем там думать, ведь в F#-проектах по дефолту эта галочка с автовключением файлов не включена

Поэтому все обычные проекты нормально отображаются в Rider.

Видимо, там проект какой-то необычный.

ВОзможно

Но с виду вроде ничего особо подозрительного

@fvnever Бот не сработал.

Потестил генерацию стабов для записей в Ionide.

Отлично!

Да, мне тоже крайне понравилось. Работает без нареканий

Потестил генерацию стабов для записей в Ionide.

Это как?

https://twitter.com/IonideProject/status/1022582877131821057

А, да

Я вырубил планшет, пока на речке ездил

@fvnever Бот не сработал.

^

Ок!

По идее, он сам разгребёт очередь и всех поубивает, когда проснётся.

О, работает.

Отлично!

@fvnever Передайте господину Алексу спасибо. ;)

По идее, он сам разгребёт очередь и всех поубивает, когда проснётся.

а как убивает?

По идее, он сам разгребёт очередь и всех поубивает, когда проснётся.

> writen in C мне уже страшно

а как убивает?

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

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

Печально. А он не должен быть админом?

Печально. А он не должен быть админом?

А он и есть админ.

А если ложноположительное срабатывание?

А если ложноположительное срабатывание?

До сих пор никто не жаловался!

До сих пор никто не жаловался!

Так мб потому что не могли?)

Ну, мы его заточили конкретно на эти дурные ники.

Ок

Роботы отнимают работу!

?

MWA HA HA HA

Роботы отнимают работу!

И накручивают кол-во эфшарперов

И накручивают кол-во эфшарперов

Хотя бы на одного

Роботы отнимают работу!

интересно что ли тебе этих унылых восточных ботов выгонять?

Роботы отнимают работу!

Время крушить паровые машины

И накручивают кол-во эфшарперов

Я не уверен, что боты считаются.

Проверил — считаются.

интересно что ли тебе этих унылых восточных ботов выгонять?

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

Так, @gsomix, иди ка в @fsharp_flood, пока не побанил.

И где кавалерия

Может кто-нибудь подсказать: в F# есть ли до сих пор ограничение на то, что type provider не может генерить DU, модули и другие специфичные для F# типы?

Может кто-нибудь подсказать: в F# есть ли до сих пор ограничение на то, что type provider не может генерить DU, модули и другие специфичные для F# типы?

Да. А есть хороший юзкейс?

Да. А есть хороший юзкейс?

Ага, автоматическая генерация Free и сопутствующей машинерии для данного интерфейса. Примерно как вот в такой либе для скалы делается: http://frees.io/docs/core/algebras/

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

Ага, автоматическая генерация Free и сопутствующей машинерии для данного интерфейса. Примерно как вот в такой либе для скалы делается: http://frees.io/docs/core/algebras/

Для этого нужно сначала научить провайдеры параметризоваться типами (работа идет, но медленно).

А можно для тупых- фри монадки по интерфейсам?

Для этого нужно сначала научить провайдеры параметризоваться типами (работа идет, но медленно).

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

Давно не следил в целом за F# экосистемой, поэтому подробности про современное состояние дел с провайдерами не знал, думал вдруг что-то поменялось.

А можно для тупых- фри монадки по интерфейсам?

Сейчас набросаю, что я имею в виду.

А можно для тупых- фри монадки по интерфейсам?

Суть в том, что любой интерфейс можно определенным образом выразить через специально сконструированный DU, который можно будет использовать вместе с Free. Во, даже нашел вроде похожую на правду статью, где как это сделать для случая F# даже подробно расписано: http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/ См. там пункт Refactor interface to functor и следующий Free monad recipe Может появиться вопрос: а зачем это нужно и какая практическая польза? Например, польза в том, что можно таким образом делать referential transparent обертку к каким-то существующим грязным АПИ. Как пример этого: https://tpolecat.github.io/doobie/ который является таким образом сделанной чистой оберткой над jdbc.

Короче, в скале ща модно final tagless