[Haskell-cafe] Re: A Monad for on-demand file generation?
haskell at list.mightyreason.com
Wed Jul 2 11:43:20 EDT 2008
> hen, the readFileOD could put the timestamp
> of the read file in a Monad-local state and the writeFileOD could, if
> the output is newer then all inputs listed in the state, skip the
> writing and thus the unsafeInterleaveIO’ed file reads are skipped as
> well, if they were not required for deciding the flow of the program.
How is your system similar to make/Makefile or different to
Are your actions more restricted? Are the semantics more imperative? Are the
dependencies still explicit or are them implicit and inferred?
More information about the Haskell-Cafe