fsantanna

5 ms·

1.
Show HN: Ceu = Structured Concurrency and Event-Driven Programming(github.com)
4 points by fsantanna 4y ago|0 comments
2.
by fsantanna 6y ago
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 pretentious), but I'm not convinced that client-si
3.
by fsantanna 6y ago
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 (or an algorithm that creates useful content for the c
4.
by fsantanna 6y ago
Hi, I'm the author of Freechains. Any feedback is welcome. Francisco
5.
Show HN: Freechains: Peer-to-Peer Content Dissemination(github.com)
16 points by fsantanna 6y ago|5 comments
6.
by fsantanna 10y ago
- Céu can embed blocks in C and call it directly - C is more portable - C is easier to generate
7.
by fsantanna 10y ago
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 paper focusing on abortion (for me, the most expr
8.
by fsantanna 10y ago
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 can disable these calls with a directive. But typ
9.
by fsantanna 10y ago
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 to source compatibility).
10.
by fsantanna 10y ago
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 Language Primer&quo
11.
by fsantanna 10y ago
That would be interesting. It seems to be feasible given the language semantics. We'll definitely investigate it.
12.
by fsantanna 10y ago
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. Anythin
13.
by fsantanna 10y ago
> "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.
14.
by fsantanna 10y ago
Thanks for the explanation, this is pretty accurate.
15.
by fsantanna 10y ago
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 came with the following design decisions: - Safe and seamless
16.
by fsantanna 10y ago
Yes, we can take advantage of all existing libraries in C/C++ for free.
17.
by fsantanna 10y ago
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 is slow, but not the final binary. We wro
18.
by fsantanna 10y ago
- 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 my advisor since undergrad. :) (Which means that I program i
19.
by fsantanna 10y ago
Thanks, forgot to mention in the other comment that Céu is actually based on Esterel.
20.
by fsantanna 10y ago
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-grained determinism (vs. external determinism). All statem
21.
by fsantanna 10y ago
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 real parallelism (this avoids explicit synchronization: lo
22.
by fsantanna 10y ago
Thank you! I'm enthusiastic with the Arduino binding, it provides a friendly way to handle events without much bloat.
23.
by fsantanna 10y ago
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 academic fences with a more polished work (d
24.
Show HN: Céu, Structured Synchronous Reactive Programming(ceu-lang.org)
107 points by fsantanna 10y ago|46 comments
25.
by fsantanna 11y ago
Céu is a Esterel-based deterministic/synchronous/concurrent language: http://www.ceu-lang.org (I'm the author of Céu.)
26.
by fsantanna 11y ago
Your impressions about Céu are very accurate, but I would like to add some remarks. There are three possible perspectives about the language: the "static", presented in the SenSys'13 paper; the "dynamic", presented
27.
[GSoC] Porting an SDL-based to the programming language Céu(gist.github.com)
1 points by fsantanna 12y ago|0 comments