В Pascal вообще нет UB (демагог в другой ветке выдавил из себя только integer overflow, который допускается стандартом). При этом он проще, а косяки выходят из его "академичности" и нацеленности на обучение (в исходном варианте вообще все переменные глобальные). А иллюзию хотя бы потому, что Rust создаёт впечатление контроля над памятью, а в реальности на нём не так уж и сложно допустить утечку. И из-за хитрой семантики владения отлавливать их сложнее. Rust гарантирует разве что безопасность в отношении работы с данными, но эти проблемы уже давно решены в C. Более того само понимание работы с данными работает на повышение квалификации разработчика.

И кстати Rust на далёкую перспективу не станет системным языком, по двум причинам. Во-первых на нём неудобно работать с памятью, а если везде использовать unsafe, то написание кода превратится в переусложнённую на ровном месте аналогию с C. Вторая причина более фундаментальная: rust разрушает восприятие железа и в систмном программировании это решающая роль. ANSI C же в свою очередь вопроизводит копию фоннеймановской архитектуры и разработка на нём очень органична.

Единственная удачная с точки зрения computer science альтернатива - это LISP-машина, поэтому я считаю, что LISP во-первых вернётся, а во-вторых его невозможно убить, потому что это идея, а не язык.

По поводу ML и почему они не взлетели. Пиара действительно мало, но это второстепенное. Разработчикам прагматикам часто хочется чтобы их язык мог без труда делать что угодно. Поэтому C# и Java несмотря на их банальность всегда уже будут на плаву. Автор языка V кстати поступил очень грамотно в своём творении обеспечив максимально бесшовное взаимодействие с C. Страуструп, которого к слову есть за что покритиковать также уловил суть и также добивался полной совместимости с C без лишних телодвижений. Говоря о функиональщине получается конфликт парадигм и даже если его можно разрешить, это всё слишком усложняет. Rust кстати рискует повторить те же ошибки, он УЖЕ их допускает, учитывая что на него тратят тонны средств, его продвигают, а реальных проектов как не было так и нет. Whatsapp на erlang написан, популярный язык? Да не очень то. Упомянутый аутичный V во всю используется его автором, и довольно успешно (см. проект Volt). у Rust же проблем нет только в его рекламе, а если это не так, то будем ждать реальных проектов. Но скорее дождёмся уже третьего прешествия LISP.