3 ms·
That whether an element was found in a list or not has nothing to do with the order relation on the type of indices. Conceptually, it's a completely distinct ca
by pwdisswordfish 10y ago
That whether an element was found in a list or not has nothing to do with the order relation on the type of indices. Conceptually, it's a completely distinct case; in a more solid type system it would be captured by an option type. This becomes especially evident when you attempt to generalise this searching operation to arbitrary maps.