rampion

Washington, DC

del.icio.us/rampion

Age: 35

Mathematician, programmer, and researcher; with interests in algorithmic design, software engineering theory, and massively parallel computing. I'm also a keyboard junkie and an aspiring language nerd.

1d
awarded Nice Answer
Aug
31
awarded Notable Question
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
PyRulez: a monad transformer that models computations that may or may not require side-effects in the underlying monad.
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
user3237456: thanks! that lead to this implementation. EssEither is pretty descriptive.
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
n.m.: Look closer. toSomeAlias takes a m a, not an a, and SomeAlias m a = Either a (m a).
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
toSomeAlias :: m a -> SomeAlias m a; toSomeAlias = Right
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
n.m.: SomeAlias is the natural transformation m ~> Identity ⊕ m
Aug
27
comment What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
Heimdall: if I used EitherT, I'd have to write EitherT longComplicatedType m longComplicatedType. No benefit.
Aug
27
asked What's a good name for the natural transformation `forall a. m a -> (Identity ⊕ m) a`?
Aug
21
awarded Notable Question
Aug
20
accepted Dropping a typeclass instance and the package version policy
Aug
20
comment Dropping a typeclass instance and the package version policy
These comments look answer worthy to me...
Aug
20
awarded Enlightened
Aug
19
asked Dropping a typeclass instance and the package version policy
Aug
19
awarded Great Answer
Aug
16
awarded Notable Question
Aug
2
comment Read and writing to file in Haskell
Will Ness: while that's a valid answer to OP's question, my answer's about using a single handle for read and write, so I don't see the relevance.
Aug
1
awarded Good Answer
Jul
31
comment Read and writing to file in Haskell
Will Ness: that doesn't prevent the handle from being put in a semi-closed state
Jul
30
awarded Great Question
1 2 3 4 5