@frp_ru
? animufag ?05.12.2017
12:44:21
12:44:21
+
adam05.12.2017
12:44:43
12:44:43
Насколько нужно быть конченным человеком, чтобы сразу просить помощь в чатах, нежели чем нажать на первую ссылку на стак
Встречаются и те, кто просто просит отпарсить сообщения об ошибке.? animufag ?05.12.2017
12:46:11
12:46:11
Насколько нужно быть конченным человеком, чтобы сразу просить помощь в чатах, нежели чем нажать на первую ссылку на стак
ну это да. на самом деле чаты просто тратят времяразобраться обычно можно только самостоятельно
Google? animufag ?05.12.2017
12:47:04
12:47:04
ну хотя в хаскеле оче плохо с доками, мб тут чаты помогают
illiatshurotshka❄️05.12.2017
12:47:17
12:47:17
? animufag ?05.12.2017
12:47:23
12:47:23
Встречаются и те, кто просто просит отпарсить сообщения об ошибке.
в хаскеле плохие сообщения об ошибке? animufag ?05.12.2017
12:47:37
12:47:37
он же нагруженный
там нет лаконичности
Дмитрий05.12.2017
12:47:58
12:47:58
Дальше будут флоу типы генерить из gql и вообще как люди заживут
? animufag ?05.12.2017
12:48:10
12:48:10
и завязанный на обжектив-си
illiatshurotshka❄️05.12.2017
12:48:11
12:48:11
что значит лаконичность?
Kelin05.12.2017
12:48:12
12:48:12
Ну я так и учусь, сам че-то ковыряю
Просто не вижу смысла в чатике, в котором нельзя будет задать банальный нубский вопрос "как упростить вот это вот"
? animufag ?05.12.2017
12:48:31
12:48:31
ну тип адхок синтаксические правила
Google? animufag ?05.12.2017
12:48:42
12:48:42
многие стейтменты не являются экспрешонами
? animufag ?05.12.2017
12:48:48
12:48:48
if let
? animufag ?05.12.2017
12:49:03
12:49:03
и там запятая после let для остальных условий
guard
лямбдочки и передача self в лямбдочках через weak а остальные ссылки нельзя через weak передать
? animufag ?05.12.2017
12:51:16
12:51:16
var smt = nil
if x > 5 { smt = 1 } else { smt = 2 }
illiatshurotshka❄️05.12.2017
12:51:20
12:51:20
особенно если убрать if)
? animufag ?05.12.2017
12:51:23
12:51:23
Googleilliatshurotshka❄️05.12.2017
12:52:47
12:52:47
оккк забираю свои слова назад
? animufag ?05.12.2017
12:53:19
12:53:19
а ну там ещё остался тернарный ?:
illiatshurotshka❄️05.12.2017
12:53:35
12:53:35
да, я загуглил
? animufag ?05.12.2017
12:53:40
12:53:40
но от свитча точно хочешь экспрешона
? animufag ?05.12.2017
12:54:41
12:54:41
котлин = лаконичней, но нет трейтов
illiatshurotshka❄️05.12.2017
12:55:18
12:55:18
котлин не рассматриваю
? animufag ?05.12.2017
12:56:28
12:56:28
у котлина таргеты почеловечней чем у свифта
хотя он слишком джавацентричный
illiatshurotshka❄️05.12.2017
12:57:11
12:57:11
> var name: String by Delegates.notNull()
? animufag ?05.12.2017
12:57:55
12:57:55
вау. я чёт про такое даже не думал
illiatshurotshka❄️05.12.2017
12:58:48
12:58:48
если честно я бы назвал классическое ооп и эксепшены тоже не лаконичными
? animufag ?05.12.2017
12:58:50
12:58:50
аа. хз как-то упустил этот делегат. видимо недавно ввели
ну конечно
эксепшены = имплиситно возвращать несколько значений и сваливать вину на криворуких разрабов
Aleh05.12.2017
13:35:14
13:35:14
А че за чат?
andretshurotshka?❄️кде05.12.2017
13:35:43
13:35:43
@haskell_learn
Googleadam05.12.2017
13:35:48
13:35:48
Если по его меркам линзы, завтипы, поинтфри является темой не для новичка, то пусть и для всех остальных также
Yung05.12.2017
13:35:52
13:35:52
первое правило чата по хаскеллю
не говорить про хаскелль
второе правило чата по хаскеллю
НИКОМУ не говорить про хаскелль
Denis05.12.2017
13:37:31
13:37:31
adam05.12.2017
13:37:41
13:37:41
Правила составлял не кана, поэтому не мемес
Denis05.12.2017
13:40:57
13:40:57
или ты не в пейпере вычитал это
? animufag ?05.12.2017
13:42:44
13:42:44
так нормальное же правило
AdminERROR: S client not available
? animufag ?05.12.2017
13:43:25
13:43:25
серьёзно за такую хуйню можно банить, нежели всем собираться с мыслями пытаться что-то полезное выжать. вот там на собесе пригодится
illiatshurotshka❄️05.12.2017
13:44:22
13:44:22
^
adam05.12.2017
13:44:30
13:44:30
или ты не в пейпере вычитал это
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric PolymorphismDenis05.12.2017
13:44:45
13:44:45
даже PHOAS
adam05.12.2017
13:45:02
13:45:02
А как по-другому
Denis05.12.2017
13:48:12
13:48:12
кстати тут в cata нет ничего удивительного) этоже канонический Mu
adam05.12.2017
13:57:29
13:57:29
Если что, то Fω сама за себя говорит, что это higher-order polymorphic lambda calculus
Также стоит узнать о понятии лямбда куба
Denis05.12.2017
14:04:24
14:04:24
@systemspace да я пробовал сделать Кметт версию для GADTs https://gist.github.com/xgrommx/4c72ae9d407214deab55fe9aebc08b45
Google
Denis05.12.2017
14:27:02
14:27:02
что еще за фп тс?
illiatshurotshka❄️05.12.2017
14:30:48
14:30:48
Denis05.12.2017
14:32:57
14:32:57
лямбда кубом не удивишь
illiatshurotshka❄️05.12.2017
14:33:28
14:33:28
а сфера есть?
Vasiliy05.12.2017
14:34:38
14:34:38
есть и ее вроде как можно вывернуть наизнанку не разорвав
Дмитрий05.12.2017
14:34:53
14:34:53
Любую сферу
Vasiliy05.12.2017
14:35:15
14:35:15
да, в N > 3
а, гиперсфера вообще не про то, чет я погнал) но первое утверждение остается истинным
illiatshurotshka❄️05.12.2017
14:35:53
14:35:53
слово сфера не подразумевает n > 3?
Дмитрий05.12.2017
14:36:09
14:36:09
Это доказанная теорема в топологии, кстати и даже визуализированная
andretshurotshka?❄️кде05.12.2017
14:37:41
14:37:41
лол
kana05.12.2017
14:37:43
14:37:43
Задает чувак какой-то простой вопрос
а Зига ему кидает решение через фримонады на фиксе и рекурсивных схемах
Открыть в Telegram