Proceedings of the ACM on Programming Languages· 2026Q1
Küme-Teorik Tiplerin Uygulanması
Implementing Set-Theoretic Types
- 1atıf
- Q1SCImago
- 2026yıl
Kısa özet
Küme-teorik tipler için yeni bir modüler temsil ve optimize edilmiş algoritmalar, önceki benimseme engellerini aşarak verimli bir uygulamayı mümkün kılıyor.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Küme-teorik tipler için modüler bir temsil sunuluyor.
- Alt tip ve sayma algoritmaları gözden geçirilip optimize ediliyor.
- Benimsenmeyi engelleyen uygulama karmaşıklığı ele alınıyor.
- Yeni yaklaşım, tarihsel CDuce uygulamasıyla karşılaştırılıyor.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Set-theoretic types provide a rich type algebra that supports unrestricted unions, intersections, and negations, together with a decidable type constraint-solving algorithm known as tallying. These types are particularly well suited for typing dynamic languages, where functions often exhibit both generic and overloaded behavior. However, the complexity of their implementation has hindered their widespread adoption. In this paper, we introduce a modular representation for set-theoretic types and revisit the algorithms for subtyping and tallying. We compare our approach with the historical CDuce implementation and evaluate the performance impact of some optimizations and design choices.
Yazarların özeti; kaynağından alınmıştır. Proceedings of the ACM on Programming Languages, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yapay Zeka
Artificial IntelligenceComputer Science