Re: ATS Dynamic Loading

Dynload is for the purpose of initializing toplevel name/values bindings. I am not completely clear about what you really need here. An example? A use case? On Thu, Sep 22, 2016 at 4:31 PM, aditya siram wrote: > Hi, > I was wondering if ATS supports something like an

Re: COGENT: Certified Compilation for a Functional Systems Language

Hi Hongwei On Fri, Sep 23, 2016 at 12:27 AM, gmhwxi wrote: > COGENT is a very limited domain-specific language (DSL). Thanks for your opinion. > I think what you are doing (c2ats) is the right approach. This is what I > call "meta-programming". But c2ats is still yet too

Re: COGENT: Certified Compilation for a Functional Systems Language

COGENT is a very limited domain-specific language (DSL). I think what you are doing (c2ats) is the right approach. This is what I call "meta-programming". But c2ats is still yet too limited... On Tuesday, September 20, 2016 at 12:14:00 AM UTC-4, Kiwamu Okabe wrote: > > On Tue, Sep 20, 2016 at

ATS Dynamic Loading

Hi, I was wondering if ATS supports something like an `eval` function. I realize there's a `dynload` for loading a DATS file at runtime but I was wondering if this can be extended to arbitrary code. Thanks! -deech -- You received this message because you are subscribed to the Google Groups