翻訳言語

サブタイピング、サブクラシング、そしてOOPの問題

オブジェクト指向プログラミングにおけるサブタイピングとサブクラシングの区別について論じ、特に継承と置換可能性の問題を考察する。型理論の観点から、Liskovの置換原則と実際の実装における矛盾を分析している。

Quoting Bobby Holley
7.5
Firefox 150 includes fixes for 271 vulnerabilities identified using an early version of Claude Mythos Preview from Anthropic. Mozilla's CTO states that defenders finally have a chance to win decisively against security threats through focused AI collaboration.
Satya Nadella — How Microsoft is preparing for AGI
7.5
Microsoft CEO Satya Nadella discusses how the company is preparing for artificial general intelligence. The article also includes a tour of Fairwater 2, described as the world's most powerful AI datacenter.
The Building Block Economy
4.5
The article discusses the concept of a "building block economy" where modular, reusable components enable rapid innovation. It explores how this approach allows developers to focus on higher-level problems rather than reinventing foundational infrastructure.
Pockets of Humanity
3.0
The article explores where people might go when the internet eventually dies, suggesting that small, local communities and offline spaces could become important refuges for human connection and culture.
Zig Builds Are Getting Faster
2.5
Zig's build system is becoming faster with improvements to the compiler and build runner. Recent changes have reduced build times by optimizing dependency tracking and parallel execution. These enhancements make development workflows more efficient for Zig programmers.

翻訳言語

Quoting Bobby Holley
7.5
Firefox 150 includes fixes for 271 vulnerabilities identified using an early version of Claude Mythos Preview from Anthropic. Mozilla's CTO states that defenders finally have a chance to win decisively against security threats through focused AI collaboration.
Satya Nadella — How Microsoft is preparing for AGI
7.5
Microsoft CEO Satya Nadella discusses how the company is preparing for artificial general intelligence. The article also includes a tour of Fairwater 2, described as the world's most powerful AI datacenter.
The Building Block Economy
4.5
The article discusses the concept of a "building block economy" where modular, reusable components enable rapid innovation. It explores how this approach allows developers to focus on higher-level problems rather than reinventing foundational infrastructure.
Pockets of Humanity
3.0
The article explores where people might go when the internet eventually dies, suggesting that small, local communities and offline spaces could become important refuges for human connection and culture.
Zig Builds Are Getting Faster
2.5
Zig's build system is becoming faster with improvements to the compiler and build runner. Recent changes have reduced build times by optimizing dependency tracking and parallel execution. These enhancements make development workflows more efficient for Zig programmers.

関連記事