static-typing
OCaml: find value of specific type
I have the list of some values where I need to find out which kind of value is first: type my_types = MAlpha[详细]
2023-04-07 10:56 分类:问答what is statically typed in RPython?
It is often stated that RPython (a subset of Python) is statically typed. (E.g. on Wikipedia.) Initially, I wondered how they would add that to Python and t开发者_如何学JAVAhought that they might hav[详细]
2023-03-30 06:24 分类:问答Generic Stacks methods
I am creating this stack class with the following methods as shown . import java.util.ArrayList; import java.util.EmptyStackException;[详细]
2023-03-30 02:28 分类:问答What can we do with generics in Java to make them look better:
I have this method to transform a List to a Map using one of the properties of the elements of the list:[详细]
2023-03-18 09:48 分类:问答Why can't i declare a field using var [duplicate]
This question already has answers here: Closed 11 years ago. Possible Duplicate: Why class fields cannot be var?[详细]
2023-03-16 00:40 分类:问答Testing whether some data is of some type or not in Haskell?
since Haskell has such expressive type system, is there something supported directly that we can query whether some data is of some type? like in Racket, (String? \"开发者_如何学CHi\") (will return tr[详细]
2023-03-13 17:23 分类:问答Tools for static type checking in Python
I\'m working with a large existing Python codebase and would like to start adding in type annotations so I can get some level of static checking.I\'m imagining something like Erlang, Strongtalk, or Ty[详细]
2023-03-06 04:00 分类:问答Why interfaces must be declared in Java?
Sometimes we have several classes that have some methods with the same signature, but that don\'t correspond to a declared Java interface. For example, both JTextField and JButton (among several other[详细]
2023-02-25 21:37 分类:问答Closure with typed arguments in Groovy
I\'d like to be more explicit about my closures regarding their argument types.So I would write something like[详细]
2023-02-24 23:40 分类:问答Should Scala's map() behave differently when mapping to the same type?
In the Scala Collections framework, I think there are some behaviors that are counterintuitive when using map().[详细]
2023-02-24 22:22 分类:问答