AD
В приложении к конкретному типу вроде коллекции это даёт очень конкретную вещь
Size: a a a
2021 June 06
I
... которые не энфорсятся компилятором, поэтому это скорее suggestions, чем laws.
AD
В стдлибе вполне энфорсятся проп тестами
AD
По этому лучше хоть как-то чем никак
AD
Про вайл подобных законов нет
I
Какую?
I
while - это структурное программирование, проверяемое компилятором. Монады как они сейчас с законами, но без проверки их исполнения - это goto времён Дейкстры - suggestions, а не laws.
I
Как только эти laws будут проверяемы компилятором (не знамо как - либо новый синтаксис, как в случае со структурным программированием, либо "умным компилятором"), тогда и можно говорить о чём-то.
I
Я вот даже когда на динамически-типизированных языках пишу, я пишу на самом деле на статически-типизированных языках, только типизация энфорсится методом пристального взгляда.
AD
Хотя бы то что операция применится ко всем элементам
AD
За все время работы не приходилось выдумывать инстансы монад
I
Про while тогда тоже есть законы - его тело не исполнится, если условие ложное.
AD
Все есть кетс
AD
Ну и что мне с этим делать - условие рантайм, сложно
AD
Рантайм в голове не разрешим
AD
В нетривиальных случаях
I
Компайл тайм тоже.
I
В нетривиальных случаях
AD
Он больше разрешим и его проще сводить к тривиальным
AD
"Больше" в том плане что существующие вещи применимы к большему количеству задач