Câu hỏi được gắn thẻ «typechecking»

Tôi có một mảng được tạo thành AnyObject. Tôi muốn lặp lại nó và tìm tất cả các phần tử là các thể hiện mảng. Làm cách nào để kiểm tra xem một đối tượng có thuộc loại đã cho trong Swift không?

267 swift  type-inference  typechecking 

Khi cố gắng hiểu một chương trình, hoặc trong một số trường hợp góc, thật hữu ích để có thể thực sự tìm ra loại gì đó. Tôi biết trình gỡ lỗi có thể hiển thị cho bạn một số thông tin loại và bạn thường có thể dựa vào …

255 swift  typechecking 

Trong ActionScript, có thể kiểm tra loại tại thời gian chạy bằng toán tử is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Có thể phát hiện nếu một biến (mở rộng hoặc) là một lớp hoặc giao …

240 typescript  typechecking 

Tôi đang thử các chú thích kiểu Python với các lớp cơ sở trừu tượng để viết một số giao diện. Có cách nào để chú thích các loại có thể *argsvà **kwargs? Ví dụ, làm thế nào một người có thể diễn tả rằng các đối số hợp lý …

158 python  type-hinting  typechecking  typing 

Trước khi tôi xem qua cấu trúc dữ liệu chung của mình để tìm chỉ mục của một giá trị, tôi muốn xem liệu nó có phải là một thể hiện của loại thisđã được tham số hóa hay không. Nhưng Eclipse phàn nàn khi tôi làm điều này: @Override …

135 java  generics  instanceof  typechecking 

Có điều gì thành ngữ hơn những điều sau đây? foo.class == String

124 ruby  idioms  typechecking 

Tôi dường như không thể kiểm tra một đối tượng có phải là boolean một cách dễ dàng hay không. Có cái gì như thế này trong Ruby không? true.is_a?(Boolean) false.is_a?(Boolean) Ngay bây giờ tôi đang làm việc này và muốn rút ngắn nó: some_var = rand(1) == 1 ? …

122 ruby  typechecking 

Tôi có mã này (phải thừa nhận là lạ) sử dụng ống kính và 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 

Tại sao những điều này không tương đương? show $ if someCondition then someInt else some double và if someCondition then show someInt else show someDouble Tôi hiểu rằng nếu bạn tách riêng if ... elsephần trong ví dụ đầu tiên thành một biểu thức thì bạn không thể biểu …

9 haskell  compiler-construction  language-features  typechecking 

Tôi đã có một giao diện chứa một phương thức có chữ ký này: <P extends MergeProperty<T> & RestartApplicant> List<P> loadPropertiesFrom(T p1, T p2); Về cơ bản, MergePropertylà một lớp KHÔNG thực hiện RestartApplicantvà RestartApplicantlà một giao diện chức năng có chứa một phương thức không thực sự quan trọng …

8 java  generics  typechecking