Hi Alexander, пн, 6 мая 2019 г. в 07:16, Dambaev Alexander <[email protected]>:
> We can define external call as effectless (as I understand, this means > "pure" in terns of ATS2); > > extern fn sqrt( double) :<> double = "ext#" > extern fn launch_missles( double) :<> double = "ext#" > > > I do understand, that this is due to goal to make transition from C to ATS > to be less painful, but maybe, there should be some flag (like -XSafe for > ghc, or maybe -Wall -Werror), which will treat effectless ffi calls to be > compile time errors? > > Effect annotations are used in ATS for a different reason (compared to Haskell). Please see HX explaining it here: https://groups.google.com/d/msg/ats-lang-users/L38Bzie5lsE/OnI1BXq8HoIJ > And one more generic question: I haven't got if user can introduce new > custom effects or are they just a predefined set of effects? Are there any > docs about such topics in ATS? > We have some docs in the wiki, please see: https://github.com/githwxi/ATS-Postiats/wiki/effects -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/c440ad8c-9322-44ca-ba6e-c3aaeabe0ece%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/c440ad8c-9322-44ca-ba6e-c3aaeabe0ece%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Cheers, Artyom Shalkhakov -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqhipLEPSW4YoW566RVQN4AwxTZJN45cx8hwpcFB61Foqg%40mail.gmail.com.
