Here’s my favorite implementation of binary search. It’s useful not only for finding the element but also for finding the insertion index. Details about assumed sorting order (ascending or descending) and behavior with respect to equal elements are controlled by providing a corresponding predicate (e.g. { $0 < x } vs { $0 > x … Read more
As has been mentioned in the comments, poking around with :kind and :kind! in GHCi is usually how I go about doing it, but it also surprisingly matters where you place the functions, and what looks like it should be the same, isn’t always. For instance, I was trying to make a dependently typed functor … Read more
Remember that Python int values are of arbitrary size. How does that work? Well, in CPython,1 an int is represented by a PyLong_Object, which has an array of 4-byte chunks2, each holding 30 bits3 worth of the number. 0 takes no chunks at all. 1 – (1<<30)-1 takes 1 chunk. 1<<30 – (1<<60)-1 takes 2 … Read more
I could be wrong because I’ve only done this with of loops, but you should be able to enforce a type definition on the collection (right side) which informs the typing on the item. For example: for (role in roles as Roles[]) This should make each element of type Roles.
I’d recommend using a combination of TypeVar, to indicate that your self.o value could be any arbitrary type, and Type, in the following way: from typing import TypeVar, Type T = TypeVar(‘T’) class MyObj: def __init__(self, o: T) -> None: self.o = o def get_obj_class(self) -> Type[T]: return type(self.o) def accept_int_class(x: Type[int]) -> None: pass … Read more
Taken from Dart’s language guide What is soundness? Soundness is about ensuring your program can’t get into certain invalid states. A sound type system means you can never get into a state where an expression evaluates to a value that doesn’t match the expression’s static type. For example, if an expression’s static type is String, … Read more
NEW ANSWER FOR TYPESCRIPT 4.1+ Welcome back! Now that TypeScript 4.1 has introduced template literal types and the Uppercase/Lowercase intrinsic string mapping types, we can now answer this question without needing regular expression types. There are two main approaches. The “brute force” approach makes heavy use of recursive conditional types and unions to turn your … Read more
It’s fine with Integer, but not okay with int – Java generics only work with reference types, basically 🙁 Try this – although be aware it will box everything: HashMap<String,Integer> userName2ind = new HashMap<String,Integer>(); for (int i=0; i<=players.length; i++) { userName2ind.put(orderedUserNames[i],i+1); }
You can use ref to reset the file uploader value. this.$refs.fileupload.value = null; codepen – https://codepen.io/Pratik__007/pen/MWYVjqP?editors=1010