コンテンツにスキップ
プログラミング言語リファレンス
PR

システム・低レイヤー

システム・低レイヤーに分類される項目を一覧化しています。カテゴリ内の項目を眺めると、用途の近い言語や記法をまとめて探せます。

107件
名称カテゴリ分類状態
Adaシステム・低レイヤー航空宇宙・防衛・安全重要系参考情報少なめ
Algolシステム・低レイヤー歴史的重要言語参考情報少なめ
ALGOL 58システム・低レイヤー歴史参考情報少なめ
ALGOL 68システム・低レイヤー歴史参考情報少なめ
ALGOL Wシステム・低レイヤー歴史参考情報少なめ
ANSYS APDLシステム・低レイヤーCAE参考情報少なめ
AQLシステム・低レイヤークエリ参考情報少なめ
ARITH-MATICシステム・低レイヤー歴史参考情報少なめ
ArnoldCシステム・低レイヤーネタ参考情報少なめ
AsciiDocシステム・低レイヤー文書参考情報少なめ
ASLシステム・低レイヤー代数仕様歴史的・原著論文あり
BACAICシステム・低レイヤー歴史参考情報少なめ
Bitwise Cyclic Tagシステム・低レイヤー計算モデル参考情報少なめ
Bluespecシステム・低レイヤー高水準ハードウェア記述参考情報少なめ
ByteByteJumpシステム・低レイヤーOISC参考情報少なめ
Cシステム・低レイヤーOS、組込み、ランタイム公式リンクあり
C++システム・低レイヤーゲーム、HPC、低レイヤ、高性能業務公式リンクあり
C3システム・低レイヤーシステムプログラミング言語（C互換志向）開発継続中・公式情報あり
Caché ObjectScriptシステム・低レイヤーDB / 業務参考情報少なめ
Carbonシステム・低レイヤーC++後継候補・実験段階参考情報少なめ
CASLシステム・低レイヤー代数仕様参考情報少なめ
Chapelシステム・低レイヤー並列計算・HPC参考情報少なめ
Cilkシステム・低レイヤー並列C参考情報少なめ
CUDA C/C++システム・低レイヤーNVIDIA GPU計算参考情報少なめ
Cyclic Tag Systemシステム・低レイヤー計算モデル参考情報少なめ
Dシステム・低レイヤーC++代替志向・ネイティブ汎用参考情報少なめ
eBPF Cシステム・低レイヤーカーネル / 観測参考情報少なめ
Effシステム・低レイヤー効果ハンドラ参考情報少なめ
ELANシステム・低レイヤー教育 / 歴史参考情報少なめ
EQLシステム・低レイヤーイベント検索参考情報少なめ
EV3-Gシステム・低レイヤー教育 / ロボット参考情報少なめ
EXEC 2システム・低レイヤーメインフレーム参考情報少なめ
FLOW-MATICシステム・低レイヤー歴史参考情報少なめ
Function Block Diagramシステム・低レイヤーPLC参考情報少なめ
G-codeシステム・低レイヤーCNC / 3Dプリント参考情報少なめ
GDScriptシステム・低レイヤーGodotゲーム開発参考情報少なめ
GIER ALGOLシステム・低レイヤー歴史参考情報少なめ
Goシステム・低レイヤークラウド、CLI、インフラ公式リンクあり
GOALシステム・低レイヤーエージェント参考情報少なめ
Google Sheets formulasシステム・低レイヤー表計算参考情報少なめ
Gosuシステム・低レイヤーJVM系・業務アプリ参考情報少なめ
Guido Music Notationシステム・低レイヤー楽譜参考情報少なめ
Hexagonyシステム・低レイヤー難解参考情報少なめ
Hugoシステム・低レイヤーIF参考情報少なめ
IEC 61131-3 Ladder Diagramシステム・低レイヤーPLC参考情報少なめ
IEC 61131-3 Structured Textシステム・低レイヤーPLC参考情報少なめ
Igor Proシステム・低レイヤー科学 / 可視化参考情報少なめ
Instruction Listシステム・低レイヤーPLC参考情報少なめ
JavaCC grammarシステム・低レイヤーパーサ生成参考情報少なめ
KCLシステム・低レイヤー設定 / IaC参考情報少なめ
KDF9 Usercodeシステム・低レイヤーアセンブリ寄り参考情報少なめ
Lego Mindstorms NXT-Gシステム・低レイヤー教育 / ロボット参考情報少なめ
LINGOシステム・低レイヤー数理最適化参考情報少なめ
Logoシステム・低レイヤー教育・古典参考情報少なめ
MADシステム・低レイヤー歴史参考情報少なめ
Malaybasicシステム・低レイヤーマレー語参考情報少なめ
Malluscriptシステム・低レイヤーMalayalam / esolang参考情報少なめ
Maryシステム・低レイヤーシステム / 歴史参考情報少なめ
MATH-MATICシステム・低レイヤー歴史参考情報少なめ
MegaZeux Roboticシステム・低レイヤーゲーム参考情報少なめ
MiniZincシステム・低レイヤー制約プログラミング参考情報少なめ
MSC Nastran Bulk Dataシステム・低レイヤーCAE参考情報少なめ
NELIACシステム・低レイヤー歴史参考情報少なめ
NELIAC dialectsシステム・低レイヤー歴史参考情報少なめ
NetLogoシステム・低レイヤー教育 / エージェント参考情報少なめ
NetLogo BehaviorSpaceシステム・低レイヤー実験DSL参考情報少なめ
New Relic NRQLシステム・低レイヤー監視参考情報少なめ
Newsqueakシステム・低レイヤー並行処理参考情報少なめ
Objective-Cシステム・低レイヤーApple 既存資産、Cocoa公式リンクあり
OISC languagesシステム・低レイヤー極小言語参考情報少なめ
OpenCL Cシステム・低レイヤーGPU/異種計算参考情報少なめ
Orcシステム・低レイヤー並行 / オーケストレーション参考情報少なめ
Orc languageシステム・低レイヤー並行DSL参考情報少なめ
PHPシステム・低レイヤーWeb、CMS、EC公式リンクあり
Portugolシステム・低レイヤーポルトガル語参考情報少なめ
Protocol Buffersシステム・低レイヤーIDL参考情報少なめ
Pythranシステム・低レイヤーPython subset参考情報少なめ
QuakeCシステム・低レイヤーゲーム参考情報少なめ
re2cシステム・低レイヤー字句解析参考情報少なめ
Rocシステム・低レイヤー関数型 / アプリ開発参考情報少なめ
Rustシステム・低レイヤーシステム、安全重視バックエンド公式リンクあり
S-algolシステム・低レイヤー教育 / 歴史参考情報少なめ
SableCC grammarシステム・低レイヤーパーサ生成参考情報少なめ
SACシステム・低レイヤー配列 / HPC参考情報少なめ
Sequential Function Chartシステム・低レイヤーPLC参考情報少なめ
Shopify Liquid objects DSLシステム・低レイヤーEC参考情報少なめ
SISALシステム・低レイヤー関数型 / HPC参考情報少なめ
SMVシステム・低レイヤーモデル検査参考情報少なめ
Sonic Piシステム・低レイヤー音楽教育・ライブコーディング参考情報少なめ
SPARKシステム・低レイヤーAda系の形式検証向け参考情報少なめ
SPEFシステム・低レイヤー寄生抽出参考情報少なめ
SSJS for SFMCシステム・低レイヤーMA参考情報少なめ
StarLogoシステム・低レイヤー教育 / エージェント参考情報少なめ
StarLogo TNGシステム・低レイヤー教育参考情報少なめ
Strategoシステム・低レイヤー変換DSL参考情報少なめ
Stratego/XTシステム・低レイヤー変換ツール参考情報少なめ
Subleqシステム・低レイヤーOISC参考情報少なめ
Swiftシステム・低レイヤーiOS/macOS、Apple サーバ・ツール公式リンクあり
SwiftUI DSLシステム・低レイヤーUI DSL参考情報少なめ
SystemCシステム・低レイヤーハードウェア / C++参考情報少なめ
TinyGoシステム・低レイヤー組み込みGo参考情報少なめ
TRACシステム・低レイヤーマクロ参考情報少なめ
Vシステム・低レイヤーGo風のシンプル言語参考情報少なめ
Visual Basic .NETシステム・低レイヤー.NET既存資産・業務システム参考情報少なめ
VisuAlgシステム・低レイヤーポルトガル語参考情報少なめ
yacc grammarシステム・低レイヤーパーサ生成参考情報少なめ
Zigシステム・低レイヤーC代替・システム・組み込み・ビルドツール参考情報少なめ

追加調査で押さえる実務ポイント

システム・低レイヤーは、OS、driver、embedded firmware、runtime、compiler、database engine、high-performance libraryなど、hardwareとOS資源へ近い層を作る言語の案内ハブです。単に高速な言語を集める分類ではありません。memory管理、ABI、runtime、realtime、safety、toolchain、target supportの条件から、C、C++、Rust、Ada、Zig、C3、assembly等へ進みます。

目的から選ぶ

目的候補
OS・driverC、C++、Rust
embedded MCUC、C++、Rust、Ada
memory safetyRust
safety-criticalAda、SPARK
C ABI libraryC、C3、Zig
GPUCUDA C/C++、OpenCL C
realtimeC、C++、Ada
compiler研究C++、Rust、OCaml等

分類の境界

含む

  • native code
  • explicit memory/resource control
  • ABI
  • interrupt
  • SIMD
  • kernel interface
  • realtime
  • bare metal

必ずしも含まない

  • Web framework
  • template language
  • SQLだけ
  • config file
  • business DSL
  • browser UI

比較軸

  1. memory safety。
  2. GCの有無。
  3. compile target。
  4. ABI。
  5. startup。
  6. binary size。
  7. realtime。
  8. concurrency。
  9. package ecosystem。
  10. certification。

C

最大の強みはABI、vendor SDK、既存library、toolchainです。最大のriskはmemory safetyをprogrammerとtoolへ委ねる点です。

C++

RAII、template、zero-cost abstractionを提供しますが、language surfaceとABI管理が複雑です。

Rust

ownership、borrow checker、Send/Syncによりmemory safetyとdata race防止を強化します。unsafe codeとFFI境界を監査します。

Ada/SPARK

strong typing、range、tasking、contractを備え、安全重要系のtoolchainとprocessに向きます。

Zig・C3

C interoperabilityとsimple toolchainを重視する新しい言語です。1.0前の仕様安定性とecosystemを確認します。

Assembly

CPU instructionを直接記述します。boot、context switch、SIMD optimization等に限定し、portable layerと分離します。

次に読む

参考リンク