人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

ソフトウェア複雑性の3つの概念の比較

2025-06-15

この記事では、Rich Hickey、John Ousterhout、Zach Tellmanによるソフトウェア複雑性の3つの異なる定義を比較します。Hickeyはシンプルさを単一性と定義し、客観性を強調します。Ousterhoutは複雑さを、システムの理解と変更を困難にするものとして定義し、依存関係と不明瞭性を強調します。Tellmanは複雑さをすべての説明の合計と定義し、聴衆に依存する驚きを強調します。この記事では、それぞれの強みと弱みを比較検討し、現実世界の課題への適用を調べます。最終的に、Tellmanの説明に基づくアプローチは、開発者の主観的な経験を捉え、実践的な意思決定を導く上で優れていると主張しています。

続きを読む
(typesanitizer.com)
開発 ソフトウェア複雑性

システムプログラミング言語のエラーモデル：壮大な論文

2025-03-08

15,000語を超えるこのブログ投稿は、システムプログラミング言語におけるエラーモデルを深く掘り下げています。著者は、製品、型システム、言語設計という複数の視点から、エラーの表現、伝播、処理方法を考察しています。そして、優雅な劣化、パフォーマンスの最適化、ライブラリ間の相互運用性のバランスを目指した、仮説上の言語「Everr」とそのエラーモデルを提案しています。この記事では、さまざまなプログラミング言語のエラーモデルを比較し、プログラマーによるエラーの理解と処理方法を探求しています。

続きを読む
(typesanitizer.com)
開発