Show HN: Céu, Structured Synchronous Reactive Programming

Re:Show HN: Céu, Structured Synchronous Reactive Programming by pron on Tuesday January 31, 2017 @02:57PM (#13534610)

I'm not the language's creator, but I assume that part of the goal was to bring synchronous programming to the mainstream. Synchronous programming languages are well known in the safety-critical hard realtime world. They're based on a mathematical theory that (as opposed to pure-functional programming) embraces interaction and concurrency, which makes them very suitable for interactive applications (whereas compilers are the natural domain for pure-FP). In addition, synchronous languages are currently the most amenable languages to formal verification. These two reasons are why they're popular and successful in the domain I mentioned. Also, synchronous languages naturally support styles of programming (under research) that are intended to be more natural, and facilitate correct code (in addition to the formal-method-friendliness), such as behavioral programming[1].

BTW, Eve is another synchronous language, although a declarative rather than an imperative one like Céu. It's great to see those time-tested and well-studied ideas finally break out of the safety-critical realtime world.

[1]: http://www.wisdom.weizmann.ac.il/~bprogram/more.html

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:13PM (#13534752)

> "part of the goal was to bring synchronous programming to the mainstream"

This was not the original academic goal, but it is now.

We want to offer an imperative alternative to program reactive systems.

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by pron on Tuesday January 31, 2017 @03:15PM (#13534772)

Any plans on offering formal methods for Céu?

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:20PM (#13534808)

Some colleagues are working on an operational semantics of the language (based on the one in the thesis). This will allow us to prove some claims (e.g., reaction termination, bounded memory). Then, we may think about something else. Anything more specific in mind?

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by pron on Tuesday January 31, 2017 @03:40PM (#13534978)

Temporal logic verification (via model checking, static analysis, test generation, runtime checks etc.)?

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:54PM (#13535114)

That would be interesting.

It seems to be feasible given the language semantics.

We'll definitely investigate it.

[ Parent | on HN ]

Re:Show HN: Céu, Structured Synchronous Reactive Programming by fsantanna on Tuesday January 31, 2017 @03:06PM (#13534697)

Thanks for the explanation, this is pretty accurate.

[ Parent | on HN ]