ты мне примеры кидаешь которые и так работали)

чёт как-то не думал что фантом типы помогут для HKT

ты мне примеры кидаешь которые и так работали)

Они не работали, лол) Нигде

Они не работали, лол) Нигде

? подожди

Если бы они работали, то у gcanti бы не опух чудовищный flow fatigue, не?

че не работает

чёт как-то не думал что фантом типы помогут для HKT

Они позволяют делать операции над типом контейнера

вот мой пример не работает

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

ну так потому что это не работает gcanti таскает везде какую-то дичь

Нет, это by design не работает) Тебе нужно любым возможным способом указать, что такое T само по себе и почему у него может быть дженерик

Достаточно Meme<Generic: T>

а как функтор будет выглядеть

Достаточно Meme<Generic: T>

что

это какой синтаксис

Специализация в флоу. В тс специализация через extends, что-нибудь типа Meme<Generic extends T>

Generic это что

и откуда T

class HKT<F, A> {} а если бы F и А были бы бесполезными полями класса то вообще никак не получилось бы это всё сделать?

class HKT<F, A> {} а если бы F и А были бы бесполезными полями класса то вообще никак не получилось бы это всё сделать?

Не понимаю вопроса)

https://github.com/Microsoft/TypeScript/issues/18108 лол

че за)

лол

Generic это что

Просто T<Phantom> и T в твоём Meme<T> вообще же никак не связаны Тс тебе говорит, что T в Meme<T> — вообще никак не определён, это полностью неизвестный тип для него, потому что так работают дженерикик

ебать как тут фантомы выручают в этой ситуации

Ну ты понимаешь зачем ему HKT?

Думаешь он уже Kinds попёр пилить, лол?) У него это просто попытка описать нормальные абстракции на жс

Это не * -> *, это всё ещё желание заиметь A -> B

https://github.com/Microsoft/TypeScript/issues/1213 как тут

хз не особо понимаю о чём речь.

я тоже не понимаю

Ага, а вот так уже не работает)) И приплыли)

нуу

так в флоу это завезли?

очевидно что придётся явно указывать инстансы в таком случае

или я не понимаю о чем ты)

так в флоу это завезли?

Суть в том что теперь можно тайпчекать такое

так фантомы завезли или дататайп

хватит запутывать)

Дататайп уже в mtproto

А это то, что можно делать когда появляется и то и другое)

я не вижу тут дататайпов

Тс и флоу 53 при использовании Right<T> = Phantom<'Lost', T> потеряет 'Lost'

И в этом вся проблема была

Из-за чего gcanti и попёр делать такие чудовищные костыли

Я наверное даже слишком мудреный пример показал, суть в том что можно сделать тип Data = Phantom<'Data'> и описывать функции которые будут отличать эту Data от любых других вариантов типа

я не вижу тут дататайпов

В apropos посмотри ? Я вроде уже делал коммит с ним)

Чето все равно чувство что НКТ тут не построишь

ДА лол

Какое чувство, выше пример же?

Я описал функцию, которая работает с дженерик типами Left и Right

Каждый из них в свою очередь принимает свой тип, то есть тип этой функции — HK

ну то есть по сути это описание сигнатуры для функции f a -> m a (ну к примеру, чтобы иметь какуюнибудь интуициию)

и определение для either просто чтобы дополнительно сбить с толку читателя

Тут больше нет препятствий для того чтобы абстрагироваться дальше

тк тот недостаточно охуел от 'Left'<T> -> 'Right'<T>

Это не 'Left', это тэг типа

который является opaque

Left

да opaque

было что-то такое

это можно как-нибудь запустить?

ERROR: S client not available

Фантомы в мастере флоу, opaque — npm i flow-bin

ну то есть по сути это описание сигнатуры для функции f a -> m a (ну к примеру, чтобы иметь какуюнибудь интуициию)

Твоя интуиция приводит к неверному выводу

В общем случае в opaque type может быть что угодно, в том числе и f a -> ma сам по себе

выкинул нафиг чат про сайклжв в гиттере

лол

а что там случилось

?

ничего

просто запарило 100500 сообщений

внезапно

ого

кажется там кипит жизнь

лол

да и сайкл мне не интересен давно уже

я кстати про сайкл только в этом чатике слышал. ещё до того как сюда вступил, тут общались совсем другие люди @ZeroBias был и все такие сайкл то сайкл это

так это был чат по cycle.js

стоит разобраться что там в сайкле?

нет)

так это был чат по cycle.js

с момента его создания?

ну сначала был по cycle.js потом переименовали

хех

потому что никто не пишет на нем

https://sdcast.ksdaemon.ru/2017/08/sdcast-61

у кого-то есть книга Марлоу на русском?

стоит разобраться что там в сайкле?

Как-то вскользь просматривал НЕДАВНЕЕ выступление автора сайкла. Так вот там он на вопросы зрителей отвечает, что сайкл еще не продакшн-реди. Сколько лет уже это тянется? И сколько еще будет? ))

Последнее время я прихожу к мнению, что люди, копающиеся в технологиях, типа сайкл и подобных, и тусующиеся в их чатах - это просто ПРОКРАСТИНАТОРЫ.

лол

Опиши подробней withHandlers. Как он может брать функции и при этом иде подсвечивает их как неиспользуемые?

Ну я просто о ситуации когда функции объявлены внутри метода, и далее передаются в виде аргументов каллбеков в последующие вызовы. Но так или иначе, IDE не может отследить жизненный цикл переменных, которые передаются в цепочке функций в качестве аргументов. В итоге ты теряешь этот плюс IDE. Я о такой ситуации: method({ someData: 555 // тут объявляется переменная "someData" })(({someData}) => // тут IDE не знает что используется она же ... )

как не знает?

типы значит кривые

Как-то вскользь просматривал НЕДАВНЕЕ выступление автора сайкла. Так вот там он на вопросы зрителей отвечает, что сайкл еще не продакшн-реди. Сколько лет уже это тянется? И сколько еще будет? ))

продакшен реди хуйня

оправдание для тх кто посвятил годы копанию в тоннах гибернейта