Viewing profile — fsantanna

Hi, I'm the author of Ceu. Any feedback is welcome. Francisco

Thank you! To install, `sudo` is not even required, so I'll change the default script. I understand that designing any kind of distributed consensus is somewhat disputable (if not …

Only posts can farm reputation, the number of authors doesn't matter. To farm reputation from posts, you would need an automated post creation algorithm that passes the Turing test…

Hi, I'm the author of Freechains. Any feedback is welcome. Francisco

- Céu can embed blocks in C and call it directly - C is more portable - C is easier to generate

The early papers about Esterel and the synchronous model, e.g.: - Gérard Berry: "Real time programming: Special purpose or general purpose languages" For the semantics, I like this…

External calls in C require an underscore (e.g., "_printf") to be easily trackable as possibly unsafe. Also, at some point in the code (e.g., after you include your libraries), one…

The main influence is Esterel, but we visited most synchronous literature (including Lucid). We also take the syntax from Pascal/Lua and the basic types and expressions from C (due…

You can download Esterel freely: http://www-sop.inria.fr/esterel-org/files/Html/Downloads/Dow... (AFAIK, it is not open source though.) [EDIT] For documentation, see "The Esterel L…

That would be interesting. It seems to be feasible given the language semantics. We'll definitely investigate it.

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, bound…

> "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 pr…

Thanks for the explanation, this is pretty accurate.

Yes, the problem on how to handle events in soft real-time applications with concurrent activities that affect each other. We initially targeted constrained embedded systems and ca…

Yes, we can take advantage of all existing libraries in C/C++ for free.

I wrote in Lua the source-to-source compiler that takes a ".ceu" and generates a ".c" (the code is a single-threaded state machine), which is then compiled with gcc. The compiler i…

- Dynamic typing for fast prototyping. The compiler is full of dynamic tricks for testing, stripping parts of it, etc. - LPeg support [1]. PEGs are great! - The creator of Lua was …

Thanks, forgot to mention in the other comment that Céu is actually based on Esterel.

In comparison to Esterel: 1. Dynamic abstractions with lexical scope (vs. mostly static language). You can dynamically spawn code into a lexically-scoped pool. 2. Internal/fine-gra…

Thank you, I will improve the page. In summary: Reactive: code executes in reactions to events Synchronous: reactions run to completion, i.e., there's no implicit preemption or rea…

Thank you! I'm enthusiastic with the Arduino binding, it provides a friendly way to handle events without much bloat. These characteristics fit well in this domain of non specialis…

Hi, I'm the author of the programming language Céu. Although Céu is about 5 years now, this is the first time I post to "Show HN". In this new version, we are trying to surpass the…

Céu is a Esterel-based deterministic/synchronous/concurrent language: http://www.ceu-lang.org (I'm the author of Céu.)