
Denis
07.06.2017
10:40:30
мне нравится union-type и я на основе него делаю тип суммы https://github.com/xgrommx/practical-functional-programming/blob/master/maybe/index.js

Дмитрий
07.06.2017
10:40:36
Лоол
Ты вот щас не поверишь, что я сделал?
В общем,поработав с union-type я понял, что он местами сильно неудобный

Google

Дмитрий
07.06.2017
10:41:21
И далеко не полный

? animufag ?
07.06.2017
10:41:26
ну то есть определение комонады над структурой даёт тебе возможность экстрактить поле. не слабовато?

Дмитрий
07.06.2017
10:41:27
Поэтому я сделал свою версию

Denis
07.06.2017
10:42:29
есть еще на основе sanctuary https://github.com/JAForbes/sum-type
ну и daggy
а что не так с UT?

Дмитрий
07.06.2017
10:45:55
В общем, одна из главных причин, почему я сделал свою версию вместо union-type это то, что для моей модели выполняется проверка
const Point = Type({
x: Number,
y: Number,
})
const pointData = { x: 10, y: 10 }
const typedPoint1 = Point(pointData)
const typedPoint2 = Point(pointData)
typedPoint1.equals( typedPoint2 )
// => true
typedPoint1.equals( pointData ) /// sic !
// => true

Denis
07.06.2017
10:46:38
там же как-то надо проверять через isPrototypeOf

Дмитрий
07.06.2017
10:46:45
ну вот у меня не надо
Я даже гораздо больше скажу
У меня так же матчатся большие разветвленные типы

Denis
07.06.2017
10:47:29
там целый PR на эту тему https://github.com/paldepind/union-type/pull/36

Google

? animufag ?
07.06.2017
10:47:31
у тебя есть некоторая структура. ты её назвал структура данных из библиотеки. видимо она не является чем-то особым
просто объект с некоторыми полями.
над ней ты определяешь комонаду. экстракт некоторого поля и экстенд. хотя чтобы законы соблюдались наверное это должен быть объект с одним полем.
и такой обхект в общем кажется немного бесполезным
над мэйби комонаду не определишь, над списком тоже.

Denis
07.06.2017
10:47:48
ну покажешь, посмотрим)

Дмитрий
07.06.2017
10:47:51

Denis
07.06.2017
10:49:23
ну а что про daggy скажешь?
вот тут для свободнейшей монады вроде норм https://www.humblespark.com/blog/extensible-effects-in-node-part-1

Дмитрий
07.06.2017
10:50:12

Denis
07.06.2017
10:50:22
ну нет

Дмитрий
07.06.2017
10:50:24
С идеи daggy это всё же считай и пошло

Denis
07.06.2017
10:50:28
daggy недавно норм переписали
шо за mezzanine?

Дмитрий
07.06.2017
10:51:06
Посмотри на первую строчку в скрине)

Denis
07.06.2017
10:52:47
нет такого на github))

Сергей
07.06.2017
10:53:32

Denis
07.06.2017
10:53:44
норм)

Сергей
07.06.2017
10:53:50
можешь скинуть свой конфиг терминала?

Denis
07.06.2017
10:54:20
fishshell + omf + some theme
ну и fisher

Aleh
07.06.2017
10:54:56
agnoster из omz с переносом, у меня похожее

Сергей
07.06.2017
10:55:34

Google

Сергей
07.06.2017
10:55:48

Дмитрий
07.06.2017
10:56:46
можешь скинуть свой конфиг терминала?
Я на самом деле посмотрел на твой конфиг и наконец-то переставил bash на что-то приличное)) Но я до сих пор никак в zsh не вьеду и поэтому такой конфиг получился не то чтобы осознанно ?
У меня не взлетел oh-my-zsh, поэтому я быстренько поставил его альтернативу
И этот скин — из нее
Сейчас скажу если найду как)

Сергей
07.06.2017
10:59:23

Aleh
07.06.2017
10:59:30

Denis
07.06.2017
10:59:37
да
лучше него нет)

Дмитрий
07.06.2017
10:59:46

Aleh
07.06.2017
10:59:55
я просто немного смотрел в его сторону, но чет не перешел)

Сергей
07.06.2017
11:00:51

Denis
07.06.2017
11:00:55
лучше у него уже из коробки идет что в oh my zshell
даже больше
+ можно поставить omf
+ fisher

Сергей
07.06.2017
11:01:24
мне фиш вообще не вкатил как-то слишком дофига отличий от bash

Aleh
07.06.2017
11:01:37
даже больше
а нет больших страданий от несовместимости с bash?

Дмитрий
07.06.2017
11:02:01
О_О
Что? ? Ну я посмотрел на дистры, понял, что арч сейчас самый топчик и без проблем, поэтому по быстрому накатил и продолжил работать)

Google

Сергей
07.06.2017
11:02:17
я с трудом перешел на omz с bash с кучей всякого

Aleh
07.06.2017
11:02:18

Дмитрий
07.06.2017
11:02:40
Ну меня стращали страшной установкой
А в реале иногда с вебпаком больше вожусь, чем

Сергей
07.06.2017
11:03:03

Aleh
07.06.2017
11:03:07
да, установка там только что без гуя
а так оч простая и очень подробно описана

Дмитрий
07.06.2017
11:03:37

Admin
ERROR: S client not available

Дмитрий
07.06.2017
11:03:51
Сейчас просто студийный компьютер сделал

Aleh
07.06.2017
11:04:21

Дмитрий
07.06.2017
11:04:51
Ну вот да, подробная вики — это отдельный довод для меня был, показатель того, где сейчас вся движуха)

Denis
07.06.2017
11:05:11
давайте без лишнего в fp чатике
все эти обсуждения конфигов и все такое но не тут

Vladimir
07.06.2017
11:05:58
о
у нас появился конкурент канистре

Сергей
07.06.2017
11:06:44

Дмитрий
07.06.2017
11:07:58

Denis
07.06.2017
11:07:59
я вообще хотел написать Коммутативная Диаграмма =)

Дмитрий
07.06.2017
11:08:40
Удачнее всего получилось у автора канала profunctor optics)

Google

Denis
07.06.2017
11:12:08
кстати ты сказал про оптику и я вспонил один адок
http://oleg.fi/gists/posts/2017-04-18-glassery.html

Сергей
07.06.2017
11:13:19

Denis
07.06.2017
11:13:28
все про оптику
линзы
призмы

Дмитрий
07.06.2017
11:13:37

Denis
07.06.2017
11:13:38
аффиные траверсы
а что в ней не так?)

Дмитрий
07.06.2017
11:14:09
Чуваки доку описали в стиле пятиминутного объяснения в курилке

Denis
07.06.2017
11:14:23
попытка запилить кметтовские линзы?

Дмитрий
07.06.2017
11:14:23
Все эти изоморфизмы и те де

Denis
07.06.2017
11:14:36
у Кметта кстати тоже нет норм док

Дмитрий
07.06.2017
11:14:42
Да мне кажется вполне удачная, не считая подачи конечно

Denis
07.06.2017
11:14:46
особенно когда я изучал recursion-schemes

Дмитрий
07.06.2017
11:15:05
Представляю)

Denis
07.06.2017
11:15:21
например лемма Ламбека

Сергей
07.06.2017
11:15:50

Дмитрий
07.06.2017
11:16:27
Каждому присваивается цвет случайным образом. У меня он фиолетовый

Сергей
07.06.2017
11:16:55