Россия. 2018. Собеседование. — Так, а теперь поговорим о зарплате... 12 килограмм еды Вас устроит? — И бутылку вина. — Кагор. — Блин, ок

Ой, не то.

Есть web-socket, как уже говорил - в него сыплется всякое в JSON, снаружи хотелось бы разделить этот поток на несколько по типам, для этого сначала надо бы распарсить в один общий поток

Вопрос - какой тип событий должен быть в этом потоке?

IMessage

Скорее всего

Дальше варианты

Самый нормальный с моей точки зрения - на атрибутах

Ну да, ты же понимаешь проблема какая?

Чтобы is не писать

Что если между сообещниями ничего общего нет, то IMessage от Object ничем отличаться не будет?

Что если между сообещниями ничего общего нет, то IMessage от Object ничем отличаться не будет?

чисто семантика

В смысле, а как ты дождешься Authenticated?

Что если между сообещниями ничего общего нет, то IMessage от Object ничем отличаться не будет?

Это пофиг

ты видишь что туда не всё отправляется

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

а то что с маркером

Ну это мелочи, на самом деле.

DU тебе позволяет набор сообщений ограничить.

Ну в смысле DU со всеми возможными контрактами того API - лучше

DU тебе позволяет набор сообщений ограничить.

Аналогично их можно ограничить другим способом

С помощью DI, например

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

В случае IMessage - это конкретный тип сообщения, в случае DU - кейс

Ты фактически DU эмулируешь через тулинг OOP

DU - всего лишь один из способов понять, что мне надо сделать

(стикер с Егором)

DU - всего лишь один из способов понять, что мне надо сделать

Подробнее, пожалуйста. Например, у меня есть слот, куда кладутся разные структуры на выбор пользователя (не массивом или массивом), сам слот представлен как DU. Но что вы имеете в виду в своём примере под "всего лишь один из способов понять, что мне надо сделать"

Подробнее, пожалуйста. Например, у меня есть слот, куда кладутся разные структуры на выбор пользователя (не массивом или массивом), сам слот представлен как DU. Но что вы имеете в виду в своём примере под "всего лишь один из способов понять, что мне надо сделать"

В случае F# - это нативный способ

В случае С# - там другие варианты

Не понятно

Ок, это называется - ADT, Algebraic Data Types

Понятно ли, что тапл и рекорд - одно и то же?

Просто у рекорда позиции в списке имеют название, а у тапла - номер.

В дискретной математике это называется "Коньюнкция".

Собственно дальше для описания данных в дискретной математике есть "Дизьюнкция"

В F# - это Discriminated Unions, в C# - приходится играться с наследованием.

Проблема наследования в том, что DU описывает набор всех возможных кейсов, а наследование - позволяет расширять.

И тебе, чтобы перебрать все варианты уже приходится использовать полимформизм вместо того, чтобы написать if/switch/patter-matching

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

Проблема наследования в том, что DU описывает набор всех возможных кейсов, а наследование - позволяет расширять.

Сразу по синтаксису, DU это тоже расширение же, и не нельзя создавать общие поля, например - почему?

DU - это не расширение, это как раз пересечение, у тебя оно всегда один из вариантов перечисленных.

И ровно один.

DU - это не расширение, это как раз пересечение, у тебя оно всегда один из вариантов перечисленных.

Значит плохие переводы

Я к тому, что коньюнкция и дизьюнкция позволяют описать любые структуры данных (не задумывался как доказать этот факт)

Это объединение ВСЕХ кейсов

Я к тому, что коньюнкция и дизьюнкция позволяют описать любые структуры данных (не задумывался как доказать этот факт)

Ещё ссылка на самого себя нужна. Этих трёх тогда хватает

Анна, в смысле рекурсивные структуры?

Анна, в смысле рекурсивные структуры?

да

У меня дискретка больше 15 лет назад была, все вылетело из головы.

Ещё ссылка на самого себя нужна. Этих трёх тогда хватает

Это чтобы деревья строить?

А ссылка на самого себя - какой термин в математике?

Это чтобы деревья строить?

Да

Это чтобы деревья строить?

И список

Надо, шоле, где-нить курс по дискретке пройти

Для общего образования

А ссылка на самого себя - какой термин в математике?

Не помню. Для конъюнкции и дизъюнкции же тоже есть красивые названия - "типы-суммы" и "типы-произведения"

А то как лох последний

ну да, record/tuples, discriminated unions

Не помню. Для конъюнкции и дизъюнкции же тоже есть красивые названия - "типы-суммы" и "типы-произведения"

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

A / V

^ v точнее

только большие

Итого, список из cons-ячеек это сразу все три вида: Или None, или запись из головы и ссылки на хвост (рекурсивно)

type List 't = (::) of 't * List 't | []

https://www.brianthicks.com/guide/functional-sets/ - во, хорошая статья

ну да, record/tuples, discriminated unions

только record - это произведение, а DU - сумма

Да, я всегда их путал

Логично

кортеж - произведение

Теория категорий, вот это вот все

Нет, это дискретная математика, это не теория категорией

То есть теория категорий, это скорее часть дискретной математики, и ADT не в нее входит (как мне кажется)

Я могу врать, проверяйте в вики.

не думаю что это часть дискретки

Понятно ли, что тапл и рекорд - одно и то же?

Понятно. Далее... > В дискретной математике это называется "Коньюнкция". То есть это условия для полей или вообще список полей? > Собственно дальше для описания данных в дискретной математике есть "Дизьюнкция" Это уже сами Cat | Dog | Banana > Проблема наследования в том, что DU описывает набор всех возможных кейсов, а наследование - позволяет расширять. на С# abstract-override модель, а на F# записи в DU (по сути совокупность) и там и там есть общие свойства (параметрический полиморфизм) и методы, не могу понять слово "расширять" не в контексте ООП - добавление полей к записи?

ООП - это про данные с поведением, мы же просто про данные сейчас

Ну и да, как выяснилось, я вероятно коньюнкцию с дизьюнкцией перепутал.

Я просто про то, что в F# есть ADT из коробки, в C# их приходится эмулировать

В C# - два из трех понятия математических

В C# - два из трех понятия математических

?

Ну для описания структур данных в математике вводятся три термина - коньюнкция, дизьюнкция, ссылка на себя, как поправила меня Анна.

В C# есть только рекорды/таплы + ссылка на себя

Или ссылка на тип? Не обязательно же на себя?

Или ссылка на тип? Не обязательно же на себя?

На тип

Я уже забыл о чем беседа была ?

В C# есть только рекорды/таплы + ссылка на себя

Вы к тому, что на C# нет дизьюнкции

В смысле DU в C# приходится выдумывать ее, да.

типа имьютабл класс с ограниченным количеством конструкторов

public sealed class MyDU { public readonly string StrValue; public readonly int? IntValue; public MyDU(string str) { ... } public MyDU(int n) { ... } }

И потом в коде проверять каждое из свойств на null

И в F# exhaustive pattern matching из коробки. А в C# решарпер же с этим помогает?

Да, предлагает кейсы по enum сгенерить

Плюс юнит-тесты приходится писать, что все кейсы обрабатываются

Кстати там же в какой-то версии в C# тоже это все обещают?

Как бы сбежать из дотнета к этому времени ж)

Как сделать проверку типа, например это класс Cat или Banana, чтобы потом поместить в DU в правильный конструктор? Просто не смог найти примеров typeof

Как сделать проверку типа, например это класс Cat или Banana, чтобы потом поместить в DU в правильный конструктор? Просто не смог найти примеров typeof

Просто чтобы не делать Cat и Banana общего родителя с полем-перечислитем

Кстати там же в какой-то версии в C# тоже это все обещают?

в немерле ё ?