Подскажите, пожалуйста, как правильно называется эта фича? type FooType = {Id: int} type AnotherFooType = FooType

Подскажите, пожалуйста, как правильно называется эта фича? type FooType = {Id: int} type AnotherFooType = FooType

первое - это тип-запись, второе алиас для первой, но не тип https://fsharpforfunandprofit.com/posts/overview-of-types-in-fsharp/

Т.е. это все тот же тип?

Т.е. это все тот же тип?

Да.

Жаль(

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

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

Это и подразумевается под "тот же тип". :)

Это и подразумевается под "тот же тип". :)

:) да, здесь чисто терминологическое расхождение :) Я поторопился ответить, прочитав "все же тип". Правильный ответ - это конечно "да", то есть они неотличимы для системы типов

Жаль(

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

У меня проблемма в том, что есть много тиопов запросов, запрос я представил как Record type AbstractQuery = { MethodModule: string; MethodName: string; QueryParams: IDictionary<string, string>; ApiVersion: float }

Все данные для всех запросов одинаковые, но я хочу ограничить с помощью типизации методы, которые можно применять к запросам

И пока не придумал ничего лучше, как сделать это с помощью композиции Record'ов type MessageQuery = { Query: AbstractQuery } type AccountQuery = { Query: AbstractQuery } type GroupQuery = { Query: AbstractQuery }

Может, у кого-то есть идеи, как сделать лучше?

Проще: type MessageQuery = MessageQuery of AbstractQuery

если обернуть типа type GetQuery = GetQuery of AbstractQuery, то вроде нормально получается

Да, еще можно навесить на тип аннотацию [<Struсt>], чтобы лишних аллокаций не было.

деконструирование можно сразу в сиигнатуре метода сделать let SomeMethodOnMessage (MessageQuery query) = ... process as abstract query

А из-за чего будут лишние аллокации?

А из-за чего будут лишние аллокации?

Если не навешивать [<Struct>], то у тебя все скомпилируется в классы, которые на куче аллоцируются.

А со [<Struct>] будет почти zero-cost абстракция. :)

Если не надо прокидывать в другие методы

Тут палка о двух концач ? - можно потерять на боксинге + аллокация

может это преждевременно, о такой оптимизации думать? Может там Сиквел-запросы

может это преждевременно, о такой оптимизации думать? Может там Сиквел-запросы

Да, конечно. Я просто для расширения кругозора рассказываю. :)

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

Благодарю! Теперь для C# это разные классы

Проще: type MessageQuery = MessageQuery of AbstractQuery

Благодарю! Теперь для C# это разные классы

а может вот так type Query = | MessageQuery of AbstractQuery | AccountQuery of AbstractQuery | GroupQuery of AbstractQuery

Мне нужно ограничить пользователю методы, применимые к различным типам запросов. На MessageQuery в параметры можно добавить body, в остальные нельзя

Несколько билдеров

Well, thats an idea

Разобрался наконец с fluent validation, на фшарпе просто страх =) let expr = <@ Func<MyModel, obj>(fun m -> box m.Id) @> |> QuotationToLambdaExpression modelBuilder.Entity<MyModel>().HasKey(expr) |> ignore

фиг там, не работает =( надо дальше разбираться

https://stackoverflow.com/a/18383229/1780648

вот это должно было помочь но нет =) когда пишешь m -> m.Id ругается компилятор, т.к. указан object в типе результата а если написать m -> box m.Id тогда невалидный экспрешн. Патовая ситуация, похоже F# не совместим с fluent api

Так, сорри за панику, получилось обойти =) в функции хелпере надо на вход 'a и 'b на вход принимать, а на выходе уже 'a и obj

Всем привет. Кто-нибудь использовал F# FAKE Wix?

Интересует момент создания ярлыков. Никак не могу вкурить как их создать

Ну это скорее по виксу вопрос

Как называются функции, которые конвертируют один тип монад в другой?

Как называются функции, которые конвертируют один тип монад в другой?

Natural transformation.

Или что ты имеешь в виду?

TIL В F# сборках хранится информация о type aliases.

Почему-то не задумывался об этом раньше.

Доброго дня, товарищи! Такой вопрос - вы тут недавно ковырялись в провайдерах и мне бы хотелось знать, какие неожиданные или неочевидные штуки вы при этом встречали? Как обычно, интересуюсь с корыстными целями использования в докладе :)

@fvnever @Dolfik

Отвечает Господин Фридрих

Доброго дня, товарищи! Такой вопрос - вы тут недавно ковырялись в провайдерах и мне бы хотелось знать, какие неожиданные или неочевидные штуки вы при этом встречали? Как обычно, интересуюсь с корыстными целями использования в докладе :)

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

Доброго дня, товарищи! Такой вопрос - вы тут недавно ковырялись в провайдерах и мне бы хотелось знать, какие неожиданные или неочевидные штуки вы при этом встречали? Как обычно, интересуюсь с корыстными целями использования в докладе :)

Я подумаю

А я думать не стану, не приучен!

Что конкретно беспокоит?

что вместо 'C подставился obj?

да

понятное дело, если типы не указаны, возможен вывод obj

Контекста не хватает.

боюсь, быстро предоставить минималистичный пример не смогу =\

Откуда должен тип 'C вывестись? Из какого контекста?

type MessagingManager<'C> (...) = ... let sender = MailboxProcessor.Start((fun (inbox: MailboxProcessor<SenderCommand<'C>>) ->

и сейчас, конечно же, на дженерик-параметр класса интеллисенс ругается, что он может быть только obj

type MessagingManager<'C> (...) = ... let sender = MailboxProcessor.Start((fun (inbox: MailboxProcessor<SenderCommand<'C>>) ->

Непонятно, откуда должен вывестить тип 'C. У тебя sender просто значение, которое не параметризуется каким-либо типом.

имеется это в виду?

Нет. Что ты хочешь сделать? :)

Может фабрику агентов с возможностью указать тип в SenderCommand?

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

Ага! А покажи, как класс ообъявляешь.

type MessagingManager<'C> ( cts: CancellationTokenSource, raftRequestProcessor, raftResponseProcessor, config) as self = ... let sender = MailboxProcessor<SenderCommand<'C>>.Start((fun inbox -> ...

type MessagingManager<'C> ( cts: CancellationTokenSource, raftRequestProcessor, raftResponseProcessor, config) as self = ... let sender = MailboxProcessor<SenderCommand<'C>>.Start((fun inbox -> ...

Должно работать. Может отступ слетел, и твой агент за пределами класса?

вроде нет

я сейчас попробую отделить предметную область от этого класса, чтобы он не зависил от половины окружающего проекта, но странная ошибка =\

вроде нет

Странно. Я набросал небольшой пример. http://bit.ly/2yrKYMd

Можно посмотреть в C# код, в конструкторе создается агент с генерик-параметром класса.

в том-то и дело, что в соседнем файле всё ок: type RequestManager<'C>(cts: CancellationTokenSource, config: RequestConfig, requestSender, responseProcessor, receiver, req: RequestData<'C>) = let requestAgent = MailboxProcessor<SenderInfo * ResponseMessage>.Start((fun inbox ->

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

Мерси, буду благодарен!

Btw, просто если есть вопросы по провайдерам - пишите! Отвечу сначала здесь (может не сразу, аврально доделываю доклад), а потом и в докладе :)

разве код, расположенный далее должен перекрывать типы, указанные явно?

Муть какая-то. Может студия тупит?

хотяя тут подсветка синтаксиса уже ломается

Если навести на 'C, то какое сообщение об ошибке?

This type parameter has been used in a way that constrains it to always be 'obj'

This type parameter has been used in a way that constrains it to always be 'obj'

Я попробовал похожую ситуацию воссоздать. Нужно ковыряться в реализации агентов в MessagingManager. http://bit.ly/2zqk85f

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

This type parameter has been used in a way that constrains it to always be 'obj'

Кажется я знаю в чём проблема

@gsomix помнишь такое было в Natty?

Неа.

Pavel у тебя там не printf-like функция в аргументе?

в type MessagingManager<'C> ( cts: CancellationTokenSource, raftRequestProcessor, raftResponseProcessor, config) as self = функция raftResponseProcessor имеет тип что-то -> unit

Похоже в этом косяк, да

У меня есть такая функция в коде: let sqlQueryf a = printfFormatProc sqlProcessor a и выдавало такую же ошибку как у тебя, когда я пытался сделать так: let sqlQueryf<'x> a = printfFormatProc sqlProcessor a

Ломается всё из-за такой конструкции: PrintfFormat<'a, _, _, 'd>

ну у меня ничего рядом с printf нет, только сигнатура в юнит

т.е. проблема не в формате

в type MessagingManager<'C> ( cts: CancellationTokenSource, raftRequestProcessor, raftResponseProcessor, config) as self = функция raftResponseProcessor имеет тип что-то -> unit

что-то — это что? :)

А RequestProcessor?

@gsomix ты не вспомнил? :)