Это расширение типа?

& это примерно как extends у интерфейсов

Ага, точно! Спасибо!

Просто не часто встретишь такой код )

Еще вопрос: Как задокументировать this для тела каллбека?

Просто внутри каллбека this будет содержать определенный набор полей. Как это указать в интерфейсе?

(this: SomeInterface) => {}

Ух ты! Не слышал про такое. Попробую

А в каком месте интерфейса это указать? Вот например, так задан интерфейс функции: interface Func { (name: string): number; } Куда там ткнуть указание типа this?

Перед name

Это фича тс 2

А... А до тс 2 this задокументировать невозможно?

Нет

Жаль. Спасибо!

Не за что)

А почему 2 версию не взять?

А она разве уже продакшн-реди?

У нас просто в продуктах запрещено использовать беты )

Она уже не бета

Она релиз кандидат

С релиза начнем юзать )

Так-то релизнулся:)

http://angularjs.blogspot.ru/2016/09/angular2-final.html

Читаю про TS 2, возник вопрос про readonly: interface Point { readonly x: number; readonly y: number; } var p1: Point = { x: 10, y: 20 }; p1.x = 5; // Error, p1.x is read-only var p2 = { x: 1, y: 1 }; var p3: Point = p2; // Ok, read-only alias for p2 p3.x = 5; // Error, p3.x is read-only p2.x = 5; // Ok, but also changes p3.x because of aliasing Вроде бы про p2.x = 5; понятно. Это объект обычный, но почему валидно что меняет и p3.x?

С точки зрения JS само собой валидно, но TS почему не чекает

вернее, почему считает такое валидным

Потому что для TS это норма

Но в данном случае - это и не обязательно плохо

ну ок, я не силен в теории, но с практической точки зрения это грозит ошибками. я ожидаю readonly, но выходит что лучше от объекта не присваивать по ссылке, а копировать

readonly ограничивает интерфейс, но не означает, что поле immuatable

То есть, возможна такая интерпретация

Вот если бы наоборот можно было сделать - тогда точно ошибка

то есть по сути основная цель - запретить мне менять напрямую свойства объекта реализующего данный интерфейс

Запретить тому, кто работает с таким интерфейсом

Но из другого места этот объект может быть доступен через другой интерфейс, без readonly

Понял, спасибо. Пытаюсь осознать практические cons от такого решения.

Для type system со строгим variance это было бы мега важно

*pros

Для TS - не особо

Просто для удобства, как private поля, например

кстати с той бучей по private полям что нибудь прояснилось? (@/#)

Да нет вроде, там в 20 числа заседание

readonly != const

Есть кто уже на front talks?

ага

мы к обеду пришли и вот на Грищенко

Вопрос: Функция принимает аргумент типа SomeType[] Как мне в нее передать пустой массив? Если я это делаю, то компилятор ругается: Argument of type 'undefined[]' is not assignable to parameter of type 'SomeType'

Как объявлен этот массив?

Просто в функцию передаю пустой массив

myFunction([])

А интерфейс у функции такой: (SomeType[]): void;

Пока нашел только такой совет: var arr : SomeType[] = [];

Нужно либо привести его явно к типу (as SomeType[])

Либо так, да

Значит нет менее громоздкого решения? )

Может можно в интерфейсе функции указать что аргументом может быть так же пустой массив?

Так низя

Ну всмысле нет такого типа пустой массив

А зачем передавать пустой массив?

https://www.typescriptlang.org/play/index.html#src=interface%20a%20%7B%7D%0D%0A%0D%0A%0D%0Afunction%20test(x%3A%20a%5B%5D)%20%7B%7D%0D%0A%0D%0Atest(%5B%5D)

Если можно ничего не передавать

?

вроде работает, не?

А в чем проблема? var a:Foo[] = new Array<Foo>()?

ERROR: S client not available

Действительно в вашем примере все работает :/

Сейчас тогда разберусь почему у меня ругается

как получилось сделать undefined[]?

TS сам вывел

Да, это просто ругань в консоли

Вот что у меня: https://www.typescriptlang.org/play/index.html#src=interface%20FormErrors%20%7B%0D%0A%20%20%20%20%5Bname%3A%20string%5D%3A%20string%5B%5D%3B%0D%0A%7D%0D%0A%0D%0Aconst%20setForm%20%3D%20(errors%3A%20FormErrors)%20%3D%3E%20%7B%0D%0A%20%20%20%20%0D%0A%7D%3B%0D%0A%0D%0AsetForm(%5B%5D)%3B

В общем, разница с кодом, который скинул выше Владимир, в том, что массив задается в виде интерфейса

https://www.typescriptlang.org/play/index.html#src=interface%20FormErrors%20%7B%0D%0A%20%20%20%20%5Bname%3A%20string%5D%3A%20string%5B%5D%3B%0D%0A%7D%0D%0A%0D%0Aconst%20setForm%20%3D%20(errors%3A%20FormErrors)%20%3D%3E%20%7B%0D%0A%20%20%20%20%0D%0A%7D%3B%0D%0A%0D%0AsetForm(%7B%7D)%3B

нет

так тут не массив должен быть

Да, забавно )))

Я ступил, сорри! )

а во flow bind строго типизирован?

да

а можешь линк кинутькак они это сделали

там есть вариадик темплейты?

это вообще общий кейс или частный случай

Частный случай

https://github.com/facebook/flow/blob/master/lib/core.js#L97

Вариадик темплейтов нет

я похоже в тайпскрипте это сделал

также как Александреску в свой время в плюсах, пока вариадик темплейтов не было

рекурсивным списком типов

буду приводить в порядок то что я тут наваял, позже выложу

я похоже в тайпскрипте это сделал

а поделись примером

просто интересно

сейчас попробую простой сделать

блин всё пока неоднозначно

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

а какой смысл от типизации react-redux, если она не работает?

?