Hello,

I’m an hardware  scientist, working for a software compagny. I had follow
some open cpu design like F-cpu, and the langage design of Lisaac. I’m an
expert in C programming, and have some skills in ocaml, perl, c++, java.

In synchrone langage (Lustre/Scade), there is no dynamic memory allocation.
This kind of langage have the data inside function (or “block”), the
opposite way of object langage with method beside the data. It’s like
having “static” variable in the C sens, but a different one for each call
site. There is no loops in Lustre, only high order function like map and
fold operation, that duplicate the variable for each call. Having such
feature, reduce the need a dynamic allocation and garbage collector.

I think this looks new and strange, but Lustre are used since 10 years in
real time safety critical software. This kind of (static, compile time)
memory allocation could be a great help for long running, fast and
responsive system. I know you target a 1.0 release but this could ease the
write of software without any dynamic memory allocation.

Do you think, this could be implemented in rust ?

Regards,

Nicolas Boulay
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to