Forwarded from hirrolot
Если кто-то в чате шарит за F* (думаю, кто в общем про ФП шарит, тот разберётся), буду благодарен, если объясните _пошагово_ как мы это свойство доказали для факториала и что должны делать мы, а что Z3
Forwarded from Stanislav Popov
вот нормальные пацаны https://reasonml.github.io/docs/en/record
reasonml.github.io
Records · Reason
_Quick overview: [Records](/docs/en/overview#records)_
Forwarded from Aikidos
Тут вчера были очередные закидоны, в том числе и в мою сторону, относительно тупости растоманов и крутости гоферов. Я даже не собираюсь особо заморачиваться на какую-то то там аргументацию. С фанатиками, как известно, аргументом может быть только Smith&Wesson, но никто вас тут отстреливать не собирается. Живите себе и жуйте свой голанг до опупения.
Я вообще пришел к выводу, что го полезен именно тем, что привлекает и частично нейтрализует определенный слой горутинопитеков с патологическим ЧСВ и желанием к упрощению. Тут одно гоферское чудо (когда хотело проиллюстрировать мне бесполезность дженериков) как-то выкладывало свой код на го c разветвленной иерархией if err != nil и чуть ли не кодген для... обработки ошибок в каком-то своем пакете. И я подумал, как тяжело работать с такими особями обычным нормальным людям, которые пишут программы именно для того, чтобы закончить их и сдать в прод, а не для вечного процесса “упрощения” и переделок. И голанг здесь приносит свою пользу именно тем, что несколько отвлекает и даже истощает силы таких примитивных товарищей. И когда они на других языках программирования пишут уже код, за который получают деньги, то после извращенческих упражнений с го их потуги к упрощениям на других языках совершаются по принципу остаточности.
Жаль, конечно, что спасти нормальных людей и полностью нейтрализовать вас, закрыв в инфраструктуре голанга, невозможно, т.к. вы будете возвращаться к другим языкам программирования, чтобы паразитировать на вменяемых людях. Ведь в го-экосистеме вы не можете дружно скооперироваться и достичь каких-то реальных результатов. Достаточно посмотреть на количество либ для логгирования, которые развивает обычно один человек, и которые очень редко доводятся до качества, которое позволяло бы использовать их в продакшене. Что еще раз какгбе подтверждает, что го привлекает именно токсичный психотип нарциссов с ЧСВ, не способных к плодотворному взаимодействию. 😇😊
Forwarded from Антон
Нет же. Слайс — это набор последовательно лежащих в памяти элементов неизвестного на этапе компиляции размера,
[T]
. Ссылка на слайса — это &[T]
Forwarded from ọzkriff
неплохое обсуждение (огромные коменты от matklad'а имеются) https://reddit.com/r/rust/comments/fcshgy/why_do_you_think_intellij_is_a_good_development
reddit
WHY do you think IntelliJ is a good development tool?
Hi, So I’ve been asking lately, in several communities, why people seem to agree that IntelliJ is a good tool. And… I haven’t seen anything...
Hirrolot, [05.03.20 12:54]
[In reply to Nick Linker]
sendmmsg
Hirrolot, [05.03.20 12:55]
Там либо вектор аллоцируешь (не zero-copy), либо ограничиваешь функциональность
Hirrolot, [05.03.20 12:55]
Таки безопасно получится, но с потерями
Hirrolot, [05.03.20 12:57]
[In reply to Nick Linker]
Например, нельзя
Hirrolot, [05.03.20 13:01]
Можно вектор преаллоцировать и туда при каждой посылке класть структуру. Оверхед будет, да, но насколько сильный не измерял
Hirrolot, [05.03.20 13:03]
https://github.com/nix-rust/nix/pull/1017
Вот кому интересно - пусть почитают
https://www.tg-me.com/rust_offtopic/186448
[In reply to Nick Linker]
sendmmsg
Hirrolot, [05.03.20 12:55]
Там либо вектор аллоцируешь (не zero-copy), либо ограничиваешь функциональность
Hirrolot, [05.03.20 12:55]
Таки безопасно получится, но с потерями
Hirrolot, [05.03.20 12:57]
[In reply to Nick Linker]
Например, нельзя
msghdr
пользоваться полноценно, а иногда надоHirrolot, [05.03.20 13:01]
Можно вектор преаллоцировать и туда при каждой посылке класть структуру. Оверхед будет, да, но насколько сильный не измерял
Hirrolot, [05.03.20 13:03]
https://github.com/nix-rust/nix/pull/1017
Вот кому интересно - пусть почитают
https://www.tg-me.com/rust_offtopic/186448
GitHub
Add sendmmsg() / recvmmsg() by dholroyd · Pull Request #1017 · nix-rust/nix
This is my initial go at adding sendmmsg() / recvmmsg().
I am planning on updating this pull request with at least support for control messages, but would welcome any other feedback in the meantime.
I am planning on updating this pull request with at least support for control messages, but would welcome any other feedback in the meantime.
Forwarded from hirrolot
Забавный факт: топовые по популярности языки создавали хуяк-хуяк на коленке. js, php, (сам автор признался, что любит решать проблемы, не очень любит программировать), python (тоже автор признался, что нужно было максимально быстро набросать работающий прототип)