Abstract: Static type inference is an effective way to maintain the safety of programs written in a dynamically typed language. However, foreign functions implemented in another programming language ...
The Rust implementation contains the more complex functions required by the IEC61131-3 standard These include string or array functions as well as function blocks dealing with Time or other system ...