Top Questions

1. Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
   6 votes

   1 answers
2. Is it possible to design Stack (Haskell) just like NPM (NodeJS)?
   6 votes

   1 answers
3. Why provide the `HasCallStack` mechanism since we already have `ghc -prof -fprof-auto-top` in GHC?
   5 votes

   1 answers
4. Why Impala Scan Node is very slow (RowBatchQueueGetWaitTime)?
   4 votes

   2 answers
5. How to derive multiple Functor instances in Haskell?
   4 votes

   1 answers