Pertanyaan yang diberi tag «typechecking»

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 

Saat mencoba memahami suatu program, atau dalam beberapa kasus, berguna untuk dapat benar-benar mengetahui jenis sesuatu itu. Saya tahu debugger dapat menunjukkan kepada Anda beberapa jenis informasi, dan Anda biasanya dapat mengandalkan inferensi tipe untuk lolos dengan tidak menentukan jenis dalam situasi tersebut, tapi tetap saja, saya benar-benar ingin memiliki …

255 swift  typechecking 

Dalam ActionScript, dimungkinkan untuk memeriksa jenis pada saat dijalankan menggunakan operator is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Apakah mungkin untuk mendeteksi jika suatu variabel (extends atau) adalah kelas atau antarmuka tertentu dengan TypeScript? Saya tidak …

240 typescript  typechecking 

Saya mencoba anotasi tipe Python dengan kelas dasar abstrak untuk menulis beberapa antarmuka. Apakah ada cara untuk menjelaskan jenis *argsdan kemungkinan **kwargs? Sebagai contoh, bagaimana seseorang menyatakan bahwa argumen yang masuk akal untuk suatu fungsi adalah satu intatau dua int? type(args)memberi Tuplejadi dugaan saya adalah untuk membubuhi keterangan jenis Union[Tuple[int, …

158 python  type-hinting  typechecking  typing 

Sebelum saya melihat melalui struktur data generik saya untuk indeks nilai, saya ingin melihat apakah ini adalah contoh dari jenis yang thistelah ditentukan. Tapi Eclipse mengeluh ketika saya melakukan ini: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Ini adalah pesan kesalahan: Tidak dapat …

135 java  generics  instanceof  typechecking 

Apakah ada yang lebih idiomatis dari yang berikut ini? foo.class == String

124 ruby  idioms  typechecking 

Saya tidak bisa memeriksa apakah suatu objek adalah boolean dengan mudah. Apakah ada yang seperti ini di Ruby? true.is_a?(Boolean) false.is_a?(Boolean) Sekarang saya sedang melakukan ini dan ingin mempersingkatnya: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))

122 ruby  typechecking 

Saya memiliki kode ini (memang aneh) yang menggunakan lensa dan GHC.Rekam : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a …

9 haskell  typeclass  typechecking 

Mengapa ini tidak setara? show $ if someCondition then someInt else some double dan if someCondition then show someInt else show someDouble Saya mengerti bahwa jika Anda mengisolasi if ... elsebagian dalam contoh pertama ke ekspresi dengan sendirinya maka Anda tidak dapat mewakili tipenya dengan tipe jumlah anonim, jenis Int …

9 haskell  compiler-construction  language-features  typechecking