@frp_ru
? animufag ?29.08.2017
11:10:42
11:10:42
Nikita? animufag ?29.08.2017
11:12:44
11:12:44
Еще один минус в копилочку минусов функционального подхода в js:
при использовании функциотальных либ ты теряешь в IDE возможность навигации по декларациям и местам использования констант, если они прошли через цепочки функций.
Например, я сейчас прикручиваю библиотеку recompose для реакт. У нее есть такой метод withHandlers, в котором ты описываешь функции-хэндлеры, которые при следующем вызове будут переданы реактовскому компоненту в виде пропсов. Так вот, IDE теперь не знает где описан вызываемый хэндлер. И кроме того, она теперь подсвечивает функцию-хэндлер как неиспользуемую. Просто потому что не понимает что далее в цепочке используется этот же хэндлер.
Это я к тому что использование функциональных библиотек для IDE является “магией”, и она теряет возможность отслеживать где что объявлено и используется.
Опиши подробней withHandlers. Как он может брать функции и при этом иде подсвечивает их как неиспользуемые?
GoogleDenis29.08.2017
11:15:21
11:15:21
как заставить do вести себя с чем угодно кроме монад?)
? animufag ?29.08.2017
11:15:41
11:15:41
Для чего нужно наследование?
Как говорил бугаенко: Наследование реализаций хуйня, наследование интерфейсов ок.Denis29.08.2017
11:16:58
11:16:58
ахаха
{-# LANGUAGE RebindableSyntax #-}
import Data.List
import Data.Foldable
f x = do
y <- x
(head, tail) <- uncons y
z <- tail
z + head
where
(>>=) = flip(<$>)
print $ f [[1, 2, 3], [4, 5], [6], []]
g = do
x <- [1,2,3]
y <- Just 42
z <- [Left "foo", Right "bar"]
w <- z
print [show x, show y, w] where
(>>=) = for_
g
? animufag ?29.08.2017
11:17:20
11:17:20
А так наверное [do| |]
Denis29.08.2017
11:17:40
11:17:40
ну зачем? оксфордовские скобки не надо)
? animufag ?29.08.2017
11:19:46
11:19:46
Ну просто хз к чему вопрос. По фану же?
Denis29.08.2017
11:21:30
11:21:30
10 штука что в идрисе типа лучше хаскелль
https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/
illiatshurotshka❄️29.08.2017
11:22:30
11:22:30
а как в идрисе тип character работает?
illiatshurotshka❄️29.08.2017
11:23:40
11:23:40
??
Googleilliatshurotshka❄️29.08.2017
11:23:54
11:23:54
много чего
? animufag ?29.08.2017
11:24:24
11:24:24
Кодировка?
illiatshurotshka❄️29.08.2017
11:25:20
11:25:20
лол там от бекенда зависит
? animufag ?29.08.2017
11:27:10
11:27:10
Бекенд = таргет платформа?
Наверное это не character-specific проблема
? animufag ?29.08.2017
11:54:00
11:54:00
?
Дмитрий29.08.2017
12:50:15
12:50:15
В флоу заезжали datatype и фантомные типы, передавали привет gcanti
? animufag ?29.08.2017
12:51:42
12:51:42
что такое datatype?
Дмитрий29.08.2017
12:52:18
12:52:18
data Bool = False | True
http://learnyouahaskell.com/making-our-own-types-and-typeclasses
Я про эти
Даниил29.08.2017
12:57:19
12:57:19
Denis29.08.2017
13:00:49
13:00:49
? animufag ?29.08.2017
13:09:03
13:09:03
ну это же как джс променять на джс
Google? animufag ?29.08.2017
13:09:22
13:09:22
тот же динамический язык, только сложнее нанимать сотрудников
andretshurotshka?❄️кде29.08.2017
13:11:40
13:11:40
Дмитрий29.08.2017
13:11:57
13:11:57
Я сам офигел))
andretshurotshka?❄️кде29.08.2017
13:12:11
13:12:11
какой синтаксис
Дмитрий29.08.2017
13:13:07
13:13:07
Обычный, невозможность различать фантомные типы сейчас — это просто баг, недоработка
Даниил29.08.2017
13:13:35
13:13:35
immutability by default, нормальная стандартная библиотека, dsl-и на макросах
illiatshurotshka❄️29.08.2017
13:14:21
13:14:21
и тонна скобок
? animufag ?29.08.2017
13:14:24
13:14:24
интересно как конструктор дататайпа транслируется в джс. или если он теряется то как приходящие из джс данные в дататйп конвертить
Дмитрий29.08.2017
13:14:38
13:14:38
Как жс обижать так в очередь становись, а как кложуру так нинада
Он статически верифицируется
illiatshurotshka❄️29.08.2017
13:18:11
13:18:11
ну а в других языках
Дмитрий29.08.2017
13:20:11
13:20:11
какой синтаксис
type T<Phantom> = any
type A = T<number>
type B = T<string>
Что открывает возможность для создания HKT — функтора со всеми вытекающими)andretshurotshka?❄️кде29.08.2017
13:20:14
13:20:14
data Something ?
Googleandretshurotshka?❄️кде29.08.2017
13:20:32
13:20:32
А
type T<Phantom> = any
type A = T<number>
type B = T<string>
Что открывает возможность для создания HKT — функтора со всеми вытекающими)
это же генерик обычныйGcanti так делал уже
Дмитрий29.08.2017
13:21:52
13:21:52
Дак лол
Дмитрий29.08.2017
13:22:04
13:22:04
У него для HKT — классы двумя дженериками
HKT<F, T>
illiatshurotshka❄️29.08.2017
13:22:49
13:22:49
лол
andretshurotshka?❄️кде29.08.2017
13:22:52
13:22:52
так это можно как HKT юзать?
AdminERROR: S client not available
illiatshurotshka❄️29.08.2017
13:22:56
13:22:56
нет
andretshurotshka?❄️кде29.08.2017
13:22:57
13:22:57
или нет
https://medium.com/@gcanti/phantom-types-with-flow-828aff73232b
andretshurotshka?❄️кде29.08.2017
13:24:00
13:24:00
T можно без генерика передавать?
Дмитрий29.08.2017
13:24:03
13:24:03
Так как это костыль, не позволяющий на самом деле получить именно фантомность
andretshurotshka?❄️кде29.08.2017
13:25:17
13:25:17
type T<Phantom> = any
type A = T<number>
type B = T<string>
Что открывает возможность для создания HKT — функтора со всеми вытекающими)
ну тут тож самое что у него в статьеДмитрий29.08.2017
13:25:34
13:25:34
T можно без генерика передавать?
У него короч type A<T, number> = T<number>
И таскай потом во всему коду за собой эти <T, number>, теряя вообще все бонусы от идеиGoogleandretshurotshka?❄️кде29.08.2017
13:25:56
13:25:56
так можно T без генерика таскать или нет
Дмитрий29.08.2017
13:27:29
13:27:29
Да блин, то как раз)
Тип без дженерика всегда можно было, но это не о том ваще
type T<A = X> = A
T<>
Плюсы именно от того что можно создать
type Functor<A, B> = ...
type Derived<A, B> = Functor<A, B>
У гканти для этого нужно таскать за собой и тип Functor впридачу к A и B
andretshurotshka?❄️кде29.08.2017
13:31:06
13:31:06
Дмитрий29.08.2017
13:31:16
13:31:16
Что приводит к тому, что уже во второй производной у тебя уже 5 дженериков, когда тут — по прежнему два
andretshurotshka?❄️кде29.08.2017
13:33:02
13:33:02
type Meme<T> = T<number>
type HKT = Meme<Observable>
Я про это
Дмитрий29.08.2017
13:33:28
13:33:28
Вот по примеру в его статье
Ожидание:
export function toUpperCase<M>(data: Data<M>): Data<M>
Реальность:
export function toUpperCase<Data, M>(data: HKT<Data, M>): HKT<Data, M>
andretshurotshka?❄️кде29.08.2017
13:33:36
13:33:36
>(
Дмитрий29.08.2017
13:33:58
13:33:58
(((
andretshurotshka?❄️кде29.08.2017
13:34:16
13:34:16
Вот по примеру в его статье
Ожидание:
export function toUpperCase<M>(data: Data<M>): Data<M>
Реальность:
export function toUpperCase<Data, M>(data: HKT<Data, M>): HKT<Data, M>
Но его статья про фантом типыНе про HKT
Дмитрий29.08.2017
13:34:25
13:34:25
Его статья про его ожидания
andretshurotshka?❄️кде29.08.2017
13:34:33
13:34:33
Открыть в Telegram