#programming-language

Brief Langは、GitHub上で公開されているプログラミング言語プロジェクトです。シンプルで簡潔な構文を特徴とし、学習やプロトタイピングに適した言語設計を目指しています。

TypeScript 7 has been officially announced, bringing significant performance improvements, stricter type checking, and enhanced developer experience. The release focuses on reducing compilation times and improving type system accuracy for large-scale codebases.

Hobbesは、Morgan Stanleyが開発したプログラミング言語とJITコンパイラであり、大規模データ処理と分析を効率的に行うために設計されています。型推論や動的コンパイルを特徴とし、C++アプリケーションへの組込みが可能です。

OCaml 5.5.0 がリリースされました。本バージョンでは、ランタイムのパフォーマンス改善やバグ修正に加え、新しいプラットフォーム対応が追加されています。詳細は公式ディスカッションをご参照ください。

PHP 3.0 の正式版がリリースされました。本バージョンは大幅に再設計され、モジュール方式の拡張が可能になり、Apache モジュールとしても動作します。パフォーマンス向上と多数の機能追加が行われています。

Swift 2026年6月版の最新アップデートを紹介。言語機能の改善、パフォーマンスの最適化、開発者体験の向上など、Swiftコミュニティに役立つ新機能や変更点をまとめています。

Clojure 1.13 alpha1 introduces support for checked keys in maps, enabling compile-time validation of map key existence and type. This feature helps catch errors earlier in the development cycle by ensuring that only expected keys with correct types are used, reducing runtime surprises and improving code reliability.

この記事では、データベースとプログラミング言語の境界を曖昧にする「システムをプログラムとして」というアプローチについて解説する。従来のアプリケーション開発ではデータベースとコードが分離しているが、両者を統合することで、データの一貫性や開発効率の向上が期待できるという革新的な視点を提示している。

Tiny-Cは、サブセットCコンパイラの設計と実装に関するリファレンスマニュアルの抜粋であり、メモリ制約の厳しい環境でも動作する軽量なC言語処理系の仕様が解説されている。

hica における関数型プログラミングの概念と実践方法を解説するドキュメント。純粋関数、不変性、高階関数などの関数型プログラミングの原則が、hica の文法や機能とどのように結びつくかを説明している。

Margaritaは、マークダウンと論理演算子を組み合わせたプログラミング言語であり、AIワークフローにおける決定論の欠如やスキルライブラリの非構成可能性という2つの問題を解決する。コード構造で決定論を導入できる一方、LLMによる動的コードへのフォールバックも可能。React風のコンポーザブルなプロンプト設計により、マークダウンのDRY原則違反も解消する。

Vale introduces "Higher RAII," an extension of the RAII pattern that provides memory safety without a borrow checker, combining deterministic destruction with region-based memory management for improved performance and flexibility.

Mojo言語の公式ロードマップです。今後の開発計画、リリーススケジュール、主要な機能追加や改善点など、Mojoの将来の方向性について詳しく解説しています。

EYGは、人間の認知特性に寄り添うことを最優先に設計されたプログラミング言語です。可読性と直感的な構文を重視し、開発者がコードの意図を自然言語のように理解できることを目指しています。従来の言語が機械の都合に合わせて設計されてきたのに対し、EYGは人間の思考パターンを中心に据えた新しいパラダイムを提案します。

このドキュメントは、Racket言語ファミリーの一部であるRhombusの始め方を案内する公式ガイドです。RhombusはRacket上で構築された新しいプログラミング言語であり、このページではインストール方法や基本的な使い方について説明しています。

QDBP（Question Depth Based Programming）は、Pythonのようなインデント方式やLispのような括弧方式に代わり、疑問符（?）を使ってコードのネスト深さを明示的に表現するプログラミングパラダイムである。これにより、コードの構造が視覚的に明確になり、編集時のミスを減らすことができる。

Hop 0.2がリリースされました。このバージョンでは、パフォーマンスの最適化、新機能の追加、およびバグ修正が行われています。詳細な変更内容については、公式ブログ記事をご覧ください。

プログラミング言語Zigとその中心的な開発者について掘り下げた記事。Zig言語の特徴や魅力、コミュニティの文化、そして「Zig Guy」と呼ばれるリード開発者の影響力について考察している。技術的な話題と人物像の両面からZigの現在地を描き出す。

Anteは、従来の借用チェッカーと参照カウントの長所を組み合わせた新しいプログラミング言語アプローチを提案する。この手法により、メモリ安全性を確保しながら、パフォーマンスと柔軟性のバランスを最適化できる可能性がある。

AiCompiler is a programming language that treats the LLM itself as the CPU, allowing developers to write code that is directly interpreted and executed by the language model. This novel approach reimagines the compiler as a bridge between traditional programming constructs and the reasoning capabilities of large language models.

Iconは、文字列処理とデータ構造操作に優れた高水準プログラミング言語である。1970年代にラルフ・グリスゴルらによって開発され、目標指向評価（goal-directed evaluation）と呼ばれる独自の評価戦略と、成功／失敗を活用した制御構造が特徴。特に文字列スキャニングやジェネレータを用いた柔軟なプログラミングが可能で、後継言語のUniconへと発展した。

ansatzは、依存型を備えたClojure向けDSLで、Lean4互換のカーネルを搭載しています。Clojureの柔軟なマクロシステムを活かしつつ、強力な型システムによる検証を可能にします。定理証明や形式検証の分野におけるClojure活用の新たな可能性を開くプロジェクトです。

MUMPS（Massachusetts General Hospital Utility Multi-Programming System）プログラミング言語の入門書。1976年仕様（MUMPS 76）に基づき、変数、配列、制御構造、I/O、エラー処理などの基本を解説。ヘルスケア分野で広く使われた言語の特徴を、約半世紀を経て振り返るアニバーサリー版。

本稿は、Simon Peyton Jones氏による2022年の講演資料で、関数型プログラミングを超えた新たな言語「Verse」を紹介する。Haskellの設計者が提唱するVerseは、純粋関数型の核心を保ちつつ、効率的な並列処理や柔軟な型システムなど実用的な拡張を目指している。

jankは、C++を基盤とした高性能な関数型プログラミング言語です。Clojureの文法と表現力を継承しつつ、ネイティブコンパイルによる高速な実行を実現します。本書では、jank言語の基本構文から高度な機能までを体系的に解説しています。

AI開発向けに設計されたMojoプログラミング言語が、まもなくオープンソース化されることが発表された。MojoはPythonのシンプルさとC言語レベルのパフォーマンスを両立する言語で、開発元のModular社は近日中にソースコードを公開する予定。これにより、開発者コミュニティによる貢献や改善が期待されている。

Mojoプログラミング言語がオープンソース化されることが、公式サイトのバナーで発表されました。これにより、開発コミュニティの拡大と言語のさらなる進化が期待されます。

BlueBookOSは、LLM（大規模言語モデル）を中核とするマイクロカーネル型OSであり、アプリケーションを記述するための専用言語を提供する。従来のOSとは異なり、AIがシステムの中心で動作し、アプリケーションの仕様をAIが解釈・実行するアーキテクチャを採用している。これにより、従来のプログラミングに代わる新たなソフトウェア開発パラダイムを目指している。

9年前にRust学習のために始めたサイドプロジェクトで、全ての変数が確率分布を表現するプログラミング言語。電気通信におけるノイズの記述に有用で、興味深い問題を扱える。初期に中断していたが、Claudeを使って完全に動作する状態に仕上げた。

Empiricalは、時系列データの分析に特化したプログラミング言語です。金融、IoT、センサーデータなど、時間とともに変化するデータの処理、可視化、予測モデリングを効率的に行うための専用構文とツールを提供します。従来の汎用言語よりも直感的に時系列操作を記述できる点が特徴です。