[Haskell-cafe] mutually recursive types
rodrigo.bonifacio at uol.com.br
Wed Aug 8 10:56:48 EDT 2007
Hi, I am learning the haskell programming language and had tried to define the following types:
type Scenario = (String, String, [Step])
type Step = (String, Scenario, String, String, String)
Notice that Scenario depends on a list of steps and Step has a dependence with scenario. I know that this is a kind of "bad smell".... in Haskell, are there any pattern or language idiom to deal with cyclical dependences?
More information about the Haskell-Cafe