[Development] Future of QBS
annulen at yandex.ru
Mon Oct 16 15:42:14 CEST 2017
16.10.2017, 16:17, "Adam Treat" <adam.treat at qt.io>:
> 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.
Maybe Prolog would do it too.
>> Development mailing list
>> Development at qt-project.org
> Development mailing list
> Development at qt-project.org
More information about the Development