ACM Transactions on Programming Languages and Systems· 2026Q2

ML için Yönsel Olmayan Tip Çıkarımı: Her Yönden Prensip

Omnidirectional type inference for ML: principality any way

Alistair O'Brien, Didier Rémy, Gabriel Scherer

1atıf
Q2SCImago
2026yıl

Kısa özet

Yeni bir yönsel olmayan tip çıkarımı algoritması, tip bilgisinin sabit bir sıra yerine dinamik olarak akmasına izin vererek, statik aşırı yükleme ve birinci sınıf polimorfizm gibi kırılgan özelliklerle genişletilmiş ML benzeri dillerde prensip özelliğini (benzersiz en genel tip) geri kazandırır.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

ÇıkarımlarUygulamada

Ana noktalarUygulamada

Makaleye SorUygulamada

Devamı Pofolia uygulamasında

Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.

Google Play'den indir App Store'dan indir

Web'de giriş yaparak aç

Alan: Yapay Zeka

Artificial IntelligenceComputer Science