[Haskell-cafe] Monads with "The" contexts?
rendel at informatik.uni-marburg.de
Thu Jul 12 20:23:45 CEST 2012
Takayuki Muranushi wrote:
>> sunPerMars :: [Double]
>> sunPerMars = (/) <$> sunMass <*> marsMass
> Sadly, this gives too many answers, and some of them are wrong because
> they assume different Earth mass in calculating Sun and Mars masses,
> which led to inconsistent calculation.
This might be related to the problem adressed by Sebastian Fischer, Oleg
Kiselyov and Chung-chieh Shan in their ICFP 2009 paper on purely
functional lazy non-deterministic programming.
An implementation seems to be available on hackage.
More information about the Haskell-Cafe