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.
1
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.