typechecking पर टैग किए गए जवाब

मेरे पास एक ऐसा सरणी है जो बना है AnyObject। मैं इस पर पुनरावृति करना चाहता हूं, और उन सभी तत्वों को ढूंढता हूं जो सरणी उदाहरण हैं। यदि कोई वस्तु किसी प्रकार की स्विफ्ट में है, तो मैं कैसे जांच सकता हूं?

267 swift  type-inference  typechecking 

जब एक कार्यक्रम, या कुछ कोने-मामलों को समझने की कोशिश कर रहा है, तो यह वास्तव में यह पता लगाने में सक्षम होना चाहिए कि कुछ प्रकार क्या है। मुझे पता है कि डिबगर आपको कुछ प्रकार की जानकारी दिखा सकता है, और आप आमतौर पर उन स्थितियों में प्रकार …

255 swift  typechecking 

ActionScript में, ऑपरेटर का उपयोग करके रन-टाइम पर प्रकार की जांच करना संभव है : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true क्या यह पता लगाना संभव है कि एक चर (टाइप या विस्तार) टाइपस्क्रिप्ट के साथ एक …

240 typescript  typechecking 

मैं कुछ आधार लिखने के लिए अमूर्त आधार कक्षाओं के साथ पायथन के प्रकार एनोटेशन की कोशिश कर रहा हूं। क्या संभव प्रकारों को एनोटेट करने का एक तरीका है *argsऔर **kwargs? उदाहरण के लिए, कोई कैसे व्यक्त करेगा कि एक फ़ंक्शन के लिए समझदार तर्क intया तो एक या …

158 python  type-hinting  typechecking  typing 

इससे पहले कि मैं एक मूल्य सूचकांक के लिए अपनी सामान्य डेटा संरचना के माध्यम से देखता हूं, मैं यह देखना चाहता हूं कि क्या यह उस प्रकार thisका उदाहरण है जिसे पैरामीट्रिक किया गया है। जब मैं ऐसा करता हूं तो ग्रहण की शिकायत होती है: @Override public int …

135 java  generics  instanceof  typechecking 

क्या निम्नलिखित की तुलना में अधिक मुहावरेदार कुछ है? foo.class == String

124 ruby  idioms  typechecking 

मुझे लगता है कि एक वस्तु आसानी से बूलियन है की जाँच करने के लिए प्रतीत नहीं कर सकते। क्या रूबी में ऐसा कुछ है? true.is_a?(Boolean) false.is_a?(Boolean) अभी मैं यह कर रहा हूं और इसे छोटा करना चाहता हूं: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || …

122 ruby  typechecking 

मेरे पास यह (अजीब तरह से) कोड है जो लेंस और GHC.Records का उपयोग करता है : {-# 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 …

9 haskell  typeclass  typechecking 

ये बराबर क्यों नहीं हैं? show $ if someCondition then someInt else some double तथा if someCondition then show someInt else show someDouble मैं समझता हूं कि यदि आप if ... elseपहले उदाहरण में भाग को एक अभिव्यक्ति से अलग करते हैं तो आप उसके प्रकार को एक अनाम राशि …

9 haskell  compiler-construction  language-features  typechecking