Top Questions

1. Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?
   8 votes

   1 answers
2. Pointers to ADTs in Haskell
   4 votes

   1 answers
3. Is it possible to get Haskell stack to use Haskell packages provided by nix?
   4 votes

   1 answers
4. In the Julia language, how are function compilations reused?
   4 votes

   1 answers
5. "case" operator for System-F natural numbers coded with RankNTypes fails to typecheck
   4 votes

   1 answers