Vasily
Анна
из последних громких - "дело БелТА"
Nikolay
Vasily
Я б не стал
Nikolay
Анна
Почитаю, спасибо
TLDR - в нескольких новостных порталах устроили обыски с заведением уголовных дел на сотрудников, потому что кто-то читал по чужому/просроченному аккаунту платную ленту агенства БелТА. Типа они офигительные хакеры
Nikolay
Nikolay
Чёт желание отпало :D
Анна
Весело там у вас
я уже и привыкла как-то. Родной российский тлен уже не как родной воспринимается :)
Анна
короче, почти как настоящий белорус. Если белоруса повесить, ему будет сначала плохо, потом привыкнет
Анна
мне тоже передаются национальные черты 🙃
Nikolay
Анна
Анна
в сочетании с "тлен" нужна большая буква или что? :)
Nikolay
Я думал ты настоящий белорус
Анна
Nikolay
Ааа
Анна
я без малого 7 лет здесь живу
Nikolay
Я тоже уже 7 лет
Nikolay
В своём городе
Nikolay
Правда
Vladislav
В пустоши
Vladislav
С супермутантами
Анна
Romɑn
Hog
пишешь без акцента
Я пишу Тотальный Диктант каждый год :) даже пару раз удавалось получить 4
Vasily
Фотка уже пиндосская,канеш
Vasily
Улыбка Гарольда
Vasily
Вот это вот все
Hog
Igor
Ребят, а enum в C# это алгебраичиский тип данных?
Ayrat
нет, он незакрыт же
Ayrat
enum Abc
{ A, B, C }
var enumCase = (Abc) 5; //oops
Ayrat
ну или как оно там пишется на C#
Ayrat
т.е. это вообще не юнион чего угодно
Ayrat
но я думаю найдутся люди которые скажут что это можно считать типом суммой.
Vasily
Нельзя это считать суммой
Igor
Vasily
Там та же фигня
Igor
Там та же фигня
Не совсем, там это скорее набор синглтонов и в int не каститься
Igor
Да и вообще чем
type Month = September | October | ...
оличается от enum в java?
Bonart
Тем что September может быть не только нуль-арным
Romɑn
https://twitter.com/touzoku/status/1034343775479296000?s=12
Анна
Анна
у нас конечно не японцы, но мы поймём
Анна
Igor
Igor
Или type с конструкторами без "нагрузки", уже не ADT?
Ayrat
Потому что такой енам это частный случай типа суммы над пустыми продактами. Если пытаться натянуть сюда алгебру то окажется что такой тип не дистрибутивен. Конец
Igor
> Потому что такой енам это частный случай типа суммы над пустыми продактами
Так все таки можно ли считать, что java-enum это "частный случай"?
(те понятно что мы не можем вырать други случаи, более общие)
Ayrat
Igor
Igor
Что-то мне сложно представить, а это не тоже самое что?
type Foo = A of unit | B of unit | ...
Igor
Те, а A и B это же "конструкторы" и какая у них сигнатура тогда?
Ayrat
Почти. Только нам нужно identity для умножения. Оно в этом случае совпадает с юнитом
Ayrat
А в общем случае это пустой продакт
Ayrat
есть как бы число 0, пустое множество, а есть пустая сумма и пустое умножение.
В некоторых случаях эти термины сводятся в один объект, но не всегда
Dr. Friedrich
Dr. Friedrich
Dr. Friedrich
В морге вот у меня интересная работа была, например.
Ayrat
Roman
Dr. Friedrich
Dr. Friedrich
Это ты к докладу готовишься?
Vladislav
я с полгода назад ее себе поставил, боже, сколько с ней ебли
Vladislav
еще и нет дров от слова совсем
Vladislav
не помню каким макаром я нашел себе драйвера на нвидию
Vladislav
потому что их на оффсайте уже не было, если не ошибаюсь
Vladislav
(всё ради того чтобы поиграть часик в старую игру)
Анна
Анна
Не, не тот стикер
Анна
Ну криповатые коты всё равно подходят
Dr. Friedrich