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