@typescript_ru
Aleh08.09.2017
09:22:48
09:22:48
Без него жить нельзя потому что
andretshurotshka?❄️кде08.09.2017
09:26:45
09:26:45
Alex08.09.2017
09:27:41
09:27:41
Google
Valery08.09.2017
09:28:06
09:28:06
xDDD ну имелось ввиду, каким образом он связан с модулями ng1
andretshurotshka?❄️кде08.09.2017
09:29:54
09:29:54
Alex08.09.2017
09:30:31
09:30:31
а
ну можно попробовать
там просто еще проблема, что preact-cli и вебпак не мой
как мопед)
Alex08.09.2017
09:33:29
09:33:29
Алексей08.09.2017
12:11:44
12:11:44
Для второго ангулара нету флоу типов, ето плохо
Кстати ламерский вопрос - а во flow можно положить типы отдельно от библиотеки (ну к примеру в Angular нет типов - но написать отдельный npm пакет где все типы прописать) ?
Alexander08.09.2017
12:14:55
12:14:55
можно, ты в flowconfig указуешь где искать
@Ai_boy
[libs]
flow-typed/npm
flow-typed/decls <— тут твои тайпинги
Googleandretshurotshka?❄️кде08.09.2017
12:35:43
12:35:43
че вы на флоу переехали?
Алексей08.09.2017
12:36:40
12:36:40
че вы на флоу переехали?
Не просто хочу пописать flow тайпингов - просто попрактиковаться. Хочу какраз для Angular написать - посмотреть можно ли Angular c flow завести
Дмитрий08.09.2017
12:45:08
12:45:08
Вот и всё; рис уходит из плова
Дмитрий08.09.2017
13:23:21
13:23:21
многзначная фраза
Max08.09.2017
13:28:26
13:28:26
ты картинку не видел?
andretshurotshka?❄️кде08.09.2017
13:52:13
13:52:13
higher kinded type
Дмитрий08.09.2017
13:52:14
13:52:14
Фантомы вроде (что в принципе можно свести к проблеме HKT)
Не выйдет
ТС потерял тип в L, увы
andretshurotshka?❄️кде08.09.2017
13:54:08
13:54:08
думаю как эту фичу заюзать в благих целях для "дженериков от дженериков"
https://github.com/gcanti/fp-tshttps://github.com/gcanti/fp-ts/blob/master/src/HKT.ts
andretshurotshka?❄️кде08.09.2017
13:55:36
13:55:36
null!
Googleandretshurotshka?❄️кде08.09.2017
13:55:39
13:55:39
лоол
Дмитрий08.09.2017
13:56:59
13:56:59
Ну значит ты что-то недопроверил
Потому что то что такая конструкция не работает "в лоб" подтверждает господин gcanti кодом выше
Maxim08.09.2017
13:59:03
13:59:03
я не могу назвать это HKT - т.к присутствуют стринговые литералы
нихрена не понимаю , что пишет gcanti
в коде
Дмитрий08.09.2017
13:59:47
13:59:47
Как на клингонском, да)
А, в тс ещё были серьёзные проблемы при попытке использования более одного [] за раз в типе
Но это могли уже пофиксить
Aleh08.09.2017
14:00:46
14:00:46
так а где вы hkt увидели?
Дмитрий08.09.2017
14:01:26
14:01:26
Не hkt, я отметил что фантомные типы можно свести к ним и наоборот
Aleh08.09.2017
14:01:27
14:01:27
Array<Array<Array<number>>> это ж не hkt и ts с таким нормально справляется
было бы странно, если бы не справлялся)
есть много чего другого странного, с чем ts не справляется, да, но это не одно из них
Дмитрий08.09.2017
14:03:17
14:03:17
Проблема в том, что с такой целью проблемы всё равно обеспечены)
думаю как эту фичу заюзать в благих целях для "дженериков от дженериков"
Aleh08.09.2017
14:03:38
14:03:38
понятно
GoogleДмитрий08.09.2017
14:10:18
14:10:18
Можно написать "дженерики от дженериков", можно написать на ts, можно тайпчекнуть
Выберите любые два
Aleh08.09.2017
14:12:36
14:12:36
я бы не называл те костыли, которые у gcanti дженериками от дженериков
Дмитрий08.09.2017
14:12:58
14:12:58
Аналогично
Maxim08.09.2017
14:13:23
14:13:23
Array<Array<Array<number>>> это ж не hkt и ts с таким нормально справляется
для композиции хоков - мне надо выводить тип итогового хока по куче дженериков - другого выхода не вижуДмитрий08.09.2017
14:13:29
14:13:29
Но он так разумеется не считает)
для композиции хоков - мне надо выводить тип итогового хока по куче дженериков - другого выхода не вижу
Так это просто линейная композиция типов, это прощеMaxim08.09.2017
14:14:22
14:14:22
A<B<C<D - может быть сколь угодно длинной
Дмитрий08.09.2017
14:14:30
14:14:30
Вся фича в том, что нет
Maxim08.09.2017
14:14:36
14:14:36
не, у каждого хока свой дополнительный дженерик )
Aleh08.09.2017
14:14:47
14:14:47
покажи конкретный пример
Дмитрий08.09.2017
14:15:05
14:15:05
Ты когда последний раз видел compose на 32 элемента, допустим?))
Maxim08.09.2017
14:15:26
14:15:26
compose(model<UserVO?), touch<UserVO?), validation<UserVO?validator))(LoginView)
Дмитрий08.09.2017
14:15:39
14:15:39
????
Именно на этом строят типизацию метода compose
На том, что нужно описать только ограниченное количество вариантов
Дмитрий08.09.2017
14:18:14
14:18:14
?
andretshurotshka?❄️кде08.09.2017
14:18:34
14:18:34
Ты когда последний раз видел compose на 32 элемента, допустим?))
https://hackage.haskell.org/package/tuple-0.3.0.2/docs/Data-Tuple-Select.htmlMaxim08.09.2017
14:18:55
14:18:55
ну ок, 4-5-6 аргументов в компоуз мне достаточно
GoogleДмитрий08.09.2017
14:19:41
14:19:41
andretshurotshka?❄️кде08.09.2017
14:19:53
14:19:53
лол
Дмитрий08.09.2017
14:23:00
14:23:00
В превью справа прям вообще фрактал
Aleh08.09.2017
14:23:32
14:23:32
stairway to heaven
Дмитрий08.09.2017
14:23:50
14:23:50
?
Сергей08.09.2017
14:24:55
14:24:55
какой трездец
Дмитрий08.09.2017
14:25:03
14:25:03
На скрине — purescript, что в принципе показывает, что от перебора вариантов композа в той или иной форме не скрыться нигде))
andretshurotshka?❄️кде08.09.2017
14:25:39
14:25:39
absurd
Дмитрий08.09.2017
14:27:36
14:27:36
Ну да, это базовая вещь, в чате хаскеля на днях обсуждали
Дмитрий08.09.2017
14:28:48
14:28:48
E< Error, E< WayA, WayB > >
Вообще строго двух вариантов в принципе никогда не хватает) Даже с ними хочется определить These
These — это когда может быть и Left и Right и оба варианта сразу
Denis08.09.2017
22:39:26
22:39:26
Не просто хочу пописать flow тайпингов - просто попрактиковаться. Хочу какраз для Angular написать - посмотреть можно ли Angular c flow завести
Если можно с жс, то можно и с флоуОт жс версии ангуляра почти не будет отличаться
Открыть в Telegram