Вопрос не по хаскелю, но хз как ещё найти инфу) Есть какие-нить группы в тг по coq'у?
Привет всем. Начал раст изучать и не до конца понимаю кое-что по лайфтаймам. Правильно ли я понимаю, что ф-цию new_borrow1 реализовать получится, а ф-цию new_borrow2 нет из-за...
Привет. Правильно ли я понимаю, что borrow_mut() небезопасен, когда есть референс на данные?
Короче, я понял, что там "магия" какая-то про которую я пока не знаю. Указатели типа у которых лайфтайма нет? pub struct NonNull<T: ?Sized> { pointer: *const T, }
Типа запаникует, если переместится указатель?
А как тогда такое реализуется?
Комьюнити Binance
React — русскоговорящее с...
Android Developers
Python
Vue.js — русскоговорящее ...
supapro.cxx
DotNetRuChat
GNU/Linux Help
Telegram Developers
Node.js — русскоговорящее...
DevOps — русскоговорящее ...
JavaScript Noobs — сообще...
![Django [ru]](https://image.telq.org/channel_avatar_1063854692_12437233608009742_mini.jpeg){kind=avatar}
Django [ru]
Go-go!
Angular - русскоговорящее...
ntwrk
Верстка сайтов HTML/CSS/J...
phpGeeks
Где взять займ?
Kubernetes — русскоговоря...
Haskell
Rust — русскоговорящее сообщество
Rust Beginners
