[sac-user] SaC beginner: modularization, declaration

Scholz, Sven-Bodo s.scholz at herts.ac.uk
Thu Dec 9 17:32:43 CET 2010




[...]
> 
> The non-determinism sounds interesting. Is this feature accessible in the
> actual version of the compiler?

It *should* be. However, it is only rarely used and, therefore, prone to
being buggy. Any feedback appreciated :-)

> 
>> use the type system to infer array shapes. We only propagate type errors to
>> the user, if we can guarantee that the type error will be hit,
> 
> This approach gives some peace to the programmer, but the execution of the
> program can cause errors. Our idea is to show up errors as soon as
> possible, better in compile time, i.e. if the compiler makes the
> executable, the execution can't run into erronous situation.

That is true. However, we follow the same goals :-)
The program will not fail at runtime as the errorneous code is eliminated by
dead code elimination.

Bodo
> 
> 
> Best regards,
> David 




More information about the sac-user mailing list