再利用性を促進するためのオブジェクト指向設計と関数型設計の統合

2025-09-09

1998年のECOOP論文では、オブジェクト指向プログラミングと関数型プログラミングの長所を組み合わせることで、進化するプログラムにおけるツールとデータ型の拡張という課題に取り組んでいます。従来のアプローチでは、両方をサポートすることが困難でした。関数型プログラミングはツールの追加に優れていますが、オブジェクト指向プログラミングは新しいツールの追加やデータセットの拡張に優れていますが、両方を同時に実現することはできません。本論文では、両方の利点を統合する複合的な設計パターンを提案し、既存のコードを変更せずに拡張性を達成するための、クラスベース言語のための新しい言語機能を提案しています。

続きを読む
開発

共有は怖い:クラウドファイル共有とプログラミング言語セマンティクスの意外なつながり

2025-09-03

ユーザーはしばしばクラウドファイル共有アプリケーションに苦労します。この研究では、これらの困難は、貧弱なインターフェースだけでなく、リンク、添付、ダウンロード、編集などのアクションの基礎となるセマンティクスに対する根本的な誤解に起因すると主張しています。これは、エイリアシング、コピー、ミューテーションなどのプログラミング概念を理解することにおける課題を反映しています。ユーザー調査では、既知のプログラミング教育における誤解を同様のファイル共有タスクにマッピングすることで、広範な誤解が明らかになりました。研究者たちは、クラウドファイル共有操作の形式セマンティクスも開発し、改善されたメンタルモデル、教育ツール、自動支援の基盤を提供しました。この形式化は、トレースチェックやワークフロース合成などのアプリケーションをサポートできます。

続きを読む