Jonathan Cast

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

Use of put with >> in the state monad
Getting " parse error on input ‘<-’ " within a Yampa program [duplicate]
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?