Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
James Koppel
http://www.jameskoppel.com
Ph. D. student in programming languages at MIT.
top
accounts
reputation
activity
subscriptions
Top Questions
29
votes
Prevent simultaneous deploys with Ansible
ansible
asked Feb 19, 2014 at 2:37
stackoverflow.com
20
votes
Physical/pictoral interpretation of higher-order moments
interpretation
moments
parallel-computing
asked Jul 11, 2011 at 19:28
stats.stackexchange.com
18
votes
Why do nested MaybeT's cause exponential allocation
performance
haskell
memory
monad-transformers
asked Mar 31, 2017 at 21:23
stackoverflow.com
16
votes
Profiling Template Haskell
haskell
ghc
template-haskell
asked Aug 20, 2013 at 9:19
stackoverflow.com
15
votes
GADT's failed exhaustiveness checking
haskell
types
gadt
asked Apr 25, 2013 at 21:46
stackoverflow.com
11
votes
Intuitionistic Banach-Tarski Paradox
measure-theory
logic
axiom-of-choice
type-theory
asked Jul 27, 2012 at 0:17
math.stackexchange.com
9
votes
Adding an unused instance fixes a type error
haskell
ghc
typeclass
asked Nov 8, 2017 at 4:50
stackoverflow.com
9
votes
Mixing pattern matching and currying in OCaml
ocaml
asked Sep 11, 2011 at 2:03
stackoverflow.com
8
votes
GADT type argument not being used for typeclass resolution
haskell
type-inference
typeclass
gadt
asked Sep 13, 2016 at 2:54
stackoverflow.com
6
votes
Fundeps for constraint families
haskell
typeclass
asked Jun 6, 2013 at 10:51
stackoverflow.com
1
2
next
Top Answers
9
Getting started with Program Synthesis
cstheory.stackexchange.com
8
Is it possible to compute whether two functions are extensional equal?
cstheory.stackexchange.com
7
What kinds of programming pitfalls modern languages are able to find?
cs.stackexchange.com
7
What is the bitwise xor of an interval?
cs.stackexchange.com
6
Do "inductively" and "recursively" have very similar meanings?
cs.stackexchange.com
5
Loop invariants?
cs.stackexchange.com
5
Machine learning applied to code development
softwareengineering.stackexchange.com
Stack Exchange works best with JavaScript enabled