Исходное сообщение
"Mozilla разрабатывает новый язык программирования Rust" Отправлено vle, 01-Дек-10 18:30
> Так что это нужно, > иначе бы люди этим не занимались. :) Да пусть ковыряются, кто ж против. Только вот раскрутить новый ЯП примерно так же сложно, как новую операционную систему. Касательно, статических доказательств работы с сетевыми протоколами... Универсальный язык программирования для этого изобретать совершенно не нужно. Сети Петри придуманы давно, если я правильно понимаю, о чем этот Idris. P.S. И мне все еще не понятно, причем здесь Mozilla. Зачем *ИМ* понадобился еще один proof of concept. В их то задачи явно не входит обслуживание миллионов клиентов единовременно.