это где

category theory for programmers

https://blogs.msdn.microsoft.com/typescript/2017/10/12/announcing-typescript-2-6-rc/

https://github.com/Microsoft/TypeScript/milestone/53?closed=1

разбудите когда кто-нибудь впилит HKT в Flow или TS

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

разбудите когда кто-нибудь впилит HKT в Flow или TS

gcanti

gcanti

разбудите когда кто-нибудь впилит HKT в Flow или TS без костылей*

вечный сон устроит?

(((

gcanti

у него мерзский костыль

вечный сон устроит?

хочу

для чего вообще может быть нужен контравариантный полиморфизм?

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

(мб)

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

или может ещё проще - просто Т проявляется как аргумент в методе

но без аннотаций, а просто врубает на всех функциях

Ох лол))

"Ответочка": грозно бьёт себя пяткой по лбу

для чего вообще может быть нужен контравариантный полиморфизм?

type TypedLogger<-Text> = (text: Text) => void type MapLogger<+IN, -OUT> = (logger: TypedLogger<IN>) => TypedLogger<OUT>

сложно

Любой предикат — тоже контрвариант, например

type IsSomething<-T> = (t: T) => boolean

а зачем нам контравариантность указывать здесь вообще

а зачем нам контравариантность указывать здесь вообще

any предлагаешь?

а что во флоу нельзя просто <T> в твоем примере?

Ну то есть зачем нужна контрвариантность ты уже понял, это хорошо

Едем дальше

Ну то есть зачем нужна контрвариантность ты уже понял, это хорошо

я понял что она делает но не как ее можно применить

class Predicate<-T> { ... } Тут надеюсь не будешь спрашивать почему?

лол

Ну то есть в классах уже не так очевидно что куда будет идти, при этом типизировать их по таким параметрам всё равно бывает нужно

ну я не понимаю зачем нам указывать контрвариантность если мы и так принимаем любой тип

Он не любой

Попробуй представить чуть больше одной отдельной строчки

type IsSomething<-T> = (t: T) => boolean type IsSomething<T> = (t: T) => boolean

Ну единственное, что мне кажется полезным - явно задать вариантность. Мы же типы задаем, чтобы ошибки найти, так и тут, задаем знак типа, чтобы он ненароком не попал куда не нужно. А то потом удивляемся, че мы функтор сделать не можем, так тип же в отрицательной позиции, какой нахер функтор, только контрвариант

Отрицательная позиция — это так же write only

сложно

вариативность не нужна если бы не сабтайпинг

Кстати, а что значит только контрвариантные запилили? ? Я сначала прочитал как ковариантные

Это же провал

Каноничный пример с бивариантностью же всё равно будет работать, или нет?

жетбраинс выпустили http://www.jetbrains.org/ring-ui/index.html

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

http://www.jetbrains.org/ring-ui/loader-screen-ng.html

У меня такое чувство, что они хотят интерфейс на электрон перенести Будет эпично, еще больше лагов идее

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

Кстати, а что значит только контрвариантные запилили? ? Я сначала прочитал как ковариантные

?

Ща посмотрю

any function type that doesn’t originate from a method has its parameters compared contravariantly.

Ну

жетбраинс выпустили http://www.jetbrains.org/ring-ui/index.html

чот вроде не тот чат)

Error suppression comments with // @ts-ignore

Ееее

$FlowIgnore

//@ts-issue

чот вроде не тот чат)

у меня других нет

жетбреинс иде имеет смысл только для жетбреинс языков

коих только один

У меня такое чувство, что они хотят интерфейс на электрон перенести Будет эпично, еще больше лагов идее

так это для их штук. которая там кодревью

жетбреинс иде имеет смысл только для жетбреинс языков

не шути так

у меня других нет

@angular_ru @react_js @js_ru

нах надо

Error suppression comments with // @ts-ignore

Вообще вот это конечно гораздо полезнее

этот оставлю и все

жетбреинс иде имеет смысл только для жетбреинс языков

для джавы вим?

а так в жс чатах только бред и спам

Я, кстати, недавно попробовал вебшторм вместо вскода. Проблем много, но много и принятых моментов. Останусь еще немного, там посмотрим

этот оставлю и все

...и буду тут постить все что вижу :troll:

Я, кстати, недавно попробовал вебшторм вместо вскода. Проблем много, но много и принятых моментов. Останусь еще немного, там посмотрим

попробуй имаксс

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

нетт так нельзя

Имакс хорош, блейдраннера в нём смотрел

https://github.com/NicolasPetton/Indium/blob/master/readme.md

Хахаха А, черт, подумал, что шутка про то, что в имаксе можно и фильмы смотреть, а это про аймакс наверное шутка

все фп программисты должны писать в имаксе

Поддержка хаскеля на идее просто ужасная. Настолько все плохо, что пиздец

на ReactiveConf из местных собрается кто-то? там будет и по фп кой-чо

Поддержка хаскеля на идее просто ужасная. Настолько все плохо, что пиздец

я как-то очень давно пробовал и было неплохо

?

Поддержка хаскеля на идее просто ужасная. Настолько все плохо, что пиздец

дрожно быть реально норм

Из конф я бы хотел сходить только на фбай, но а) дорого б) я буду в армии)

оу зачем?

Забирают всё таки?(

Может я чёт не то поставил, но максимум, что он умеет, это небольшой херовый автокомплит

Даже подсветка синтаксиса через жопу, ' использовать нельзя. Это я вроде попробовал не старый плагин с 3 звездами, а новый с 5-ю

на ReactiveConf из местных собрается кто-то? там будет и по фп кой-чо

что?

https://reactiveconf.com

но если ты еще не едешь, то вряд ли за неделю решишься

ясно

ничего

Поддержка хаскеля на идее просто ужасная. Настолько все плохо, что пиздец

https://github.com/rainbyte/haskell-ide-chart сам не пробовал

т.к. в будни и уже 555 евро (+ налоги)

РеактивКонф, спикер - Сара со своими свг, ясно

ничего

ну ангулярные компоненты от жетбрейнс конечно более фп

https://github.com/rainbyte/haskell-ide-chart сам не пробовал

бля опять используя эмодзи сравнивают