<div dir="ltr"><div>Depending on what it is, it may be a good fit. Feel free to send details (publicly, privately).<br></div><div><br></div><div>I have presented several papers on novel implementations and extensions/uses of FRP, at the Haskell Symposium and ICFP, some built around very simple concepts.</div><div><br></div><div>From <a href="https://github.com/ivanperez-keera/dunai/#reading" target="_blank">https://github.com/ivanperez-keera/dunai/#reading</a></div><div><ul dir="auto"><li>H<span><span><span>λ Sym: </span></span></span><a href="https://dl.acm.org/authorize?N34896" rel="nofollow" target="_blank">Functional Reactive Programming, Refactored</a> (<a href="http://dl.acm.org/citation.cfm?id=2976010" rel="nofollow" target="_blank">official ACM page</a>) (<a href="http://www.cs.nott.ac.uk/~psxip1/" rel="nofollow" target="_blank">mirror</a>)<br></li></ul>

<ul dir="auto"><li>
<p dir="auto">ICFP Pearl: <a href="https://dl.acm.org/citation.cfm?id=3236791" rel="nofollow" target="_blank">Fault Tolerant Functional Reactive Programming</a></p>
</li><li>
<p dir="auto">H<span><span><span>λ Sym: </span></span></span><a href="https://dl.acm.org/citation.cfm?id=3242757" rel="nofollow" target="_blank">Rhine: FRP with type-level clocks</a></p>
</li><li>
<p dir="auto">H<span><span><span>λ Sym: </span></span></span><a href="http://dl.acm.org/citation.cfm?id=3122957" rel="nofollow" target="_blank">Back to the Future: time travel inIn case it helps: FRP</a> (<a href="http://www.cs.nott.ac.uk/~psxip1/" rel="nofollow" target="_blank">mirror</a>)</p>
</li><li>
<p dir="auto">ICFP: <a href="http://dl.acm.org/citation.cfm?id=3110246" rel="nofollow" target="_blank">Testing and Debugging Functional Reactive Programming</a></p></li></ul><div>Sometimes, what you lack in theoretical contribution you can make up with use cases or real-world use.</div><div><br></div><div>There's also REBLS, co-located with OOPSLA.</div><div><br></div><div>I'd love to see it your solution. Many I find in the FRP zoo can be reduced to an MSF with a specific monad or extended in some way. There was a paper at REBLS 2019 (?) on async FRP that could be expressed as an MSF on the continuation monad.<br></div><div><br></div><div>That possibility, if it applies, should be encouraging not discouraging. The FRP land is overpopulated. If you can build your solution as an extension to or specialization of an existing one, it makes using and comparing them much easier. As a frequent reviewer in FP/FM conferences, I'd be more likely to accept a solution expressed that way.<br></div><div><br></div><div>Ivan<br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 1 Feb 2022 at 19:38, amindfv--- via Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Anton,<br>
<br>
Based on your description, this sounds like it could possibly be a good fit for FARM (<a href="https://icfp20.sigplan.org/series/farm" rel="noreferrer" target="_blank">https://icfp20.sigplan.org/series/farm</a>, <a href="https://functional-art.org" rel="noreferrer" target="_blank">https://functional-art.org</a>), which is co-located with ICFP. I've seen a few novel FRP systems presented there (and a few years back presented one myself).<br>
<br>
Tom<br>
<br>
<br>
On Tue, Feb 01, 2022 at 09:01:39PM +0300, Anton Kholomiov wrote:<br>
> Thanks for the answer Richard!<br>
> For now I have some guide points and questions to think about.<br>
> <br>
> I did bindings to gloss and brick to elaborate the ideas, and it seems to<br>
> be fun to use.<br>
> Even if it will get rejected I'll just release it for others.<br>
> <br>
> вт, 1 февр. 2022 г. в 18:56, Richard Eisenberg <<a href="mailto:lists@richarde.dev" target="_blank">lists@richarde.dev</a>>:<br>
> <br>
> > This is a good question, and there's no easy answer. My first impression<br>
> > is that a new implementation of an existing idea probably would not qualify<br>
> > as a big enough contribution to be accepted at ICFP -- but I don't know FRP<br>
> > well enough to really know (and I certainly don't know how impactful your<br>
> > new approach is). It's plausible that a new implementation of an existing<br>
> > idea would be accepted, but it would have to be pretty thought-provoking. A<br>
> > good rule-of-thumb is: if a reader had no particular interest in using your<br>
> > implementation or writing their own FRP implementation, is there something<br>
> > for them to learn? That is, does your approach generalize to non-FRP tasks?<br>
> > Does it use a feature of Haskell or of a lazy programming language or of a<br>
> > functional programming language in a new, surprising way? Does your<br>
> > approach to analyzing why your implementation is better than others offer<br>
> > insight? If the answers to these (or similar) questions is "yes", then<br>
> > perhaps a research paper would work.<br>
> ><br>
> > On the other hand, a key attribute of a functional pearl is its elegance<br>
> > and beauty. Does your approach take a knot of complication in other FRP<br>
> > implementations and make it go away by construction? Is your approach<br>
> > guaranteed faster by some aspect of its design? Would a reader (who doesn't<br>
> > know about FRP implementations) read what you've written and smile at the<br>
> > ingenuity of it all? Positive answers to these types of question suggest<br>
> > that a functional pearl is best.<br>
> ><br>
> > Sadly, there are many neat ideas that fit neither of these molds --<br>
> > implementation-oriented work often doesn't. And, if you don't fit the mold<br>
> > of the category you're writing for, your paper may well get rejected, even<br>
> > if it's a good contribution. I don't have a solution here; I think this is<br>
> > a weakness of the current publication model.<br>
> ><br>
> > I hope this advice is helpful!<br>
> > Richard<br>
> ><br>
> > > On Feb 1, 2022, at 10:07 AM, Anton Kholomiov <<a href="mailto:anton.kholomiov@gmail.com" target="_blank">anton.kholomiov@gmail.com</a>><br>
> > wrote:<br>
> > ><br>
> > > Hi!<br>
> > ><br>
> > > I'm trying to write a paper for ICFP, This is my first paper of this<br>
> > kind.<br>
> > > Can you please help me to choose the right category for it?<br>
> > ><br>
> > > The paper is about a novel technique of implementation of FRP.<br>
> > > I've studied the Haskell FRP zoo and I can confirm that it's novel.<br>
> > > In my opinion it's very elegant and simple, but of course I'm biased :)<br>
> > ><br>
> > > So far so good. Can you please help me to choose the right category for<br>
> > it?<br>
> > > Is it a normal research paper or is it a functional pearl?<br>
> > ><br>
> > > So the FRP is an old technique, but I propose a novel variant of<br>
> > implementation<br>
> > > which I hope is easy to study even in normal class rooms and does not<br>
> > contain<br>
> > > unsafePerform tricks.<br>
> > ><br>
> > > Cheers,<br>
> > > Anton<br>
> > > _______________________________________________<br>
> > > Haskell-Cafe mailing list<br>
> > > To (un)subscribe, modify options or view archives go to:<br>
> > > <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> > > Only members subscribed via the mailman list are allowed to post.<br>
> ><br>
> ><br>
<br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>