OP: a question about some of your earlier work. In particular, I'm reading through your "A Monad For Reactive Programming, Part 1". <a href="https://www.fpcomplete.com/user/agocorona/a-monad-for-reactive-programming-part-1" rel="nofollow">https://www.fpcomplete.com/user/agocorona/a-monad-for-reacti...</a><p>I see a lot of higher-rank types, like this:<p><pre><code> data Event = forall a. Event EvType a
</code></pre>
as opposed to:<p><pre><code> data Event a = Event EvType a
</code></pre>
These mean different things. In the former, an Event has to be able to hold <i>any</i> a, and that doesn't really make sense (unless I'm misinterpreting something) because the only value that inhabits <i>all</i> types a is undefined/bottom.<p>Or is that what you want? Is there a reason why you use higher-rank types (which make my brain hurt, require a lot of language extensions, etc.) rather than parameterized types? If so, could you spell that out?<p>Another example is this:<p><pre><code> data EventF = forall m b c. EventF (b → Transient m c)
</code></pre>
Again, I'm not really familiar with what you're doing so it's quite possible that using higher-rank types is exactly what you want (see: ST Monad and Lenses, where rank-2 types are crucial). I'm just having a hard time seeing it.<p>Thanks!
Does anyone else get "Base.hs@493:1-493:2 parse error on input `" on trying to run the code snippet in <a href="https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-working-IT-programmers#composition-of-programs--runnable-example-" rel="nofollow">https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-work...</a><p>Am I misusing fpcomplete, or does the code snippet not work?
"Object-oriented programming is an exceptionally bad idea which could only have originated in California." - Dijkstra<p>I don't think this is a real quotation.
This article assumes too much background -- not of Haskell but of the authors prior work. It starts off: "I have a problem: How I present the few applicative and monadic combinators that I just developed."<p>Ummm ... which combinators? At least provide a link to the prior article that I assume introduced them. As introductions go, this article's introduction doesn't do a very good job.
Very sorry:
<a href="https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-working-IT-programmers" rel="nofollow">https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-work...</a>
This seems to be a valid link:<p><a href="https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-working-IT-programmers" rel="nofollow">https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-work...</a>