Есть ли какие-либо языки, которые соответствуют тем же нишам как C?

Еще один интересный язык системного программирования от Google: Go

Очевидным является C ++.

Выполняет все, что вы описываете, но немного расширяет C другими функциями (объектно-ориентированная и т. Д.).

Вы можете рассмотреть D . С домашней страницы:

D - язык системного программирования. Его основное внимание уделяется объединению мощи и высокой производительности C и C ++ с производительностью программистов современных языков, таких как Ruby и Python. Особое внимание уделяется требованиям обеспечения качества, документации, управления, мобильности и надежности.

Язык D имеет статическую типизацию и компилируется непосредственно в машинный код. Это мультипарадигма, поддерживающая множество стилей программирования: императивный, объектно-ориентированный и метапрограммирование. Это член семейства синтаксиса C, и его внешний вид очень похож на C ++.

Ada и в большинстве случаев Objective-C.

Существует довольно много языков, которые были специально разработаны для соответствия всей этой нише:

• BitC
• Cyclone
• Forth
• Mesa
• CPL
• ] BCPL (упрощенная версия CPL, язык реализации MULTICS)
• B (Кен Томпсонс сначала пробует язык системного программирования, в значительной степени основанный на BCPL, предшественнике C)
• Ada
• Go
• D
• C ++
• Modula-2 (специально разработан для персонального компьютера Lilith в качестве преемника Pascal для системного программирования, также используется IBM в качестве языка реализации для оригинальной OS / 400)
• Oberon (специально разработан как более простой преемник Modula-2)
• Component Pascal (объектно-ориентированный преемник Oberon, несмотря на название, он не является прямым преемником Pascal)
• Modula-3 (несмотря на то, что название не является преемником Modula-2, но независимая разработка)
• Sing # (язык реализации операционной системы Microsoft Research Singularity Research)
• Limbo (язык операционной системы Inferno tem (преемник Plan 9 (преемник Unix)))
• Ooc
• Erlang (возможно, не для операционных систем, но для встроенных систем реального времени, особенно в телекоммуникационной отрасли (телефонные коммутаторы и т. д.), также в последнее время (несколько удивительно) изобретателям Эрланга) веб-серверы, системы баз данных и т. д.)

Интересно, что есть также ряд языков, не специально предназначенных для заполнения этой ниши, но которые были очень успешно использованы в этой нише:

• Smalltalk (несколько ОС Smalltalk, встроенные системы, микроконтроллеры, системы реального времени, наиболее известные: серия цифровых осциллографов Tektronix TDS500)
• Лисп (несколько ОС Лисп, встроенные системы, микроконтроллеры, некоторые космические аппараты НАСА)
• Java (несколько ОС Java (JNode, NewOS), встроенные системы, микроконтроллеры, смарт-карты)
• C # (несколько ОС (Cosmos, SharpOS), Mono используется в высокопроизводительных вычислениях)
• Haskell (домашняя ОС, микроядро, прошедшее проверку seL4)
• Паскаль (MacOS)

Есть также много языков, которые еще не использовались в этой нише, но они, безусловно, могли быть. (В основном это потому, что сами эти языковые сообщества настолько внушали чушь, что «операционные системы можно писать только на C», что они на самом деле считают, что их собственный язык непригоден для использования.)

• Ruby
• Python
• ECMAScript (который является , который в последнее время фактически используется для написания высокопроизводительных веб-серверов)

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

На самом деле, иногда возникает ощущение, что языки, которые не специально разработанные, скажем, для программирования операционных систем, на самом деле лучше для такого рода вещей.Сравните, например, уровень инноваций, стабильность, количество дыр в безопасности, производительность в чем-то вроде ОС Smalltalk 1970-х годов и Windows или OSX 2010 года.

Лично я считаю, что это основано на некоторых глубоких данных. укоренившие мифы в сообществе системного программирования. Они считают, что системное программирование на языке, например, со строгой типизацией, безопасностью типов, безопасностью памяти, безопасностью указателей, автоматическим управлением хранилищем, невозможно и что единственный способ получить производительность или гарантии в реальном времени - отказаться от мощных средств абстракции. Однако оказывается, что когда вы пытаетесь разработать язык программирования для людей вместо машин, тогда люди могут действительно понимать программы, которые они написали, находить дыры в безопасности, исправлять ошибки, а также обнаруживать и устранять узкие места производительности намного лучше. в понимании монады в 1 строку, чем в цикле for из 100 строк.

Например, SqueakNOS, который является вариантом системы Squeak Smalltalk, работающей без ОС (другими словами: это ОС), имеет почти все функции, которые можно ожидать от современная ОС (графический пользовательский интерфейс, ...) плюс некоторые, которых у вас нет (встроенный язык сценариев, который может изменять каждую часть ОС во время выполнения), весит всего 300 тыс. SLOC и загружается менее чем за 5 секунд, в то время как, например, Windows весит 50 миллионов SLOC.

Ada, вероятно, является наиболее широко используемым языком в этой области, помимо C.

Он предназначен, прежде всего, для создания надежного кода без ошибок, но большинство компиляторов Ada также производят хорошо оптимизированный эффективный машинный код.

Некоторое время этот язык был обязательным для проектов Министерства обороны, и он до сих пор широко используется в авиации, радиолокации, навигации и системах управления оружием.

BitC - это конкретная попытка. Вот отличная статья об альтернативах C и о том, почему они потерпели неудачу.