Вариант для распечатки |
Пред. тема | След. тема | ||
Форум Разговоры, обсуждение новостей | |||
---|---|---|---|
Изначальное сообщение | [ Отслеживать ] |
"Проект TrapC развивает Си-подобный язык, безопасно работающий с памятью" | +/– | |
Сообщение от opennews (??), 12-Ноя-24, 22:51 | ||
Стартап Trasec развивает язык программирования TrapC, представляющий собой диалект языка Си, обеспечивающий безопасную работу с памятью. Для блокирования ошибок при работе с памятью, таких как выход за границы выделенного буфера, в TrapC применяется фундаментально иной способ работы с указателями и специальный механизм обработки ошибок. Заявлено, что особенности работы с указателями по возможности не будут нарушать привычный уклад и будут реализовываться на этапе компиляции. Исходный код компилятора для TrapC планируют открыть в 2025 году... | ||
Ответить | Правка | Cообщить модератору |
Оглавление |
Сообщения | [Сортировка по времени | RSS] |
53. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +10 +/– | |
Сообщение от solardiz (ok), 13-Ноя-24, 02:14 | ||
Спросил автора Fil-C об отличиях проектов, вот его ответы: | ||
Ответить | Правка | Наверх | Cообщить модератору |
81. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +3 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 08:16 | ||
> Спросил автора Fil-C об отличиях проектов, вот его ответы: | ||
Ответить | Правка | Наверх | Cообщить модератору |
92. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 09:06 | ||
> 1) Не хочет ли он нормальные типы с конкретными битностями по умолчанию, | ||
Ответить | Правка | Наверх | Cообщить модератору |
107. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 10:16 | ||
> Тогда уж для всех платформ унифицировать примитивные типы по длине. | ||
Ответить | Правка | Наверх | Cообщить модератору |
116. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 11:02 | ||
А, понял. Ты про статическую проверку выборки индекса поля в enum'е. Ну, попутал с union, бывает, давно не работал. Ну тогда да. | ||
Ответить | Правка | Наверх | Cообщить модератору |
121. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (121), 13-Ноя-24, 11:41 | ||
> А, понял. Ты про статическую проверку выборки индекса поля в enum'е. Ну, | ||
Ответить | Правка | Наверх | Cообщить модератору |
132. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 14:57 | ||
> Это как в том анекдоте - "и упаси тебя перепутать хиппи с толкиенистом". | ||
Ответить | Правка | Наверх | Cообщить модератору |
195. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (195), 18-Ноя-24, 02:31 | ||
У вас какие то придирки причём к основам Сей... | ||
Ответить | Правка | К родителю #107 | Наверх | Cообщить модератору |
100. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Совершенно другой аноним (?), 13-Ноя-24, 09:34 | ||
Вроде с типом enum в C23 решили вопрос, можно задавать его базовый тип: | ||
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору |
108. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 10:21 | ||
> Вроде с типом enum в C23 решили вопрос, можно задавать его базовый | ||
Ответить | Правка | Наверх | Cообщить модератору |
142. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Совершенно другой аноним (?), 13-Ноя-24, 17:17 | ||
> См выше пример с функцией получающей на вход enum, но реально можно вызвать something(10) коего в enum нет. | ||
Ответить | Правка | Наверх | Cообщить модератору |
169. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (-), 14-Ноя-24, 07:52 | ||
> Да, согласен с Вами этого сильно не хватает. В C++ попытались решить | ||
Ответить | Правка | Наверх | Cообщить модератору |
175. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (175), 14-Ноя-24, 13:57 | ||
enum это способ задать константу 100% без выделения памяти. | ||
Ответить | Правка | Наверх | Cообщить модератору |
176. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (176), 14-Ноя-24, 16:40 | ||
> enum это способ задать константу 100% без выделения памяти. | ||
Ответить | Правка | Наверх | Cообщить модератору |
181. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 14-Ноя-24, 21:52 | ||
> И даже в случае const - ниоткуда не следует что новая декларация ведет к новой аллокации. Какой-нибудь LTO | ||
Ответить | Правка | Наверх | Cообщить модератору |
186. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 15-Ноя-24, 18:26 | ||
> Это он сейчас может, а когда C разрабатывался, const переменная означала статически | ||
Ответить | Правка | Наверх | Cообщить модератору |
182. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 14-Ноя-24, 22:03 | ||
Та эта довольно просто. Если ты задумаешься как можно сделать не 90% фичи, а 100% фичи, то ты увидишь, что оставшиеся 10% сложнее первых 90%. Можно отгрызть 5% добавив статических проверок значений, которые кладутся в переменные типа enum, но это сработает только для случаев, когда статически известно, что кладётся недопустимое значение. А в случаях когда это неизвестно, что делать? Добавлять рантайм проверки? Допустим, но и что делать, если рантайм проверка провалилась? И одоление этих остающихся 5% потребует принятия спорных решений, например паник в рантайме, если в enum кладётся недопустимое значение. Или, например, добавление к каждому enum'у специального значения DefaultValue (или может его лучше назвать InvalidValue?) которое будет класться в enum вместо любого недопустимого значения. Придётся какие-то костыли изобретать. | ||
Ответить | Правка | К родителю #169 | Наверх | Cообщить модератору |
183. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 15-Ноя-24, 01:38 | ||
> Та эта довольно просто. Если ты задумаешься как можно сделать не 90% фичи, а 100% фичи, то ты увидишь, что оставшиеся 10% сложнее первых 90%. | ||
Ответить | Правка | Наверх | Cообщить модератору |
187. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 15-Ноя-24, 18:36 | ||
> А потом кто-то создает enum Warm и второй enum Soft. | ||
Ответить | Правка | Наверх | Cообщить модератору |
192. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от arisu (ok), 15-Ноя-24, 23:49 | ||
затем, что виртовские языки не защищают от идиота. чтобы защитить от идиота — надо идиота просто не допускать к программированию. а виртовские языки защищают не-идиота от случайных, непреднамеренных ошибок. один из видов защиты — трапнуться в рантайме, если обнаружено что-то не то. | ||
Ответить | Правка | Наверх | Cообщить модератору |
196. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от Аноним (195), 18-Ноя-24, 02:56 | ||
И тут какая то ахинея: особой разницы между ними нет же в мышлении (как скажем с Java), | ||
Ответить | Правка | Наверх | Cообщить модератору |
197. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от Аноним (-), 21-Ноя-24, 21:44 | ||
> затем, что виртовские языки не защищают от идиота. чтобы защитить от идиота | ||
Ответить | Правка | К родителю #192 | Наверх | Cообщить модератору |
200. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от Аноним (-), 21-Ноя-24, 22:31 | ||
>> один из видов защиты — трапнуться в рантайме, если обнаружено что-то не то. | ||
Ответить | Правка | Наверх | Cообщить модератору |
2. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от nc (ok), 12-Ноя-24, 23:01 | ||
Самое главное непонятно - в чем именно заключается "фундаментально иной способ работы с указателями и специальный механизм обработки ошибок". Жирные указатели как в Cyclone? | ||
Ответить | Правка | Наверх | Cообщить модератору |
77. Скрыто модератором | +3 +/– | |
Сообщение от помпезный (?), 13-Ноя-24, 07:37 | ||
Ответить | Правка | Наверх | Cообщить модератору |
84. Скрыто модератором | +/– | |
Сообщение от Аноним (84), 13-Ноя-24, 08:50 | ||
Ответить | Правка | Наверх | Cообщить модератору |
96. Скрыто модератором | +2 +/– | |
Сообщение от помпезный (?), 13-Ноя-24, 09:14 | ||
Ответить | Правка | Наверх | Cообщить модератору |
85. Скрыто модератором | +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 08:57 | ||
Ответить | Правка | К родителю #77 | Наверх | Cообщить модератору |
98. Скрыто модератором | +1 +/– | |
Сообщение от помпезный (?), 13-Ноя-24, 09:16 | ||
Ответить | Правка | Наверх | Cообщить модератору |
109. Скрыто модератором | –2 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 10:24 | ||
Ответить | Правка | Наверх | Cообщить модератору |
114. Скрыто модератором | +2 +/– | |
Сообщение от помпезный (?), 13-Ноя-24, 10:35 | ||
Ответить | Правка | Наверх | Cообщить модератору |
122. Скрыто модератором | –1 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 11:52 | ||
Ответить | Правка | Наверх | Cообщить модератору |
4. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +10 +/– | |
Сообщение от Аноним Анонимович Анонимов (?), 12-Ноя-24, 23:07 | ||
На моей памяти это уже не первая попытка исправить, «оберткой», чужой, прямо скажем, говнокод. | ||
Ответить | Правка | Наверх | Cообщить модератору |
70. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +9 +/– | |
Сообщение от Bottle (?), 13-Ноя-24, 06:09 | ||
Зная говноделов в комитете, этот стандарт будут внедрять ещё один десяток лет, а софт нужно писать уже сейчас. | ||
Ответить | Правка | Наверх | Cообщить модератору |
133. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (133), 13-Ноя-24, 15:09 | ||
Вроде всего третья попытка A, B+ и вот теперь C++ | ||
Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору |
6. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Аноним (6), 12-Ноя-24, 23:12 | ||
> Вместо malloc в TrapC используется похожий на C++ вызов new. Вызовы free и delete отсутствуют, так как за освобождение памяти отвечает компилятор, что защищает от ошибок, приводящих к утечке памяти. | ||
Ответить | Правка | Наверх | Cообщить модератору |
20. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (20), 12-Ноя-24, 23:57 | ||
В свифте сделали же автоматическое управление памятью без гц. И никаких боровов чекать не надо. | ||
Ответить | Правка | Наверх | Cообщить модератору |
30. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (30), 13-Ноя-24, 00:29 | ||
> В свифте сделали же автоматическое управление памятью без гц. | ||
Ответить | Правка | Наверх | Cообщить модератору |
49. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Аноним (49), 13-Ноя-24, 01:48 | ||
Ну так в C++ тоже есть shared_ptr который делает то же самое. И никто не говорит что это GC. В р@сте тот же самый подход есть, аналог плюсовых shared_ptr и unique_ptr. | ||
Ответить | Правка | Наверх | Cообщить модератору |
161. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (30), 13-Ноя-24, 22:21 | ||
> Ну так в C++ тоже есть shared_ptr который делает то же самое. | ||
Ответить | Правка | Наверх | Cообщить модератору |
79. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Пользователь (?), 13-Ноя-24, 07:59 | ||
Как выше указали, ARC это подобие shared_ptr от Apple, в целом никакой магии. | ||
Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору |
88. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 08:59 | ||
>> В свифте сделали же автоматическое управление памятью без гц. | ||
Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору |
162. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (30), 13-Ноя-24, 22:26 | ||
> Зашибись, а оверхед и непредсказуемость они под ковер как сныкали? :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
156. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (156), 13-Ноя-24, 21:11 | ||
Ага, с утечками памяти при циклических ссылках | ||
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору |
9. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от ijuij (?), 12-Ноя-24, 23:19 | ||
Ну и зачем это? Уже пилят Safe C++: https://safecpp.org/ | ||
Ответить | Правка | Наверх | Cообщить модератору |
66. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +14 +/– | |
Сообщение от Аноним (66), 13-Ноя-24, 04:48 | ||
initializer_list([T; dyn]^/a data) noexcept safe | ||
Ответить | Правка | Наверх | Cообщить модератору |
89. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +10 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 09:01 | ||
>initializer_list([T; dyn]^/a data) noexcept safe | ||
Ответить | Правка | Наверх | Cообщить модератору |
194. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от nc (ok), 17-Ноя-24, 12:16 | ||
Горшочек не вари, я еще доки по Carbon и Circle до конца не дочитал а тут еще и это | ||
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору |
13. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –4 +/– | |
Сообщение от Аноним (13), 12-Ноя-24, 23:27 | ||
Rust на минималках. | ||
Ответить | Правка | Наверх | Cообщить модератору |
134. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (133), 13-Ноя-24, 15:10 | ||
Совместимый по памяти и рантайму без этих всяких жужжаний про safe не safe | ||
Ответить | Правка | Наверх | Cообщить модератору |
32. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +6 +/– | |
Сообщение от Аноним (32), 13-Ноя-24, 00:32 | ||
"Answers the call from NSA, white house, fbi..." | ||
Ответить | Правка | Наверх | Cообщить модератору |
48. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –2 +/– | |
Сообщение от нах. (?), 13-Ноя-24, 01:13 | ||
А, знач - хорошие сапоги, надо брать! | ||
Ответить | Правка | Наверх | Cообщить модератору |
87. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (84), 13-Ноя-24, 08:58 | ||
Сапоги от NSA - лучше сапоги! | ||
Ответить | Правка | Наверх | Cообщить модератору |
135. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от VladSh (?), 13-Ноя-24, 15:13 | ||
> // darpa_tractor.c | ||
Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору |
36. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (36), 13-Ноя-24, 00:38 | ||
Будет смешно, если из-за академичности и известности автора все эти zig и им подобные выставят на мороз и будут забыты. | ||
Ответить | Правка | Наверх | Cообщить модератору |
37. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +4 +/– | |
Сообщение от Вы забыли заполнить поле Name (?), 13-Ноя-24, 00:41 | ||
> академичности | ||
Ответить | Правка | Наверх | Cообщить модератору |
60. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от HyC (?), 13-Ноя-24, 03:16 | ||
> Aкадемка обычно к успеху обычно не приходит. Из более-менее используемого ocaml. Всякие си, питоны и жс простите не из академки ни разу. | ||
Ответить | Правка | Наверх | Cообщить модератору |
67. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Вы забыли заполнить поле Name (?), 13-Ноя-24, 04:53 | ||
>> Aкадемка обычно к успеху обычно не приходит. Из более-менее используемого ocaml. Всякие си, питоны и жс простите не из академки ни разу. | ||
Ответить | Правка | Наверх | Cообщить модератору |
91. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 09:04 | ||
> Чтож поделать. Взлетает почему-то именно такое. | ||
Ответить | Правка | Наверх | Cообщить модератору |
95. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Анониссимус (?), 13-Ноя-24, 09:13 | ||
Во-первых, миллионы мух. А во-вторых, уж очень велик соблазн взять что-то из пары костылей, скреплённых дерьмом, но которое работает здесь и сейчас, вместо того чтобы доделывать более качественное решение. | ||
Ответить | Правка | К родителю #67 | Наверх | Cообщить модератору |
51. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Вася Пупкин (?), 13-Ноя-24, 01:51 | ||
В языке сейчас важно сообщество и экосистема, не считая корневой идеи где он может быть удобно применен. Синтаксис и имя автора лишь могут немного поспособсвовать их становлению. | ||
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору |
97. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Анониссимус (?), 13-Ноя-24, 09:16 | ||
Самое важое в любом языке -- это количество библиотек, которые можно использовать. Если там действительно можно использовать си-либы без всяких проблем, то пользоваться этим можно будет и с минимальным сообществом и экосистемой. | ||
Ответить | Правка | Наверх | Cообщить модератору |
73. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (73), 13-Ноя-24, 07:17 | ||
Ну если предположить, что Си не из академки, то впоследствии стал использоваться академкой и много чего академического на нем было написано. Так что можно считать, что Си - академка. | ||
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору |
82. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 08:26 | ||
Удобно перехватил. | ||
Ответить | Правка | Наверх | Cообщить модератору |
124. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (124), 13-Ноя-24, 12:20 | ||
>Так что можно считать, что Си - академка. | ||
Ответить | Правка | К родителю #73 | Наверх | Cообщить модератору |
118. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (118), 13-Ноя-24, 11:15 | ||
Известности ноль. И уже есть Carbon. | ||
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору |
136. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (133), 13-Ноя-24, 15:13 | ||
Carbon нихрена не собрать не затаoив половину Google к себе на домашний серверный шкаф из 40 серверов с дисковым массивом - шутка про Java и Gradle артефакты доставаемые гигабайтами какое-то невероятное зависимое говны. | ||
Ответить | Правка | Наверх | Cообщить модератору |
143. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (143), 13-Ноя-24, 17:30 | ||
Релиз в 27-м году. Осталось только подождать, затяните пояса. | ||
Ответить | Правка | Наверх | Cообщить модератору |
52. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от htmldevelob (?), 13-Ноя-24, 01:51 | ||
а вообще по теме мне кто то может пояснить что за вечная проблема с памятью ? в си и си++ и наверно в ассемблере нету такой проблемы ? а если есть может кто то тогда ассемблер сделает получше? | ||
Ответить | Правка | Наверх | Cообщить модератору |
58. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +4 +/– | |
Сообщение от Йцукенг (?), 13-Ноя-24, 03:00 | ||
Просто прочитайте, что такое переполнение буфера, висячие указатели, переполнение стека. | ||
Ответить | Правка | Наверх | Cообщить модератору |
78. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –4 +/– | |
Сообщение от Аноним (78), 13-Ноя-24, 07:39 | ||
> В других языках такие проверки и работу с памятью обеспечивают компиляторы. | ||
Ответить | Правка | Наверх | Cообщить модератору |
158. Скрыто модератором | +1 +/– | |
Сообщение от Аноним (156), 13-Ноя-24, 21:16 | ||
Ответить | Правка | Наверх | Cообщить модератору |
119. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +5 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 11:20 | ||
Основная проблема с памятью, что тебе надо дёрнуть free/delete на кусок памяти тогда и только тогда, когда этот кусок памяти перестаёт быть доступным для программы. Но языки программирования предлагают массу способов осложнить доказательство того, что кусок памяти перестаёт быть доступным. Указатель может где-нибудь сохраниться, в какой-нибудь структуре, допустим в каком-нибудь ивенте, который в какой-то очереди дожидается, когда он будет обработан. Динамические подходы к управлению памятью почти решают эту проблему, но даже они не идеальны, потому что программа может "забыть" обнулить какой-нибудь указатель, и динамические подходы к сборке мусора будут рассматривать это как наличие способа для программы поработать с данным куском памяти. Кроме того, не все сборщики мусора precise, часто производительности ради они действуют в разной степени консервативно и вычищают не весь мусор, только то, про что легко доказать, что это мусор. Счётчики ссылок же дополнительно создают проблем с циклическими ссылками. Впрочем, в языках со сборкой мусора, утечки памяти всё же редкость, потому что требуется довольно специальные условия, чтобы такое произошло. А use-after-free виртуально не существуют в них, потому что для этого нужен бажный сборщик мусора. | ||
Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору |
171. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Анониматор (?), 14-Ноя-24, 08:02 | ||
Никакой проблемы насамом деле нет. Сын учится в вышке, учат кондовый С на указателях и маллоках, причём всего за пару месяцев уже сильно далеко за пределами моего понимания. Любые утечки которые сдают студенты препод сразу видит. Дело в квалификации мне кажется. | ||
Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору |
193. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от freecoder (ok), 17-Ноя-24, 11:20 | ||
*Никакой проблемы при написании лаб на Си на самом деле нет | ||
Ответить | Правка | Наверх | Cообщить модератору |
61. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (61), 13-Ноя-24, 03:17 | ||
> бывший профессор компьютерных наук | ||
Ответить | Правка | Наверх | Cообщить модератору |
75. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (78), 13-Ноя-24, 07:23 | ||
Карабас-Барабас - профессор кукольных наук. Всё нормально. | ||
Ответить | Правка | Наверх | Cообщить модератору |
83. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 08:29 | ||
Помнишь такого вот кривого доцента с кафедры АСУП, САПР или ВТ? Который в жизни не написал ничего реально применимого, но очень гордящегося своим алгоритмом подсчёта синуса от количества усов на морде среднестатистического кота? Такое же, только англоязычное. | ||
Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору |
101. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от eugene_martein (ok), 13-Ноя-24, 09:36 | ||
Типа, как Зуев, который один год писал синтаксическое AST-дерево для несостоявшегося отечественного компилятора C++ в 90-ых, но получил такую психотравму, что по сей день орёт, что отечественный компилятор есть. | ||
Ответить | Правка | Наверх | Cообщить модератору |
115. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Жироватт (ok), 13-Ноя-24, 10:57 | ||
Таких у нас вагон и полная тележка сверху. | ||
Ответить | Правка | Наверх | Cообщить модератору |
138. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (138), 13-Ноя-24, 15:49 | ||
> Не пониманию я этого наяривания на "академичность". | ||
Ответить | Правка | Наверх | Cообщить модератору |
69. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (69), 13-Ноя-24, 05:33 | ||
Вообще интересно, но пока ещё сыро и не опенсорс. | ||
Ответить | Правка | Наверх | Cообщить модератору |
80. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от КО (?), 13-Ноя-24, 08:11 | ||
Пока сыро - это всё состояние опенсорса, так что вполне подходит | ||
Ответить | Правка | Наверх | Cообщить модератору |
105. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (78), 13-Ноя-24, 09:59 | ||
> Пока сыро - это всё состояние опенсорса, так что вполне подходит | ||
Ответить | Правка | Наверх | Cообщить модератору |
140. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (140), 13-Ноя-24, 16:11 | ||
Как говорится, ничто не вечно, ничто не закончено и ничто не совершенно. | ||
Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору |
145. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (145), 13-Ноя-24, 17:37 | ||
А я бы стал утверждать, что программа достигает совершенства к ... концу развития. После чего выбрасывается, и всё начинается сначала. Потребуются примеры? Ну, NC и NU под MS-DOS, да и сама MS-DOS. | ||
Ответить | Правка | Наверх | Cообщить модератору |
164. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от arisu (ok), 13-Ноя-24, 23:25 | ||
NC достиг совершенства в VC. ;-) | ||
Ответить | Правка | Наверх | Cообщить модератору |
172. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от Incorporated (?), 14-Ноя-24, 08:05 | ||
NC достиг совершенства в MC. ;-) | ||
Ответить | Правка | Наверх | Cообщить модератору |
173. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от arisu (ok), 14-Ноя-24, 08:35 | ||
а MC не надо сопровождать никуда. последнее хорошее, что с ним случилось — это mc^2. который, естественно, в апстрим не взяли, и продолжают там заниматься ерундой. я этот самый mc^2 спокойно использую, и за восемь лет отсутствия очень необходимых сопровождений и обновлений весьма доволен. | ||
Ответить | Правка | Наверх | Cообщить модератору |
198. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от Аноним (-), 21-Ноя-24, 21:48 | ||
> там заниматься ерундой. я этот самый mc^2 спокойно использую, и за | ||
Ответить | Правка | Наверх | Cообщить модератору |
99. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +4 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 09:32 | ||
> Заявлено, что особенности работы с указателями по возможности не будут нарушать привычный уклад и будут реализовываться силами компилятора. | ||
Ответить | Правка | Наверх | Cообщить модератору |
102. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Данные в так называемом поле Name (?), 13-Ноя-24, 09:39 | ||
Я когда был маленький, мне казалось что мир информационных технологий огромен. Казалось, что на каждую, даже самую бредовую репу найдётся орда энтузиастов. Сейчас мнение поменял на прямо противоположное. Индустрия едет по рельсам, которые прокладывают некоторые сверх богатые компании. Смотрю как Oracle пыхтит пытаясь жабу тащить и как ему не хватает силёнок, чего уж говорить об энтузиастах? Короче, не знаю на что рассчитывает "бывший профессор", но безумству храбрых поём мы славу! | ||
Ответить | Правка | Наверх | Cообщить модератору |
111. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним55 (?), 13-Ноя-24, 10:26 | ||
Увидел иронию в словах "бывший профессор". Но с другой стороны, когда в новом сезоне шоу под названием "университет", видимо для экономии средств, мне предложили из доцентов перейти в старшие преподаватели, наши пути в науке разошлись. Кто его знает, что там произошло. | ||
Ответить | Правка | Наверх | Cообщить модератору |
170. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (-), 14-Ноя-24, 07:55 | ||
> Увидел иронию в словах "бывший профессор". Но с другой стороны, когда в | ||
Ответить | Правка | Наверх | Cообщить модератору |
157. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (156), 13-Ноя-24, 21:13 | ||
>Смотрю как Oracle пыхтит пытаясь жабу тащить и как ему не хватает силёнок, чего уж говорить об энтузиастах? | ||
Ответить | Правка | К родителю #102 | Наверх | Cообщить модератору |
103. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Аноним (103), 13-Ноя-24, 09:53 | ||
А зачем тогда вообще Си? Открою секрет. Си изобрели, чтобы на ассемблере не писать. Еще тогда если вы хотели не скорости и компактности, а надежности и безопасности - могли писать на басике или паскале. | ||
Ответить | Правка | Наверх | Cообщить модератору |
141. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (141), 13-Ноя-24, 16:28 | ||
> Си изобрели, чтобы на ассемблере не писать | ||
Ответить | Правка | Наверх | Cообщить модератору |
155. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от нах. (?), 13-Ноя-24, 20:28 | ||
>> Си изобрели, чтобы на ассемблере не писать | ||
Ответить | Правка | Наверх | Cообщить модератору |
106. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Додо (ok), 13-Ноя-24, 10:13 | ||
Глядя на примеры использования кажется, что их писал человек, который не понимает принципы работы с памятью вообще - но вместо того, чтобы учиться, он надеется на "безопасный" компилятор. На крайняк можно использовать любой статический анализатор - он подсветит нужные места и даст советы по исправлению. | ||
Ответить | Правка | Наверх | Cообщить модератору |
168. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Ivan_83 (ok), 14-Ноя-24, 02:31 | ||
> const size_t buff_size = 8; // Зададим размер буфера тут, чисто чтобы не пользоваться sizeof(buff) везде. | ||
Ответить | Правка | Наверх | Cообщить модератору |
188. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 15-Ноя-24, 18:42 | ||
> По мне sizeof(buff) удобнее константы. | ||
Ответить | Правка | Наверх | Cообщить модератору |
190. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Ivan_83 (ok), 15-Ноя-24, 23:37 | ||
Мой пофигизм обычно кончается после того как PoC начал работать :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
191. "Проект TrapC развивает Си-подобный язык, безопасно..." | +/– | |
Сообщение от arisu (ok), 15-Ноя-24, 23:40 | ||
> И на самом деле я просто не люблю объявлять константы в функциях, | ||
Ответить | Правка | Наверх | Cообщить модератору |
199. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 21-Ноя-24, 22:11 | ||
> Мой пофигизм обычно кончается после того как PoC начал работать :) | ||
Ответить | Правка | К родителю #190 | Наверх | Cообщить модератору |
110. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от YetAnotherOnanym (ok), 13-Ноя-24, 10:25 | ||
> Вызовы free и delete отсутствуют | ||
Ответить | Правка | Наверх | Cообщить модератору |
184. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от LinupsCrashGitz (ok), 15-Ноя-24, 11:23 | ||
Нет памяти - нет проблем | ||
Ответить | Правка | Наверх | Cообщить модератору |
120. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –3 +/– | |
Сообщение от X86 (ok), 13-Ноя-24, 11:26 | ||
Это все пустое. Еще пара лет и нейронки смогут сделать простой и более безопасный язык программирования, взяв лучшее из Питонов и Си, разработать к нему понятную документацию и т.д. | ||
Ответить | Правка | Наверх | Cообщить модератору |
126. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (124), 13-Ноя-24, 12:36 | ||
>Возможно, даже готовые бинари сразу из чатгпт можно будет скачивать) | ||
Ответить | Правка | Наверх | Cообщить модератору |
131. Скрыто модератором | +/– | |
Сообщение от Аноним (131), 13-Ноя-24, 13:23 | ||
Ответить | Правка | К родителю #120 | Наверх | Cообщить модератору |
125. Скрыто модератором | –1 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 12:25 | ||
Ответить | Правка | Наверх | Cообщить модератору |
127. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Алексей (??), 13-Ноя-24, 12:40 | ||
Проект конечно странный. Какие цели он проследует не понятно. По итогу это новый язык программирования с максимально похожим синтаксисом к C. И созданием данного языка они якобы решают проблему с памятью. Но в таком случае почему бы не пойти дальше улучшить в C еще что нибудь (и получить новый Zig, GO, V lang и тд и тп)?! Ведь по сути я не смогу взять TrapC и скомпилировать (без пердолинга) на нем кучу кода C получив при этом безопасные программы (а вот Fil-C вполне себе позволить это сделать хоть и в ущерб скорости)! Отсюда возникает вопрос: какая аудитория будет пользовался данным языком?! Трушные C/C++?! Так они не боятся утечек памяти и переполнения буфера и не будут переходить на TrapC. Всякие кому нравится C подобный синтаксис?! Так есть же 100500 C подобных языков без проблем с памятью (всякие Zig, Swift и тд и тп). Получается что они создают язык для себя чисто по фану. Ну, может конечно еще кто обзарится! Можно только пожелать им удачи в их трудном но интересном занятии. | ||
Ответить | Правка | Наверх | Cообщить модератору |
129. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +2 +/– | |
Сообщение от Аноним (129), 13-Ноя-24, 13:03 | ||
Зиг улучшил так улучшил, даже многострочные комменты вырезали | ||
Ответить | Правка | Наверх | Cообщить модератору |
146. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от anonimous (?), 13-Ноя-24, 17:54 | ||
Цель понятная и они не не скрывают - найти инвесторов. Спрос есть? Будет и предложение! | ||
Ответить | Правка | К родителю #127 | Наверх | Cообщить модератору |
128. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (129), 13-Ноя-24, 13:02 | ||
Стыдно признаваться будет, что используешь язык с таким названием | ||
Ответить | Правка | Наверх | Cообщить модератору |
137. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (133), 13-Ноя-24, 15:16 | ||
Вы свои проблемы из Java не тащите. | ||
Ответить | Правка | Наверх | Cообщить модератору |
147. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +4 +/– | |
Сообщение от Аноним (147), 13-Ноя-24, 18:00 | ||
Кстати, интересная видеопрезентация, посмотрите кто не смотрел. | ||
Ответить | Правка | Наверх | Cообщить модератору |
151. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | –1 +/– | |
Сообщение от Аноним (-), 13-Ноя-24, 18:22 | ||
Есть безопасный диалект чистого Си, называется Cyclone. Последний стабильный релиз вышел в 2006 году. Диалект разрабатывали в стенах AT&T labs. | ||
Ответить | Правка | Наверх | Cообщить модератору |
159. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (156), 13-Ноя-24, 21:18 | ||
>Как именно достигается подобная защита не поясняется. | ||
Ответить | Правка | Наверх | Cообщить модератору |
160. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (156), 13-Ноя-24, 21:19 | ||
Сколько уже языков изобретено, например тот же ATS? Осталось дело за малым - убедить погромистов на них писать. | ||
Ответить | Правка | Наверх | Cообщить модератору |
163. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (163), 13-Ноя-24, 22:55 | ||
Чем его РуСи Терехова не устроил? | ||
Ответить | Правка | Наверх | Cообщить модератору |
166. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от _kp (ok), 13-Ноя-24, 23:42 | ||
>>Вместо malloc .. new.. за освобождение памяти отвечает компилятор | ||
Ответить | Правка | Наверх | Cообщить модератору |
178. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Аноним (-), 14-Ноя-24, 17:57 | ||
>А зачем Си, почему не С++? | ||
Ответить | Правка | Наверх | Cообщить модератору |
167. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +1 +/– | |
Сообщение от Ivan_83 (ok), 14-Ноя-24, 02:28 | ||
> Все создаваемые переменные и буферы явно инициализируются или заполняются нулями компилятором. | ||
Ответить | Правка | Наверх | Cообщить модератору |
189. "Проект TrapC развивает Си-подобный язык, безопасно работающи..." | +/– | |
Сообщение от Аноним (-), 15-Ноя-24, 18:46 | ||
> И откуда компелятору знать нужна мне эта память или уже нет? | ||
Ответить | Правка | Наверх | Cообщить модератору |
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |