Pertanyaan yang diberi tag «type-inference»

Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima jawaban atau interaksi baru. Setelah berdiskusi dengan kolega mengenai penggunaan kata kunci 'var' di C # 3, saya bertanya-tanya pendapat orang apa tentang penggunaan inferensi tipe yang tepat melalui var? …

406 c#  type-inference  var 

Saya mengalami beberapa masalah dalam menavigasi aturan Java untuk menyimpulkan parameter tipe generik. Pertimbangkan kelas berikut, yang memiliki parameter daftar opsional: 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 

Saya memiliki array yang terdiri dari AnyObject. Saya ingin mengulanginya, dan menemukan semua elemen yang merupakan instance array. Bagaimana saya bisa memeriksa apakah suatu objek dari tipe tertentu di Swift?

267 swift  type-inference  typechecking 

Saya telah menggunakan autokata kunci baru yang tersedia di standar C ++ 11 untuk tipe templated yang rumit yang saya yakin dirancang untuk itu. Tetapi saya juga menggunakannya untuk hal-hal seperti: auto foo = std::make_shared<Foo>(); Dan lebih skeptis untuk: auto foo = bla(); // where bla() return a shared_ptr<Foo> Saya …

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

Saya menggunakan Xcode 6 Beta 6. Ini adalah sesuatu yang telah menggangguku selama beberapa waktu sekarang, tetapi mencapai titik di mana itu hampir tidak dapat digunakan sekarang. Proyek saya mulai memiliki ukuran yang layak yaitu 65 file Swift dan beberapa file Objective-C yang dijembatani (yang sebenarnya bukan penyebab masalah). Sepertinya …

210 swift  optimization  compilation  type-inference  compilation-time 

Saya memiliki fungsi generik yang memanggil layanan web dan membuat serialisasi respons JSON kembali ke objek. 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 */ } Apa yang saya coba capai …

146 swift  generics  type-inference 

Tampaknya itu autoadalah fitur yang cukup signifikan untuk ditambahkan dalam C ++ 11 yang tampaknya mengikuti banyak bahasa yang lebih baru. Seperti bahasa seperti Python, saya belum melihat adanya deklarasi variabel eksplisit (saya tidak yakin apakah mungkin menggunakan standar Python). Apakah ada kelemahan menggunakan autountuk mendeklarasikan variabel daripada secara eksplisit …

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

Menurut Spesifikasi Bahasa Scala : ... inferensi tipe lokal diizinkan untuk membatasi kompleksitas batas yang disimpulkan [parameter tipe]. Minimitas dan maksimalitas jenis harus dipahami relatif terhadap himpunan jenis kompleksitas yang dapat diterima. Dalam praktiknya apa saja batasannya? Selain itu, apakah ada batas berbeda yang berlaku untuk jenis ekspresi yang disimpulkan …

120 scala  type-inference 

Saya sedang mengerjakan fasilitas penyelesaian (intellisense) untuk C # di emacs. Idenya adalah, jika pengguna mengetikkan sebuah fragmen, kemudian meminta penyelesaian melalui kombinasi penekanan tombol tertentu, fasilitas penyelesaian akan menggunakan refleksi .NET untuk menentukan penyelesaian yang mungkin. Melakukan ini mengharuskan jenis hal yang diselesaikan, diketahui. Jika itu sebuah string, ada …

109 c#  reflection  appdomain  type-inference 

Saya telah menjumpai situasi aneh yang melibatkan metode generik statis. Ini kodenya: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Kenapa saya tidak harus menentukan argumen tipe apa pun dalam ekspresi …

106 java  generics  static  type-inference 

Saya melihat beberapa diskusi menarik di sini tentang pengetikan statis vs. dinamis. Saya biasanya lebih suka pengetikan statis, karena pemeriksaan jenis kompilasi, kode yang didokumentasikan lebih baik, dll. Namun, saya setuju bahwa mereka mengacaukan kode jika dilakukan dengan cara Java, misalnya. Jadi saya akan mulai membangun bahasa gaya fungsional saya …

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

Referensi metode yang digunakan memiliki tipe kembali Integer. Tapi tidak cocokString diizinkan dalam contoh berikut. Bagaimana cara memperbaiki withdeklarasi metode untuk mendapatkan tipe referensi metode yang aman tanpa casting secara manual? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final Class<T> clazz; Builder(Class<T> clazz) { this.clazz = …

38 java  generics  lambda  type-inference  method-reference 

Kita semua tahu Long memanjang Number. Jadi mengapa ini tidak dikompilasi? Dan bagaimana mendefinisikan metode withsehingga program dapat dikompilasi tanpa ada panduan manual? 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 

Implementasi std::mem::dropdidokumentasikan sebagai berikut: pub fn drop<T>(_x: T) { } Karena itu, saya berharap penutupan |_| ()(bahasa sehari-hari dikenal sebagai penutupan toilet ) menjadi pengganti 1: 1 potensial drop, di kedua arah. Namun, kode di bawah ini menunjukkan bahwa droptidak kompatibel dengan sifat peringkat lebih tinggi yang terikat pada parameter …

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

Kenapa public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} lebih ketat dari itu public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Ini adalah tindak lanjut pada Mengapa jenis pengembalian lambda tidak diperiksa pada waktu kompilasi . Saya menemukan menggunakan metode withX()suka .withX(MyInterface::getLength, "I am not …

12 java  generics  lambda  type-inference