winitzki

winitzki has asked 18 questions and find answers to 20 problems.

Stats

About

Software developer, Scientist, Mathematician, Musician.

winitzki questions

Is `F a = (a -> p) -> q` an applicative functor?
Can one simplify the Codensity monad on Maybe?
Is the type constructor `Maybe (BTree a)` a monad?
Is this a generic transformer for any monad?
Why the unbound type variables in OCAML object do not appear when class type is used?
Is there a non-identity monad morphism M ~> M that is monadically natural in M?
How to wipe Android device when device admin is deactivated?
How to fix buggy webkit-text-size-adjust on iOS5 and iOS6?
What is an explicit example of a monad without a monad transformer? [duplicate]
Is this property of a functor stronger than a monad?

winitzki answers

Is this "Coapplicative" class a superclass for Comonad?
How to zoom a view in UIScrollView with anchor point in center?
What is the general case of QuickCheck's promote function?
OCaml function parameter pattern matching for strings
How to wipe Android device when device admin is deactivated?
OCaml Printf.sprintf
Difference between declare-styleable and style
Is this property of a functor stronger than a monad?
Scope/order of evaluation of nested `let .. in ..` in OCaml
Webview and iframe fail to show Youtube videos in a sandboxed iframe in Chrome packaged app