On 10/16/2017 03:16 PM, Adam Treat wrote:
> You'll need a strongly normalizing language for that which does not allow
> general recursion. Something built on the simply typed lambda calculus, but
> with added syntactic sugar would do.
Hmm, is it possible to define a subset of JavaScript with this property?
Imagine:
import qbs.strict 1.0
Project {
// only restricted JS available here
}
Ulf
_______________________________________________
Development mailing list
Development@qt-project.org
http://lists.qt-project.org/mailman/listinfo/development
