KR
Типо
C -> D
/
A -> B. < - - - -
/. \
Ba -> Bc -> Bd
Size: a a a
2021 April 09
p
Только это по сути монады
p
Были бы монады на изи бы можно было вынести в либу
DS
Да ладно, разве это особо страшно?
DS
Я уже описал пару способов как это поправить
DS
Если доступны трейт алиасы, то можно ещё проще
p
p
Хрень которая что-то вычисляет и передаёт значение следующему вычислителю
DS
Это много что может быть.
Если это пайплайн, то это скорее стрелки
Если это пайплайн, то это скорее стрелки
EG
Если доступны трейт алиасы, то вообще почти жить можно, лол
H
The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq's logo and name.
We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community.
For these reasons, the Coq development team is open to a renaming.
We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community.
For these reasons, the Coq development team is open to a renaming.
H
))
KR
С
Renaming to Dick
С
Разумеется не надо ничего переименовывать.
p
Если человек не хочет учить кок из-за его названия пусть он идёт нахуй
SP
французы вообще гордятся коками. есть бренд одежды кок