I taught a bit of functional reactive programming (FRP) recently.
Since Bacon.js is getting quite popular these days, I built a tiny interface
in ATS for some functions in Bacon.js. Here are some links to several short
FRP
examples making use of this interface:
Personally, I find doing this kind of FRP in ATS quite interesting.
Typechecking
in ATS can go a long way to detect potential coding errors, resulting in
the generated
JS code (from ATS source) being of quite high quality as far as
correctness is of the
main concern.
That’s not something new to me (I already did similar things). If this buzz
can help to define some common vocabulary for these idioms, then it may be
nice (naming idioms is often hard).
So BTW FYI there are actual nuances to Reactive engines, I think.
There are various flavours; there are various optimizations. That’s
all I know. I’m not experienced or smart enough to be able to explain
what they all are. I know some depend on the programming language used
e.g. Monads vs. Arrows in Haskell implementations of FRP. There’s Elm,
there’s RDP, etc. My point being that when I hear that somebody has
made a reactive engine, I am suspicious – did they do it RIGHT? Did
they know enough to do it right? Or to even know that they aren’t
doing it right? Do they have glitches, transient states, can they
handle cycles, do they have time/space leaks, etc.
Incidentally, I just got this in my email shortly after this message:
Though, it is in Scala.On Mon, Apr 6, 2015 at 10:48 PM, gmhwxi gmh...@gmail.com wrote:
I taught a bit of functional reactive programming (FRP) recently.
Since Bacon.js is getting quite popular these days, I built a tiny
interface
in ATS for some functions in Bacon.js. Here are some links to several
short FRP
examples making use of this interface:
Personally, I find doing this kind of FRP in ATS quite interesting.
Typechecking
in ATS can go a long way to detect potential coding errors, resulting in
the generated
JS code (from ATS source) being of quite high quality as far as
correctness is of the
main concern.
Yep, lot of Scala and Akka. But some more generic stuff too. The only thing
is that I can’t follow Erik Meijer so easilyOn Tuesday, April 7, 2015 at 7:37:40 AM UTC+2, Brandon Barker wrote:
On Mon, Apr 6, 2015 at 10:48 PM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:
I taught a bit of functional reactive programming (FRP) recently.
Since Bacon.js is getting quite popular these days, I built a tiny
interface
in ATS for some functions in Bacon.js. Here are some links to several
short FRP
examples making use of this interface:
Personally, I find doing this kind of FRP in ATS quite interesting.
Typechecking
in ATS can go a long way to detect potential coding errors, resulting in
the generated
JS code (from ATS source) being of quite high quality as far as
correctness is of the
main concern.
A claim often made by some proponents of FRP is that it can help
simplify reasoning involved in reactive programming. This may or may not
be true depending on whether you consider clearly understanding the
underlying
implementation of FRP is a prerequisite.
I think I do see some values of FRP. However, writing code in FRP style does
seem to require one’s ability to perform “mental acrobatics” from time to
time.
