Jonathan Cast

Jonathan Cast has asked 4 questions and find answers to 58 problems.

Stats

About

I'm a pure functional language designer and professional Java coder. My passions are programming and functional analysis.

Jonathan Cast questions

What is the general case of QuickCheck's promote function?

Jonathan Cast answers

Creating instance of State in Frege
Haskell chain functions based on separate conditions
Laziness of (>>=) in folding
Dependent types can prove your code is correct up to a specification. But how do you prove the specification is correct?
Why does the Functor type class not include a fold method?
Do GHC rewrite rules know to recognize syntactic sugar?
Why does Either derives Show but Maybe does not?
Can CString be an instance of IsString, Show?
Trouble Understanding Monad (->)
Haskell's "permutations" function defined oddly