Rubber duck debugging is powerful. Many emails to #Haskell cafe never sent. Finding the right type is hard. Gradual refinement helps.
Conversation
Replying to
Some problems really benefit from finding types first. Code generation is definitely one.
Replying to
Maybe this is just practice, but it seems harder to do the inference step with types. I.e. I know how to "find program that has property x"
2
Replying to
Somehow it seems harder to do "find type that has property x". Or it's just that #Haskell pushes you into abstract things much quicker.