Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Adam
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
21
votes
Total function of type (forall n . Maybe (f n)) -> Maybe (forall n . (f n))
haskell
types
polymorphism
asked Oct 11 '11 at 0:14
stackoverflow.com
11
votes
Make Emacs stop asking “Active processes exist; kill them and exit anyway”
emacs
asked Apr 24 '10 at 23:16
stackoverflow.com
11
votes
what is the difference between a “trait” and a “template trait”?
scala
asked Jan 5 '11 at 0:54
stackoverflow.com
11
votes
unicode \begin{verbatim} with cmtt?
verbatim
unicode
typewriter
asked Aug 19 '10 at 23:01
tex.stackexchange.com
7
votes
newline-ignoring diff / diff across multiple lines / reflow-ignoring diff
diff
word-diff
asked Apr 9 '10 at 3:18
stackoverflow.com
6
votes
Why does Seq[V] not extend Map[Int,V] nor does Set[V] extend Map[V,Bool]?
oop
scala
design
subclass
asked Jan 5 '11 at 0:26
stackoverflow.com
5
votes
pdflatex: fit-page-to-contents or scale-contents-to-fit-page
pdftex
scaling
paper-size
asked Mar 1 '11 at 20:46
tex.stackexchange.com
Top Answers
7
could someone explain the connection between type covariance/contravariance and category theory?
stackoverflow.com
5
What uses have you found for higher-rank types in Haskell?
stackoverflow.com
Stack Exchange works best with JavaScript enabled
stackoverflow.com
tex.stackexchange.com
