G
назвали b m r ну сори
Size: a a a
2020 May 08
VG
ну там для понятности куча схем
G
сами виноваты
VG
type Producer' b m r = forall x' x . Proxy x' x () b m r
Upstream | Downstream
+---------+
| |
* <== <== ()
| |
* ==> ==> b
| | |
+----|----+
v
r
Upstream | Downstream
+---------+
| |
* <== <== ()
| |
* ==> ==> b
| | |
+----|----+
v
r
VG
сук телега
G
так хуяк хуяк уже будет полгода в проде работать и все баги отловяца
только хорошо бы с горящей жопой не чинить прод а ловить на стадии компиляции баги
G
type Producer' b m r = forall x' x . Proxy x' x () b m r
Upstream | Downstream
+---------+
| |
* <== <== ()
| |
* ==> ==> b
| | |
+----|----+
v
r
Upstream | Downstream
+---------+
| |
* <== <== ()
| |
* ==> ==> b
| | |
+----|----+
v
r
v r b
G
збс
VG
только через полгода либа на хаскеле никому не нужна будет ведь все уже юзают полгода норм работающую либу
VG
и уж точно мало кто захочет разбираца в ее типах
VG
я разобрался ради веселья, но я ради веселья дофига на типах написал
G
ну это да
M
Согласен с вечей
G
когда быстро нужно то в типах долго бывает
VG
в итоге ушел на жс с реактом, код хуже не стал, все равно в понятном коде почти все баги эт в логике
M
Нужно не идеально нужно рационально и адекватно
M
Что бы достаточно хорошо было
M
Ну всплывёт у тебя одна ошибка где то в узком месте у одного из тыры юзерей
M
Это уже крайне высокое качество