«type-inference» etiketlenmiş sorular

Kilitli . Bu soru ve cevapları kilitlidir çünkü soru konu dışıdır, ancak tarihsel önemi vardır. Şu anda yeni yanıtları veya etkileşimleri kabul etmiyor. C # 3'te 'var' anahtar kelimesinin kullanımı ile ilgili meslektaşları ile görüştükten sonra insanların var yoluyla tür çıkarmanın uygun kullanımları hakkında ne düşündüklerini merak ettim. Örneğin ben …

406 c#  type-inference  var 

Genel tür parametrelerini çıkarmak için Java'nın kuralında gezinirken sorun yaşıyorum. İsteğe bağlı bir liste parametresine sahip olan aşağıdaki sınıfı düşünün: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public Person(String name) { this(name,Collections.emptyList()); } public Person(String name,List<String> nicknames) { this.name = name; this.nicknames = …

269 java  generics  type-inference 

Oluşan bir dizi var AnyObject. Üzerinde yineleme ve dizi örnekleri olan tüm öğeleri bulmak istiyorum. Swift'te bir nesnenin belirli bir türde olup olmadığını nasıl kontrol edebilirim?

267 swift  type-inference  typechecking 

autoC ++ 11 standardında mevcut olan yeni anahtar kelimeyi, bunun için tasarlandığına inandığım karmaşık şablonlu türler için kullanıyorum. Ama aynı zamanda şu gibi şeyler için kullanıyorum: auto foo = std::make_shared<Foo>(); Ve daha şüpheci olanlar: auto foo = bla(); // where bla() return a shared_ptr<Foo> Bu konuda çok fazla tartışma görmedim. …

218 c++  types  c++11  type-inference  auto 

Xcode 6 Beta 6 kullanıyorum. Bu bir süredir beni rahatsız eden bir şey, ama şimdi neredeyse hiç kullanılamadığı bir noktaya ulaşıyor. Projem iyi bir boyutta 65 Swift dosyası ve birkaç köprülü Objective-C dosyasına sahip olmaya başlıyor (bu gerçekten sorunun nedeni değildir). Herhangi bir Swift dosyasında küçük bir değişiklik gibi görünüyor …

210 swift  optimization  compilation  type-inference  compilation-time 

Bir web hizmetini çağıran ve JSON yanıtını bir nesneye geri serileştiren genel bir işlevim var. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call the service and parse the response */ } Başarmaya çalıştığım şey, bu Java kodunun …

148 swift  generics  type-inference 

Görünüşe göre auto, birçok yeni dili takip eden C ++ 11'e eklenmesi oldukça önemli bir özellikti. Python gibi bir dilde olduğu gibi, herhangi bir açık değişken bildirimi görmedim (Python standartlarını kullanarak mümkün olup olmadığından emin değilim). autoDeğişkenleri açıkça belirtmek yerine bildirmek için kullanmanın bir dezavantajı var mı ?

143 c++  c++11  type-inference  auto 

Scala Dil Spesifikasyonuna Göre : ... yerel tür çıkarımına, çıkarsanan sınırların [tür parametrelerinin] karmaşıklığını sınırlandırmasına izin verilir. Tiplerin minimum ve maksimumluğu, kabul edilebilir karmaşıklık türleri dizisine göre anlaşılmalıdır. Pratikte sınırlar nelerdir? Ayrıca, çıkarsanan ifade türleri için parametre türü sınırlarından farklı sınırlar var mı ve bu sınırlar nelerdir?

120 scala  type-inference 

Emacs'de C # için bir tamamlama (intellisense) tesisi üzerinde çalışıyorum. Buradaki fikir şudur, eğer bir kullanıcı bir parça yazarsa ve daha sonra belirli bir tuş vuruşu kombinasyonu yoluyla tamamlama isterse, tamamlama tesisi olası tamamlamaları belirlemek için .NET yansımasını kullanır. Bunu yapmak, tamamlanan şeyin türünün bilinmesini gerektirir. Bir dizeyse, bilinen bir …

109 c#  reflection  appdomain  type-inference 

Statik jenerik yöntemleri içeren ilginç bir durumla karşılaştım. Kod bu: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Neden ifadede herhangi bir tür bağımsız değişkeni belirtmem gerekmiyor Foo.createFoo()? Bu bir tür …

106 java  generics  static  type-inference 

Burada statik ve dinamik yazım hakkında bazı ilginç tartışmalar görüyorum. Genelde, derleme türü denetimi, daha iyi belgelenmiş kod vb. Nedeniyle statik yazmayı tercih ederim. Ancak, örneğin Java'nın yaptığı gibi yapılırsa kodu karıştıracaklarını kabul ediyorum. Bu yüzden, kendime ait işlevsel bir stil dili oluşturmaya başlamak üzereyim ve yazı çıkarımı uygulamak istediğim …

94 compiler-construction  functional-programming  language-design  type-inference 

Bu sitede başka bir cevap için kod yazarken şu tuhaflıkla karşılaştım: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static <T extends Throwable> void sneakyThrow(Throwable t) throws T { throw (T) t; } static <T extends Throwable> …

85 java  generics  java-8  type-inference 

Kullanılan yöntem başvurusunun dönüş türü vardır Integer. Ancak Stringaşağıdaki örnekte uyumsuzluğa izin verilmektedir. withManuel döküm olmadan yöntem referans türünü güvenli hale getirmek için yöntem bildirimi nasıl düzeltilir ? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final Class<T> clazz; Builder(Class<T> clazz) { this.clazz = clazz; } static …

38 java  generics  lambda  type-inference  method-reference 

Hepimiz Long'un uzandığını biliyoruz Number. Peki bu neden derlenmiyor? Ve withprogramın herhangi bir manuel döküm olmadan derlenmesi için yöntemi nasıl tanımlayabilirim ? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long getLong(); } public <F extends Function<T, R>, R> Builder<T> with(F getter, R returnValue) { …

19 java  type-inference 

Uygulamasının std::mem::dropaşağıdaki gibi belgelenmiştir: pub fn drop<T>(_x: T) { } Bu nedenle, kapamanın |_| ()(konuşma dilinde tuvalet kapağı olarak bilinir ) dropher iki yönde de potansiyel bir 1: 1 değiştirme olmasını beklerim. Bununla birlikte, aşağıdaki kod drop, işlevin parametresine bağlı daha yüksek sıralı bir özellikle uyumlu olmadığını gösterirken , tuvalet …

13 rust  closures  traits  type-inference  higher-kinded-types