Телеграмм чат группы pofftop страница 13236

2020 December 29

I

Ilmir in Programming Offtop

Alexander Nozik

Пользительно. А ты хочешь их сахаром поверх силед интерфейсов или что-то другое?

> что-то другое

Примерно как в тайп-скрипте.
Вроде бы, в Юле они так же сделаны.

источник

14:57пожаловаться #1

AN

Alexander Nozik in Programming Offtop

Ilmir

> что-то другое

Примерно как в тайп-скрипте.
Вроде бы, в Юле они так же сделаны.

В джулии типы вообще не совсем внятные. В тайп скрипте они же не реализуются. Я имею в виду именно как оно будет реализовываться? Как отдельная сущность?

источник

14:58пожаловаться #2

IP

Iaroslav Postovalov in Programming Offtop

Ilmir

> что-то другое

Примерно как в тайп-скрипте.
Вроде бы, в Юле они так же сделаны.

вообще говоря, в слаке была оч интересная идея

источник

15:05пожаловаться #3

IP

Iaroslav Postovalov in Programming Offtop

сделать юнион поверх reified T

источник

15:05пожаловаться #4

IP

Iaroslav Postovalov in Programming Offtop

типа, добавить, констрейт на тип

источник

15:05пожаловаться #5

I

Ilmir in Programming Offtop

Alexander Nozik

В джулии типы вообще не совсем внятные. В тайп скрипте они же не реализуются. Я имею в виду именно как оно будет реализовываться? Как отдельная сущность?

Примерно как тайпалиасы - живут только во время компиляции.

То есть, Any | String == Any, Nothing | String == String, A String | Exception в компайл-тайме так и останется, а в рантайме будет Any. Тогда T? можно будет тупо как T | null представить. Надо только с цейлоном поиграться и посмотреть, как в ИДЕ они рендерятся, может там что-то удобное придумали.

источник

15:05пожаловаться #6

IP

Iaroslav Postovalov in Programming Offtop

Iaroslav Postovalov

сделать юнион поверх reified T

в таком случае интероп не ломается

источник

15:05пожаловаться #7

IP

Iaroslav Postovalov in Programming Offtop

а польза остается