The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы
правила/FAQ
поиск
регистрация
вход
слежка
RSS


Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Microsoft наймёт разработчиков для переписывания сервисов с C# на Rust, opennews (??), 01-Фев-24, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


39. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +3 +/–
Сообщение от Минона (ok), 01-Фев-24, 10:21 
МС - платиновый спонсор.
Они уже попробовали и вкладывают деньги.
Ответить | Правка | Наверх | Cообщить модератору

45. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от beck (??), 01-Фев-24, 10:34 
Попробовать на реальном проекте. MS может себе позволить такие эксперименты.

Но, как я понимаю,  отрасль медленно, но верно катит в сторону раста. С++ слишком сложен для манкикодеров, гошечка немного не о том, писать гигатонны кода на С ещё сложнее,  чем на С++. Сложнее в смысле дороже и дольше.

Есть и других языков, зиг, ред, ним в конце концов,  но пропихнули раст. Я думаю,  что причины были отнюдь не технические.

Так что улыбаемся и машем.

Ответить | Правка | Наверх | Cообщить модератору

49. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +1 +/–
Сообщение от Карлос Сношайтилис (ok), 01-Фев-24, 10:37 
> Попробовать на реальном проекте

А до сего дня были "нереальные" проекты? У MS растовый код и на серверах и на клиентах. Недо что-то ещё "реальнее"?

Ответить | Правка | Наверх | Cообщить модератору

55. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (24), 01-Фев-24, 10:54 
ты мне одно скажи, ты студент-партнёр их что ли? слишком много пиаришь их решение по расту
Ответить | Правка | Наверх | Cообщить модератору

56. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +2 +/–
Сообщение от Карлос Сношайтилис (ok), 01-Фев-24, 11:00 
До студента-партнёра обещали повысить в следующем году. Пока стажёр за еду.
Ответить | Правка | Наверх | Cообщить модератору

63. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  –2 +/–
Сообщение от Аноним (-), 01-Фев-24, 11:33 
> зиг

Не привносит ничего нового и толкового, просто попытка улучшить сишечку, при этом не сильно от нее отходя.
Сейчас выпуск 0.11.0, учитывая что оно пилят его с 2015 года какими-то васянами... то до прода ему топать и топать.

> ред, ним

маргинальщина

> Я думаю,  что причины были отнюдь не технические.

Пруфов как всегда не будет?

Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

178. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +1 +/–
Сообщение от beck (??), 01-Фев-24, 16:57 
> Пруфов как всегда не будет?

Какие могут быть пруфы, если это моё мнение. Там даже написано "я думаю что". Ты читай внимательно, а думай аккуратно.

Ответить | Правка | Наверх | Cообщить модератору

354. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Александр (??), 03-Фев-24, 02:10 
Так и пилят 2,5 Васяна, потому что не распиарен. Посмотрите python. До нокии тоже 2,5 Васяна пилили. Нокия вложилась в своё время - сразу в топах.
Ответить | Правка | К родителю #63 | Наверх | Cообщить модератору

71. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (-), 01-Фев-24, 11:40 
> Есть и других языков, зиг, ред, ним в конце концов,  но пропихнули раст. Я думаю,  что причины были отнюдь не технические.

Зиг? Это то самое поделие, которое типа "более безопастно чем Раст" (по мнению местных клоунов), но в котором можно сделать так (без каких либо ансейфов, просто в коде)
  var hello = try allocator.dupe(u8, "zig sucks");
  allocator.free(hello);
  std.debug.print("{s}\n", .{hello});
и получить use after free?

Не спасибо, нам такой радости не нужно, хватает дыряшки.

Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

75. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Карлос Сношайтилис (ok), 01-Фев-24, 11:48 
Зиг не про безопасность, а про управление памятью.
Если раст в работе с памятью, по дефолту, придерживается happy path и скрывает аллокации, то зиг наоборот - пляшет от аллокаторов.
Ответить | Правка | Наверх | Cообщить модератору

85. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +1 +/–
Сообщение от Аноним (-), 01-Фев-24, 12:07 
> наоборот - пляшет от аллокаторов.

А смысл? Ну есть у тебя возможноcть создавать по особенному аллокатору на каждый случай.
Но если это не добавляет безопасности, то как это тебе поможет писать надежный код?

Тогда вообще непонятно, зачем мне переписывать условный проект на CИ c него на zig?
Может за счет defer/errdefer, bitcast'а, нормальных енумов и прочих современных технологий станет лучше. Хотя бы не придется кидать ошибки путем выкидивания -1, с последующим отгребаниям уязвимостей.
Но лично мне не кажется, что оно не оправдает усилия, но может я плохо читал доку и ошибаюсь)

Ответить | Правка | Наверх | Cообщить модератору

95. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Советский инженер (ok), 01-Фев-24, 12:30 
>А смысл?

cмысл в том, что бы получить сишку с минимумом UB и прочего легаси.

Ответить | Правка | Наверх | Cообщить модератору

152. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (-), 01-Фев-24, 15:27 
Проблем которые появляются из-за UB (напр целочисленное переполнение) случаются, но мне кажется их  не так много, как проблем с памятью.
Святая троица "use-after-free + out-of-bounds + double-free" это огромный пласт уязвимостей.
И переход на zig это не решит, тк он допускает эти ошибки.
Ответить | Правка | Наверх | Cообщить модератору

188. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Советский инженер (ok), 01-Фев-24, 17:20 
вот как раз-то от того что в сишке никак не могут определится как складывать числа без UB иногда и случаюится выходы за границу массива.
а еще в С прото указатель и массив практически неотличимы. в зиг же добавили ссылки и слайсы. это уже лучше чем ничего.
а еще в зиге избавились от макросов.
Ответить | Правка | Наверх | Cообщить модератору

369. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (-), 03-Фев-24, 10:30 
> А смысл? Ну есть у тебя возможноcть создавать по особенному аллокатору на
> каждый случай.
> Но если это не добавляет безопасности, то как это тебе поможет писать
> надежный код?

На хрусте уже написали надежный код. Заметили что падать в панику в ядре при каждом неуспехе аллокации - голимая идея. Родили фееричные костыли имени try* - при том выглядит как вот именно навесной кривой костыль.

Ответить | Правка | К родителю #85 | Наверх | Cообщить модератору

153. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Витюшка (?), 01-Фев-24, 15:41 
Use-after-free и double-free легко решаются. Да, это не полностью сделано в Zig (пока что).

Но на 99% это всё покрывается специализированными аллокаторами.

Ответить | Правка | К родителю #71 | Наверх | Cообщить модератору

155. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  –1 +/–
Сообщение от Витюшка (?), 01-Фев-24, 15:53 
Смотрю я на документацию (нужен битовый вектор над существующей памятью, которая управляется пулом памяти buffer pool).

На Zig я сам написал.

https://docs.rs/bitvec/latest/bitvec/slice/struct.BitSlice.html

С одной стороны там пишут как всё безопасно и все alias rules и все гарантии есть "как в Rust".

Потом читаем далее

You must never attempt to type-cast a reference to BitSlice in any way. You must not use mem::transmute with BitSlice anywhere in its type arguments. You must not use as-casting to convert between *BitSlice and any other type. You must not attempt to modify the binary representation of a &BitSlice reference value. These actions will all lead to runtime memory unsafety, are (hopefully) likely to induce a program crash, and may possibly cause undefined behavior at compile-time.

И понеслась портянка исключений (в документации, а не в компиляторе) чего делать нельзя иначе будет бобо.

И вот такое встречаю практически в каждом crate.

Ну, конечно, это не Zig. Это безопасно.

Ответить | Правка | К родителю #71 | Наверх | Cообщить модератору

182. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +1 +/–
Сообщение от Аноним (-), 01-Фев-24, 17:07 
mem::transmute вообще-то unsafe и есть ты там что-то натворишь - то ССЗБ.
Все остальное тоже в большей степени касается интеропа и ансейфа.
Ответить | Правка | Наверх | Cообщить модератору

310. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Карлос Сношайтилис (ok), 02-Фев-24, 10:23 
Берём unsafe операции, читаем документацию, оказывается, что они не safe. Делаем вывод: безопасность раста - миф!

мем-картинка: просчитался, но где?

Ответить | Правка | К родителю #155 | Наверх | Cообщить модератору

86. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (157), 01-Фев-24, 12:07 
> Но, как я понимаю,  отрасль медленно, но верно катит в сторону раста. С++ слишком сложен для манкикодеров, гошечка немного не о том, писать гигатонны кода на С ещё сложнее,  чем на С++. Сложнее в смысле дороже и дольше.

Так нам тут упорно пытаются доказать, что на расте писать еще сложнее (бороу чекер не дает на будущее оставить парочку CVE в коде). Кажется, у тебя рассинхрон логики.

Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

175. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +1 +/–
Сообщение от beck (??), 01-Фев-24, 16:55 
Напротив.

Я и говорю,  что при всём богатстве выбора особенно выбирать то и не из чего. Кроме раста вариантов и нет.

А кто там чего хочет доказать,  ну пускай.

Ответить | Правка | Наверх | Cообщить модератору

301. "Microsoft наймёт разработчиков для переписывания сервисов с ..."  +/–
Сообщение от Аноним (301), 02-Фев-24, 09:40 
Мне вот зашел Odin lang. Но за ним нет корпораций и толпы фанатиков.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей 		Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру