https://www.scala-lang.org/api/2.12.x/scala/Unit.html

There is only one value of type Unit, (),

https://www.scala-lang.org/api/2.12.x/scala/Unit.html

эт настоящий Unit

Так, ещё там есть Nothing

как это относится к never/empty/hs-void, у которого нет значений вообще?

data Unit = Unit data Void

Nothing is a subtype of every other type (including scala.Null); there exist no instances of this type.

no instances of this type

похоже

Nothing is a subtype of every other type (including scala.Null); there exist no instances of this type.

вот Nothing это empty, да

го в пыхе шаблоны рендерить

Гоу

адово

если инетерсна теория, можно прочитать примитивно у Бартоша в терминальный и инициальных объектах категорий

открыл сундучок блэд…

но тс все равно говно

?

https://henrychern.files.wordpress.com/2017/10/05.pdf

но тс все равно говно

всё говно, что не моча

https://henrychern.files.wordpress.com/2017/10/05.pdf

спасибо

https://henrychern.files.wordpress.com/2017/10/05.pdf

что за книга ? Есть фул ?

но тс все равно говно

как минимум из-за кучи infer и ситуации с тьюплами

что за книга ? Есть фул ?

https://henrychern.wordpress.com/2017/07/17/httpsbartoszmilewski-com20141028category-theory-for-programmers-the-preface/

Дима показывал кейс с невыводом типов, че-то там про Animal )

тут по главам. Я делал давно склейку всех глав, но не уверен, что там ничего не обновилось

а как в тс вариативность указывать?

никак

или там из-за структурной типизации это “не нужно”

что значит вариативность?

что значит вариативность?

https://flow.org/en/docs/lang/variance/

> docs/lang > lang ыы

а, вариантность

вариантность :) никак) можно только попросить TS строже проверять

бля, точно

опфть слова путаю блчдь

type Parameters<T extends Function> = T extends (...args: infer U) => any ? U : any[]; type T1 = Parameters<(a: number, b: string[]) => void>; // [number, string[]]

Огонь же!

где можно почитать про infer ?

где можно почитать про infer ?

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html

type Parameters<T extends Function> = T extends (...args: infer U) => any ? U : any[]; type T1 = Parameters<(a: number, b: string[]) => void>; // [number, string[]]

Боян

Боян

Srsly?

Если что так делать ещё нельзя даже в мастере ts :)

Srsly?

Ну да. С 2.8 ) или я чёт путаю?

Ну да. С 2.8 ) или я чёт путаю?

В аргументах функции не работает

В аргументах функции не работает

Infer? Работал

Работает только начиная с неправославного надругательства над tuple https://github.com/Microsoft/TypeScript/pull/24897

Аа, кортеж. Слепой, сорян. ща читну, спасибо

Привет! Как в интерфейсе сделать что-то такое: interface A<K<T>> {} - чтобы получить доступ к параметру-дженерику и его параметру?

Привет! Как в интерфейсе сделать что-то такое: interface A<K<T>> {} - чтобы получить доступ к параметру-дженерику и его параметру?

кажется никак

https://github.com/Microsoft/TypeScript/issues/1213 Вот вроде ишшью на эту тему

Печаль :(

Господа, а есть в TS *правильный* способ пихать классы в генерики? Вот, например: class MyType { constructor() {...} } class MyAdvancedType extends MyType { constructor() {...} } class WorkerWithTypes<T extends MyType> { constructor() { let instance = new T(); // И ВОТ ТУТ ОШИБКА: 'T' only refers to a type, but is being used as a value here. } } Что я делаю не так? Почему внутри класса-генерика я не могу создать тот самый генерик, если я объявил, что он наследуется от заявленного типа? И как такое делать правильно?

Господа, а есть в TS *правильный* способ пихать классы в генерики? Вот, например: class MyType { constructor() {...} } class MyAdvancedType extends MyType { constructor() {...} } class WorkerWithTypes<T extends MyType> { constructor() { let instance = new T(); // И ВОТ ТУТ ОШИБКА: 'T' only refers to a type, but is being used as a value here. } } Что я делаю не так? Почему внутри класса-генерика я не могу создать тот самый генерик, если я объявил, что он наследуется от заявленного типа? И как такое делать правильно?

"почему": у тебя два мира термов, которые отделены друг от друга

типы и значения

ты не можешь их смешивать. Ты же не можешь сделать const x = number.

я понимаю. Но какого фига я не могу сделать new T(), если я въявную указал, что T -- это таки тип? ну да, понятно: потому, что формально new T -- это вызов значения. Почему компилятор жалуется -- понятно. Как подобное делать?

Господа, а есть в TS *правильный* способ пихать классы в генерики? Вот, например: class MyType { constructor() {...} } class MyAdvancedType extends MyType { constructor() {...} } class WorkerWithTypes<T extends MyType> { constructor() { let instance = new T(); // И ВОТ ТУТ ОШИБКА: 'T' only refers to a type, but is being used as a value here. } } Что я делаю не так? Почему внутри класса-генерика я не могу создать тот самый генерик, если я объявил, что он наследуется от заявленного типа? И как такое делать правильно?

Никак, ты можешь явно передавать класс в конструктор например constructor(C: ClassOf<T>) { const a = new C }

я понимаю. Но какого фига я не могу сделать new T(), если я въявную указал, что T -- это таки тип? ну да, понятно: потому, что формально new T -- это вызов значения. Почему компилятор жалуется -- понятно. Как подобное делать?

не понимаешь. T у тебя живет в мире типов. Ты не можешь его спустить в мир термов

Никак, ты можешь явно передавать класс в конструктор например constructor(C: ClassOf<T>) { const a = new C }

ясно. жаль. спасибо.

с классами то же самое

class X { }

Господа, а есть в TS *правильный* способ пихать классы в генерики? Вот, например: class MyType { constructor() {...} } class MyAdvancedType extends MyType { constructor() {...} } class WorkerWithTypes<T extends MyType> { constructor() { let instance = new T(); // И ВОТ ТУТ ОШИБКА: 'T' only refers to a type, but is being used as a value here. } } Что я делаю не так? Почему внутри класса-генерика я не могу создать тот самый генерик, если я объявил, что он наследуется от заявленного типа? И как такое делать правильно?

так T это тип

тут создается две сущности

X - тип, он живет только на типах X-функция, которая при new создает объект там

они имеют одинаковое имя, но живут в разных мирах, один на уровне значений (поэтому можем его вызвать), другой на уровне типов (поэтому мы можем указывать тип значений, созданных конструктором)

мде, "это вам не плюсы" =) Спасибо, господа. Так и сделаю

не, значение мне нельзя. Я хочу разделить фабрику объектов и сам объект

бля

хватит уже упарываться по ебаному ооп в жс

огребешь потом по полной из-за производительности

ну не работают жавовские подходы в жс

осознайте это уже

нельзя взять свои привычки из других языков, притащить это в жс и верить что так правильно

это блядь не так

ни один фронтендер потом не разберется в тысячах фабрик и глубоком наследовании

проект просто будут вынуждены выкинуть и написать заново

☝️ежжи

или поддерживать это всё с дикой болью

ооп != глубокое наследование и тысячи фабрик фабрик

Жаваговно на жс еще говнянее чем на жаве, поэтому не делайте жаваговно на жс

ни один фронтендер потом не разберется в тысячах фабрик и глубоком наследовании

Не вижу связи между жестью в проектировании и ооп в жс

ооп != глубокое наследование и тысячи фабрик фабрик

конечно

только объясни это джавистам

только объясни это джавистам

Они никогда не умели в ооп

Они никогда не умели в ооп

ну лол

ну да

мде, "это вам не плюсы" =) Спасибо, господа. Так и сделаю

не надо впринципе так делать

у джавистов процедурщина с локальным скоупом

мде, "это вам не плюсы" =) Спасибо, господа. Так и сделаю

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

только объясни это джавистам

у джавистов своя атмосфера, вызванная закостенелостью самой джавы, хотя от этого уже отходят потихоньку

всякие котлины появляются

да и в джаву лямбды завезли

и модули