Они - это методы или монадки?
Я думал, что всё что нужно для практических целей выписано в сигнатурах, а если речь про теоретические доказательства, что так можно делать, то оно осталось в головах (и умных двух-трёхколоночных статьях), а все остальные наслаждаются результатами.
А что такое "аксиома" в коде?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2022-12-02 03:25 pm (UTC)Они - это методы или монадки?
Я думал, что всё что нужно для практических целей выписано в сигнатурах, а если речь про теоретические доказательства, что так можно делать, то оно осталось в головах (и умных двух-трёхколоночных статьях), а все остальные наслаждаются результатами.
А что такое "аксиома" в коде?