В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Software Design/Architecture/Zen

1840 membersпожаловаться на группу
2020 October 22

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Создаст - получит неверный результат работы с созданным "типом" - ссзб, что не проверил инвариант или не использовал уже написанный ранее конструктор
Както не очень получается. Я хочу доверять типам. А не надеяться.
источник
18:53пожаловаться#1

VS

Vlad Sobenko in Software Design/Architecture/Zen
Но сделать тип видимым только в модуле - решило бы проблему.
Но наверное не в typescript с duck тайпингом.
источник
18:56пожаловаться#2

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
А $this->val где используется? вхолостую?
В том и фишка, что он в логике не нужен нигде. Может только в инфаструктуре.
источник
19:05пожаловаться#3

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in Software Design/Architecture/Zen
Vlad Sobenko
Но сделать тип видимым только в модуле - решило бы проблему.
Но наверное не в typescript с duck тайпингом.
Да, есть языки с более строгими типами (хаскель?), а других приходится рантайм-инварианты писать. Класс, как тип (выше писали) не полон, ибо основан на теории множеств, а не на теории категорий
источник
19:10пожаловаться#4

SM

Sergey Milimko in Software Design/Architecture/Zen
есть языки с ещё более строгими системами типов: idris, agda и т.д.
источник
19:11пожаловаться#5

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Да, есть языки с более строгими типами (хаскель?), а других приходится рантайм-инварианты писать. Класс, как тип (выше писали) не полон, ибо основан на теории множеств, а не на теории категорий
А можно гдето кратко об этом прочитать о классах и их неполноценности в теории категорий?
А то руки пока не дошли почитать по фп матану книги.
источник
19:12пожаловаться#6

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in Software Design/Architecture/Zen
Vlad Sobenko
А можно гдето кратко об этом прочитать о классах и их неполноценности в теории категорий?
А то руки пока не дошли почитать по фп матану книги.
Тут вроде была хорошая линка: https://t.me/oop_ru/144997
Telegram
Mykola Palamarchuk in Software Design/Architecture/Zen
Мне эта больше нравится: http://math.mit.edu/~dspivak/teaching/sp13/CT4S.pdf
источник
19:14пожаловаться#7

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Тут вроде была хорошая линка: https://t.me/oop_ru/144997
Telegram
Mykola Palamarchuk in Software Design/Architecture/Zen
Мне эта больше нравится: http://math.mit.edu/~dspivak/teaching/sp13/CT4S.pdf
Не очень кратко как то) Но спс.
источник
19:15пожаловаться#8

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Тут вроде была хорошая линка: https://t.me/oop_ru/144997
Telegram
Mykola Palamarchuk in Software Design/Architecture/Zen
Мне эта больше нравится: http://math.mit.edu/~dspivak/teaching/sp13/CT4S.pdf
А если на примере? Типа нельзя никакой магии чтобы получилось так?:
$newString = new NotEmptyString('hello ') + NotEmptyString('world'); // new NotEmptyString('hello world')
источник
19:21пожаловаться#9

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in Software Design/Architecture/Zen
Vlad Sobenko
А если на примере? Типа нельзя никакой магии чтобы получилось так?:
$newString = new NotEmptyString('hello ') + NotEmptyString('world'); // new NotEmptyString('hello world')
Я ещё не настолько силён в теории категорий, чтоб примеры такого привести))
Но само утверждение слышал много раз
источник
19:22пожаловаться#10

VS

Vlad Sobenko in Software Design/Architecture/Zen
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪
Я ещё не настолько силён в теории категорий, чтоб примеры такого привести))
Но само утверждение слышал много раз
Тогда очень сомнительно) Хотя верю, что так и есть. Хотелось бы реальный пример, чего нехватает
источник
19:24пожаловаться#11

SM

Sergey Milimko in Software Design/Architecture/Zen
Vlad Sobenko
А можно гдето кратко об этом прочитать о классах и их неполноценности в теории категорий?
А то руки пока не дошли почитать по фп матану книги.
Нет никакой неполноценности. Загугли сначала про номинативную и структурную типизации
источник
19:29пожаловаться#12

VS

Vlad Sobenko in Software Design/Architecture/Zen
Sergey Milimko
Нет никакой неполноценности. Загугли сначала про номинативную и структурную типизации
Ну это я вроде как знаю. И что из этого следует про классы?. Классы из области номинативной типизации. Что из этого следует?
источник
19:31пожаловаться#13

SM

Sergey Milimko in Software Design/Architecture/Zen
не знаю, а что ты хочешь узнать?
источник
19:32пожаловаться#14

SM

Sergey Milimko in Software Design/Architecture/Zen
ты писал про неполноценность классов выше
источник
19:32пожаловаться#15

VS

Vlad Sobenko in Software Design/Architecture/Zen
Sergey Milimko
не знаю, а что ты хочешь узнать?
https://t.me/oop_ru/154031
Telegram
˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪ in Software Design/Architecture/Zen
Да, есть языки с более строгими типами (хаскель?), а других приходится рантайм-инварианты писать. Класс, как тип (выше писали) не полон, ибо основан на теории множеств, а не на теории категорий
источник
19:33пожаловаться#16

SM

Sergey Milimko in Software Design/Architecture/Zen
н номинативная типизация не очень гибкая, но это же не признак неполноценности
источник
19:33пожаловаться#17

SM

Sergey Milimko in Software Design/Architecture/Zen
что значит класс на теории множеств основан?
источник
19:34пожаловаться#18

SM

Sergey Milimko in Software Design/Architecture/Zen
теория категорий тоже на теории множест основана
источник
19:34пожаловаться#19

SM

Sergey Milimko in Software Design/Architecture/Zen
как и почти всё в математике
источник
19:35пожаловаться#20