When this happens to me (using haskell), I just quickly do: otherfunc = undefined otherfuncReal :: ... otherfuncReal = ... The best exploratory progr

When this happens to me (using haskell), I just quickly do: otherfunc = undefined otherfuncReal :: ... otherfuncReal = ... The best exploratory programming I've seen in haskell also does this for types to some extent; you know you're writing music, so you start with something like: data Music -- stubbed in data type with no constructor Then maybe you decide it involves a series of notes with duration, so you change it: data Music = [(Note, Duration)] data Note -- stub type Duration = Int