Luis Casillas

Luis Casillas has asked 19 questions and find answers to 231 problems.

Stats

About

LinkedIn Profile

Luis Casillas questions

Typesafe Config: best pattern for overriding substitutions in later settings?
Can I eliminate the use of UndecidableInstances in this Show instance for a Free Monad?
How to index an "element" type by a "source container" value?
I can't get my GADT-based toy Dynamic type to work with parametric types
Is it impossible to compute the difference between the maxBound and minBound of an Enum type?
How do I implement Reader using free monads?
Proving the Functor laws for free monads; am I doing it right?
AllowAmbiguousTypes and propositional equality: what's going on here?
Java Memory Model: Is it safe to create a cyclical reference graph of final instance fields, all assigned within the same thread?
Can GADTs be used to prove type inequalities in GHC?

Luis Casillas answers

Derive Eq and Show for type alias in Haskell
Loop through a set of functions with Haskell
What is denotational semantics?
Understanding a monad instance
In Haskell, how do you use 'head' without creating a separate function?
Scheme: Constant Access to the End of a List?
Map which must contain all possible keys?
Why Prelude have same functions with just different args?
Using a default in a case statement in Haskell
How to make nested flatMap and map more comprehensible