[m-users.] Performance of solutions module

Fred Mesnard frederic.mesnard at gmail.com
Tue Nov 6 21:10:47 AEDT 2018

> Le 6 nov. 2018 à 02:10, Zoltan Somogyi <zoltan.somogyi at runbox.com> a écrit :
> There are two kinds of semantics that are relevant here. One is the
> declarative semantics: what a piece of code is supposed to mean.
> The other is the operational semantics: what the compiled version
> of that code actually does. Mercury is a declarative language
> because in almost all cases, the compiler is required to ensure
> that the operational semantics matches the declarative semantics.
> Committed choice code is one of the main exceptions.

Thanks for the explanations you gave! 
What are the other exceptions?


More information about the users mailing list