Adam

Adam has asked 10 questions and find answers to 5 problems.

Stats

About

Adam questions

Are there any distributed high-availability filesystems (for Linux) that are actively-developed?
Why does Seq[V] not extend Map[Int,V] nor does Set[V] extend Map[V,Bool]?
newline-ignoring diff / diff across multiple lines / reflow-ignoring diff
Total function of type (forall n . Maybe (f n)) -> Maybe (forall n . (f n))
what is the difference between a "trait" and a "template trait"?
Make Emacs stop asking "Active processes exist; kill them and exit anyway"

Adam answers

could someone explain the connection between type covariance/contravariance and category theory?
What uses have you found for higher-rank types in Haskell? [closed]