Gabriel Gonzalez

San Francisco, CA

Age: 27

I'm a graduate student at UCSF. I love programming, particularly in Haskell. I spend most of my free time searching for elegant solutions to widespread programming challenges.

top accounts reputation activity favorites subscriptions

Algebraically interpreting polymorphism

haskell types asked May 4 '12 at 17:35

stackoverflow.com

16 votes

Disadvantages of using INLINABLE pragma

haskell optimization ghc asked Mar 15 at 19:39

stackoverflow.com

12 votes

How to do fast data deserialization in Haskell

performance haskell serialization asked Jun 5 '12 at 17:59

stackoverflow.com

12 votes

Rebinding do notation for indexed monads

haskell asked Jun 14 '12 at 23:21

stackoverflow.com

10 votes

Correctness of implicit lifting

haskell types asked Feb 18 at 1:45

stackoverflow.com

6 votes

Recursive Type Families

haskell type-families asked Aug 23 '12 at 5:30

stackoverflow.com

6 votes

Constraining a derived variable of a type class or an instance

haskell asked Sep 18 '12 at 21:32

stackoverflow.com

5 votes

Difference between GHC's -O and -O2

optimization haskell compiler ghc asked Jun 19 '12 at 20:18

stackoverflow.com

5 votes

Polymorphic constraint

haskell types asked Oct 3 '12 at 23:23

stackoverflow.com

Top Answers

Importance of isomorphic functions

stackoverflow.com

What is a solid example of something that can be done with list comprehensions that is tricky with high order functions?

stackoverflow.com

Should I use typeclasses or not?

stackoverflow.com

What constitutes a fold for types other than list?

stackoverflow.com

How can I see the implementation code for “and”?

stackoverflow.com

Generate list of random values and also get a new generator

stackoverflow.com

lazy version of mapM

stackoverflow.com

What's wrong with GHC Haskell's current constraint system?

stackoverflow.com

“Monad-friendly” event-based IO

stackoverflow.com

How/can this type be made into a Monoid instance

stackoverflow.com

What's the benefit of conduit's leftovers?

stackoverflow.com

Initializing algebraic data type from list

stackoverflow.com

Positive integer type

stackoverflow.com

Is there an Iteratee-like concept which pulls data from multiple sources?

stackoverflow.com

What general structure does this type have?

stackoverflow.com

Does FreeT keep the equational reasoning benefits of Free?

stackoverflow.com

Is there something like `map2 :: (i -> a) -> (i -> b) -> [i] -> [(a,b)]`?

stackoverflow.com

Do guarded pipes behave the same as pipes using await?

stackoverflow.com

Is there a nice way to make function signatures more informative in Haskell?

stackoverflow.com

Pipes and callbacks in Haskell

stackoverflow.com

Must mplus always be associative? Haskell wiki vs. Oleg Kiselyov

stackoverflow.com

How can I make sure main thread ends after all other threads ends?

stackoverflow.com

Non-lazy branch of GHC

stackoverflow.com

What is the idiomatic way to call pure functions within a MaybeT ( StateT ) monadT stack such that error propagates?

stackoverflow.com

Match a lot of patterns in Haskell efficiently

stackoverflow.com

Subtypes for natural language types

stackoverflow.com

Haskell: example of function of type a -> a, besides the identity

stackoverflow.com

Updating outputted text in haskeline

stackoverflow.com

What are design patterns for tasks with storing some state in haskell

stackoverflow.com

Find max element and index of a list in Haskell

stackoverflow.com