Stack Exchange

Benjamin Hodgson

London, United Kingdom

I work, um, here! It takes a lot of self-restraint for me not to abuse my live-database privileges and artificially inflate my score.

top accounts reputation activity favorites subscriptions
Top Questions
257 votes

Numpy - array vs asarray

python arrays numpy asked Jan 19 '13 at 15:18
stackoverflow.com

96 votes

What is the “Free Monad + Interpreter” pattern?

design-patterns functional-programming haskell dsl monad asked Jun 2 '14 at 17:46
softwareengineering.stackexchange.com

58 votes

What is the difference between a function, an unbound method and a bound method?

python oop function methods asked Aug 14 '12 at 9:53
stackoverflow.com

31 votes

Python - inheriting from old-style classes

python inheritance telnet asked Jul 17 '12 at 17:42
stackoverflow.com

26 votes

So: what's the point?

functional-programming agda dependent-type idris asked Oct 21 '15 at 22:57
stackoverflow.com

24 votes

Are free monads also zippily applicative?

haskell tree monads applicative free-monad asked Mar 13 at 18:04
stackoverflow.com

22 votes

Are there any OO languages without inheritance?

object-oriented programming-languages inheritance asked Oct 6 '14 at 18:22
softwareengineering.stackexchange.com

20 votes

Indexing into containers: the mathematical underpinnings

haskell functor generic-programming asked Apr 16 '16 at 17:44
stackoverflow.com

18 votes

How does persistence fit into a purely functional language?

c# architecture functional-programming domain-driven-design haskell asked Mar 1 '14 at 11:32
softwareengineering.stackexchange.com

17 votes

Why do we use Hermitian operators in QM?

quantum-mechanics operators hilbert-space eigenvalue observables asked Oct 11 '12 at 21:19
physics.stackexchange.com

1 2 3 4 5

Top Answers
210
Why use Abstract Base Classes in Python?
stackoverflow.com

127
What is the difference between setUp() and setUpClass() in Python unittest?
stackoverflow.com

77
When should I use event-based programming?
softwareengineering.stackexchange.com

43
What's the tradeoff for type inference?
softwareengineering.stackexchange.com

39
Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists
stackoverflow.com

34
Should do-notation be avoided in Haskell?
stackoverflow.com

34
What are Prisms?
stackoverflow.com

32
Is it possible to “bake dimension into a type” in haskell?
softwareengineering.stackexchange.com

25
Cases of types vs fields of records in Haskell
stackoverflow.com

22
Removing duplicates from a list in Haskell without elem
stackoverflow.com

22
How can I read the metadata of a type at runtime?
stackoverflow.com

22
What's the difference between the “data” and “type” keywords?
stackoverflow.com

19
Are Lists Inductive or Coinductive in Haskell?
stackoverflow.com

17
How to correctly implement the mapping protocol in Python?
stackoverflow.com

15
What is the purpose of Rank2Types?
stackoverflow.com

15
What is the difference between `DeriveAnyClass` and an empty instance?
stackoverflow.com

15
Thinking Functionally. Building a New Array in Haskell / Purescript
stackoverflow.com

15
This way I'm writing this code is testable, but is there something wrong with it I'm missing?
softwareengineering.stackexchange.com

14
Are free monads also zippily applicative?
stackoverflow.com

14
Dependent Types in C#: making the output type depend on the input value
stackoverflow.com

14
Can a `ST`-like monad be executed purely (without the `ST` library)?
stackoverflow.com

14
Limits of dependent typing in Idris
stackoverflow.com

13
Why is Haskell [] (list) not a type class?
stackoverflow.com

13
forall notation: what does the period / dot mean?
stackoverflow.com

13
Haskell what does following function do?
stackoverflow.com

12
Can this function be implemented?
stackoverflow.com

12
Are parameterized lambda terms a Monad?
stackoverflow.com

12
Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists
stackoverflow.com

12
Typing compose function in TypeScript (Flow $Compose)
stackoverflow.com

12
Type Family as Argument to Type Synonym
stackoverflow.com

1 2 3 4 5 6