"Synchronous Programming"

[Evan Czaplicki]

I recently read a bunch of papers on Synchronous Programming Languages. They are very cool!

This chapter on Lucid Synchrone is my favorite so far in that it's super easy to see the connections between Elm. I wish I'd read it earlier :) It appears that many of the static checks on signal graphs we have discussed are implemented there, so I highly recommend it if you are thinking about loops or anything around more complex graphs.

This has also helped me understand why approaches with join have various issues. I'm hoping to incorporate a lot of these lessons into my StrangeLoop talk, so there'll at least be a video of this even if writing it up is taking forever.

On top of that, everything I've read so far has been extremely refreshing in that it is rigorous, efficient, and practically minded. I'm a big fan of this literature so far!

[Jeff Smits]

Can you share a list of papers you found worthwhile to read? I'd love to read more about loops and complex graphs etc. 

[Evan Czaplicki]

I also liked this paper, though I think you should focus on Lucid Synchrone. It is the only one I know that is based on OCaml and shares lots of similar features with Elm.

It sounds like it may be worthwhile to look into Scade since the ideas from Lucid Synchrone have apparently been added to it, but I did not dig deep on that. Please let us know if you find any cool stuff while exploring!

--
You received this message because you are subscribed to the Google Groups "Elm Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Raoul Duke]

e.g. http://www-sop.inria.fr/meije/rp/ROS/Tt-SM.html

I would some day very much like to understand the differences clearly
among these various systems. :-) But I'm not yet familiar enough with
it all :-( so it tends to all sound very similar to me.

Does anybody here perhaps have some pithy ways to describe the major
significant differences among them to somebody who is coming from a
bog-standard procedural/oo background?

thanks :-}

[Evan Czaplicki]

Cool link! Led me to Kahn process networks which look remarkably familiar :)

I think they are all quite similar. It looks like some of them are even implemented in terms of other ones.