Мне уже даже неловко)

@neftedollar https://hastebin.com/enopepuzeq.fs

крутой!

Мне уже даже неловко)

все ок.

ща

Я пошел спать, но накалякал тут, хз имеет ли это право на жизнь: [<AutoOpen>] module ChatId = type private _chatId = | OfInt of int | OfBigInt of bigint | OfString of string type ChatId private (chatId : _chatId) = new (chatId) = ChatId (OfInt chatId) new (chatId) = ChatId (OfBigInt chatId) new (chatId) = ChatId (OfString chatId) member private this.Content with get () = chatId override this.ToString() = chatId |> string override this.Equals(other) = match other with | :? ChatId as other -> other.Content = this.Content | _ -> obj.Equals(other, this) override this.GetHashCode() = this.Content.GetHashCode() let p0 = ChatId 12 let p1 = ChatId "qwe" let p2 = ChatId 12I

@neftedollar Да, получилось интересно. Главное, чтобы никто не додумался это в реальном коде использовать.

ща

module A = type ChatId = | IntId of int type Username = | Username of string type ChatType = | Private | Group | Supergroup | Channel //https://core.telegram.org/bots/api#chat //Это приходит из телеграма. type Chat = { Id : ChatId Type : ChatType Title : string option Username : Username option AllMembersAreAdmins : bool /// ... } type SendChatId = | Id of ChatId | Username of Username let sendMessage (id:SendChatId ) options = () ///http.Call POST ... // или module B = type ChatID = | Id of int | Username of string type Chat = { Id : ChatID Title : string option Username : ChatID option AllMembersAreAdmins : bool /// ... } let sendMessage (id:ChatID ) options = () ///http.Call POST

module A = type ChatId = | IntId of int type Username = | Username of string type ChatType = | Private | Group | Supergroup | Channel //https://core.telegram.org/bots/api#chat //Это приходит из телеграма. type Chat = { Id : ChatId Type : ChatType Title : string option Username : Username option AllMembersAreAdmins : bool /// ... } type SendChatId = | Id of ChatId | Username of Username let sendMessage (id:SendChatId ) options = () ///http.Call POST ... // или module B = type ChatID = | Id of int | Username of string type Chat = { Id : ChatID Title : string option Username : ChatID option AllMembersAreAdmins : bool /// ... } let sendMessage (id:ChatID ) options = () ///http.Call POST

module A = let sendMessageId (id:ChatId) option = sendMessage (Id <| id) option let sendMessageUsername (username:Username) option = sendMessage (Username <| username) option module B = let sendMessageId (id:int) options = sendMessage (Id <| id) options let sendMessageUsername(username : string) options = sendMessage (Username <| username) options можно добавить дял каждого из вариантов

@neftedollar Да, получилось интересно. Главное, чтобы никто не додумался это в реальном коде использовать.

Но почему?)

В F# можно как-нибудь получить доступ к this из конструктора типа?

А зачем?

В конструкторе вьюмодели инстанциирую листенер и надо подписать PropertyChanged на его MessageReceived.

В общем-то можно base.OnPropertyChanged, но это как-то аутистично.

Когда есть пропертя.

do

После объявления проперти

let and do bindings must come before member and interface declarations in type definitions

А до он чото всё равно не видит this.

Это баг или фича?

RJl gjrf;b

Код покажи

base тоже запрещает юзать :(

SocketServer на самый верх

А интерфейсов для записей нет?

do не нужен

Есть просто интерфейсы

И просьба код через pastepin гонять

*pastebin

Со скриншотами херово

Есть такой аргумент:

InlineKeyboardMarkup or ReplyKeyboardMarkup or ReplyKeyboardRemove or ForceReply

В C# я бы сделал интерфейс IReply и для каждого типа наследовал бы его

Как это в F# сделать лучше?

DU

https://gist.github.com/Worldbeater/b950feadec18c762e680d24256b1a343 Ругается на анекспектед идентифиер ин мембер дефинишон (???)

type Reply = | InlineKeyboardMarkup of InlineKeyboardMarkup | ReplyKeyboardMarkup of ReplyKeyboardMarkup | ReplyKeyboardRemove of ReplyKeyboardRemove | ForceReply of ForceReply

Такой?

socketServer.MessageReceived.Add(fun message -> sprintf "%s\r\n%s" historyText message |> fun msg -> base.SetField (&historyText, msg, "HistoryText") |> ignore)

В самый низ

Base не нужен

Хотя можно просто base выкинуть

type Reply = | InlineKeyboardMarkup of InlineKeyboardMarkup | ReplyKeyboardMarkup of ReplyKeyboardMarkup | ReplyKeyboardRemove of ReplyKeyboardRemove | ForceReply of ForceReply

ПРимерно

Там можно и рекорды пихать и что угодно

Блин, опять некрасиво получается

Что хочешь сделать-то?

В самый низ

Всё равно с той же ошибкой ругается

base e,thb

убери

Что хочешь сделать-то?

Хочу сделать интерфейс для записей)

не влияет аще

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

Пойду гуглить короче

&historyText - это шо,

?

Зачем тебе там byref?

Зачем тебе там byref?

type ViewModelBase () = let propertyChanged = Event<_, _>() member internal this.OnPropertyChanged (propertyName: string) = (this, PropertyChangedEventArgs propertyName) |> propertyChanged.Trigger member internal this.SetField<'T> (property: byref<'T>, value: 'T, name: string) = property <- value this.OnPropertyChanged name interface INotifyPropertyChanged with [<CLIEvent>] member this.PropertyChanged = propertyChanged.Publish лаконичный SetField от ViewModelBase

Ща

@Fuyfuy Привет!

Кароч чот не хочет он давать доступ к пропертям в конструкторе

Ща ещё погуголю

ПОлный код бы

@gsomix привет!

С определением SocketServer и FuncCommand

Он не может перезаписать мьютабл переменную в конструкторе даже (та же ошибка)

Мб я косолапый

МИнуту

@Worldbeater https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/constructors

> Self Identifiers in Constructors

@Worldbeater https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/constructors

Оч долго втыкаю

> Self Identifiers in Constructors

Ааааа

Спасибо!!!!

type Test() = let mutable field ="" do field<-"111"

@Worldbeater Да, и про do там тоже почитай.

Ну или as this, конечно

https://gist.github.com/Worldbeater/b950feadec18c762e680d24256b1a343 остановился на таком в общем. спасибо посоны ??

Сам ты посон

Я посоном лет 20 назад был :)

Ой, у меня ещё вопрос, возможно тупой. Есть строка X. С ней надо сделать 2 или более операции (и игнорировать возвращаемые результаты). Есть ли для таких целей сахар по типу пайпов? Типа: "myString" => LogHere => LogThere

@danslapman Привет!

Привет!

Привет!

[f1;f2]|>Seq.iter (fun x-> x s)

@Worldbeater Выше еще советовали ввести функцию tee. let inline tee fn x = x |> fn |> ignore; x

Спасибо!!

Выложил своё позорище на гитхаб

https://github.com/Dolfik1/Funogram

https://github.com/Dolfik1/Funogram

Ура! Есть куда отправлять пуллреквесты

Ура! Есть куда отправлять пуллреквесты

;)

Но оно ещё не работает, наверное, не тестил

@danslapman @Fuyfuy привет! Расскажите о себе?) есть опыт с f#?

Но оно ещё не работает, наверное, не тестил

Не важно, главное писать)

ну что рассказать, около 5 лет писал на .NET, пару лет назад ушёл в Scala (этот чат упоминали в скалачате), F# использую до сих пор для скриптов (не перевариваю питон и всё прочее динамически типизированное) В бытность дотнетчика запиливал (от отчаяния) PatternMatching на деревьях выражений для C# https://github.com/danslapman/PatternMatching

ну что рассказать, около 5 лет писал на .NET, пару лет назад ушёл в Scala (этот чат упоминали в скалачате), F# использую до сих пор для скриптов (не перевариваю питон и всё прочее динамически типизированное) В бытность дотнетчика запиливал (от отчаяния) PatternMatching на деревьях выражений для C# https://github.com/danslapman/PatternMatching

О! Круто! Опытные пользователи, пусть даже и уже не практикующие это приятно)