я предполагал, что type matching распространяется на этот случай

ну да, полиморфно

в C# такое сработало бы через интерфейс

в C# такое сработало бы через интерфейс

И здесь сработает, если интерфейс будет.

в C# такое сработало бы через интерфейс

Есть инлайн, но на текущем уровне понимания лучше этого не делать.

в C# такое сработало бы через интерфейс

конструкция type A() = interface ISome with (* implement here *)

Есть инлайн, но на текущем уровне понимания лучше этого не делать.

А можешь подробнее рассказать (или ссылку на статью/доки кинуть)?

А можешь подробнее рассказать (или ссылку на статью/доки кинуть)?

Member constraint. https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/constraints

member constraints вообще позволяют прикольный duck typing

Хотя относится ли это к инлайну, не уверен. Мне надо разграничить термины.

Есть инлайн, но на текущем уровне понимания лучше этого не делать.

Но все равно придется member'ы дописывать.

Придется, но можно отказаться от концепции интерфейсов

А, понятно. Та самая прекрасная type Sample<'T when 'T : (member A : int)> =!

Угу

Очень круто, и интерфейсы не угнетают.

Если выделить гетер id в отдельный метод, то в принципе будет серьёзная экономия. Главное не злоупотреблять.

Привет. Продолжаю изыскания по F#. Такой вопрос: Как объявить поле в классе, типа интерфейс? но без создания объекта?

type IServiceCallback= [<OperationContract(IsOneWay = true)>] abstract member OnServiceEvent: svcPacket : SvcPacket -> unit type ServiceCallback() = interface IServiceCallback with member this.OnServiceEvent(svcPacket)= Console.WriteLine("packet") () type Service() = let mutable _callback: IServiceCallback = ; let doSomething() = _callback <- new ServiceCallback() ()

let mutable _callback: IServiceCallback = ; проблема тут

причем, если интерфейс объявить как public interface IServiceCallback { [OperationContract(IsOneWay = true)] void OnServiceEvent(SvcPacket svcPacket); } то всё прекрасно работает

let mutable _callback: IServiceCallback = null;

Не стоит пытаться программировать на f# в оо стиле

понимаю, но хочется WCF реализовать полностью на F#

let mutable _callback: IServiceCallback = ; проблема тут

Я не понял, в чем проблема. Через val не пробовал? https://msdn.microsoft.com/ru-ru/library/dd469494(v=vs.110).aspx

Особого профита не будет

Будет эдакий c# код в синтаксисе f#

member x.OnServiceEvent (packet: SvcPacket) =

вроде так, если ничо не путаю

Особого профита не будет

+++

Только что синтаксис немного выучишь

в методе doSomething, не находит проперти

Только что синтаксис немного выучишь

Ну, в некоторых случаях это может быть вынужденной необходимостью. Например, использовать C# фреймворки из F# кода (хотя для большинства случаев есть аналоги)

Опять же, неясно,как DataContractSerializer обходится,с опшнами,например

Подозреваю,что никак

понимаю, просто не хочется венигрет делать из моделей F# и C#

в методе doSomething, не находит проперти

Сделай вот что: type Service() as x = do x.SomeProperty = "Hi world"

А ты сделай провайдера с обвязкой на c#,а на f# всю доменную логику

Сделай вот что: type Service() as x = do x.SomeProperty = "Hi world"

круто, работает

Будет эдакий c# код в синтаксисе f#

Мне один необращенный жаловался, что f#исты мешают переходу постоянно критикуя за ооп артефакты. Мол дали бы перенести любимые игрушки, давно бы среди нас был. Так что лучше решить проблему без претензий к осмысленности.

А ты сделай провайдера с обвязкой на c#,а на f# всю доменную логику

Но зачем? F# умеет всё, что умеет C#. Ну, кроме всяких сахарных штуковин, типа [<ParamArray>] (словил сегодня бугурт из-за него. Параметры чёрти как передавались, а Ionide не ругался. Пришлось указывать имена параметров явно и пихать в них массивы.)

А ты сделай провайдера с обвязкой на c#,а на f# всю доменную логику

Так и было сделано, просто не спортивно как-то

Зато практично

Сейчас скорее всего получится какая-нить странная кодовая база,в которую будет тяжело вносить изменения

Крутяк, работает. Получилось избавится от C# моделей.

да, кстати к интерфейсу надо ещё аттрибут приписать [<AllowNullLiteral>], может кому-нибуть поможет :)

да, кстати к интерфейсу надо ещё аттрибут приписать [<AllowNullLiteral>], может кому-нибуть поможет :)

не стоит вскрывать эту тему

в F# _очень_ не любят null и связанные с ним Exception (да и Exception вообще)

ну, в данном случае даже не знаю как обойтись без этого.

ну, в данном случае даже не знаю как обойтись без этого.

А зачем тебе NullLiteral? Какой-то библиотеке скармливаешь или null присваиваешь?

null присваиваю

переписывал C# код

[ServiceBehavior(InstanceContextMode = InstanceContextMode.Single, ConcurrencyMode = ConcurrencyMode.Reentrant)] public class_UrlCheckerService : IUrlCheckerService, IHandle<JobArgs> { private IServiceCallback _callback; }

public bool Subscribe() { _callback = OperationContext.Current.GetCallbackChannel<IServiceCallback?);

и тд...

А, понятно. Та самая прекрасная type Sample<'T when 'T : (member A : int)> =!

В итоге получилось иначе: type SomethingWithId = { mutable Id: string } let inline storeSomething (session: IDocumentSession) (something : ^a) = let something' = (^a: (member Id: string) (something)) session.Store(something) session.SaveChanges() something'

но я не понимаю этот дикий синтаксис )

let something' = (^a: (member Id: string) (something))

но я не понимаю этот дикий синтаксис )

Я тоже.

В итоге получилось иначе: type SomethingWithId = { mutable Id: string } let inline storeSomething (session: IDocumentSession) (something : ^a) = let something' = (^a: (member Id: string) (something)) session.Store(something) session.SaveChanges() something'

let storeSomething<'a when 'a: (member Id: string)> (session: IDocumentSession) (something: 'a) = session.Store something session.SaveChanges() something.Id А вот так не пробовал?

This code is not sufficiently generic. The type variable ^a when ^a : (member get_Id : ^a -> string) could not be generalized because it would escape its scope.

This code is not sufficiently generic. The type variable ^a when ^a : (member get_Id : ^a -> string) could not be generalized because it would escape its scope.

Да, я фигню написал, это же не классический генерик.

Если нужно просто получить id (и сделать функцию, принимающую объекты, у которых есть Id), достаточно такого: let inline log instance = let id = (^a: (member Id: int) instance) ()

прикольно, получается, что ^a нигде не используется

больше похоже на шаблоны в C++, чем на дженерики

понимаю, но хочется WCF реализовать полностью на F#

Если чо, я кой-чего полуэнтерпрайзное на WCF делал вот тут: https://github.com/ForNeVeR/Tracktor/tree/master/Tracktor.Service

У меня есть небольшой опыт броьбы с WCF-специфичными проблемами на F#; меня можно спрашивать.

больше похоже на шаблоны в C++, чем на дженерики

Ну да, это так и есть. Инлайн-функции работают ближе к плюсовым шаблонам.

больше похоже на шаблоны в C++, чем на дженерики

Для интереса можно посмотреть IL или декомпилировать в C#.

У меня есть небольшой опыт броьбы с WCF-специфичными проблемами на F#; меня можно спрашивать.

Спасибо, учту :)

Хей?

Пожалуйте.

Пожалуйте.

даров )

Не стоит пытаться программировать на f# в оо стиле

Стоит, но в скала подходе. ФП для малого ООП для большего

Мне нравится, как Сайм вместо ООП говорит "object programming". С акцентом на использование параметризуемых объектов и интерфейсов, но без создания больших иерархий.

Это идиоматичный способ организации кода в F#.

> Got something to share with the #FSharp community? Say it at #FSharpX 2018! А я еще не все видео с FSharpX 2017 посмотрел.

Это идиоматичный способ организации кода в F#.

+

а можно как-то объявить массив флоатов/даблов не преписывая к каждому числу .0 ?

let array:float = [|1;2;3|] - типо вот так, и что бы оно само потом .0 поставило

Можешь только . добавлять ?

чот не удобная система

Философия такая. Типы не надо писать - они выводятся, но никаких имплисит кастов.

немного хочется тогда имплисита =)

немного хочется тогда имплисита =)

А потом ты захочешь implicit оператор из C#, и всё, нет больше @the_RAMZAY!

let array:float = [|1;2;3|] - типо вот так, и что бы оно само потом .0 поставило

Можно сделать явно, если лень приписывать точки. Экономия такая себе. let array = [|1;2;3|] |> Array.map float

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

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

Тогда мапай!

@gsomix смотри, у меня есть x и y векторы. Как мне их отрисовать в F# ?

это к той задаче по сжатию.

@gsomix смотри, у меня есть x и y векторы. Как мне их отрисовать в F# ?

FSharp.Charting