Jonathan Cast

Jonathan Cast has asked 4 questions and find answers to 55 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

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
Haskell (a -> m a) -> m (a -> a) -> m (a -> a)
Is using strict with an empty list equivalent to not using strict at all?
Why doesn't year=year+1 fail with stack overflow?