17:36 | <Michael Ficarra> | haskell has alter :: (Eq k, Hashable k) => (Maybe v -> Maybe v) -> k -> HashMap k v -> HashMap k v is crazy, I was not expecting that |
17:38 | <shu> | another L for the category theorists |
17:47 | <Michael Ficarra> | I mean it's cool that every Maybe v -> Maybe v is an operation that makes sense, but I'd probably just make 4 functions |
17:50 | <Ashley Claymore> | I assume `Some -> None` deletes the key? Rather than implies no alteration |