A few years back, I looked into to the possibility of using CINT build an REPL for ATS2. Now Cling seems to be under active development:
https://root.cern.ch/cling If one wants something performant, this route seems to be promising. On Sun, Oct 21, 2018 at 8:34 PM Vanessa McHale <vanessa.mch...@iohk.io> wrote: > FWIW, I have written ATS2 code that compiles to C which is then wrapped > with a Haskell library that GHCi is able to interact with. > > Have a look here: > https://github.com/vmchale/hs-ats/tree/master/fast-arithmetic. > > You can run cabal new-repl and then > > λ:> import Numeric.Combinatorics > > λ:> 400 `choose` 20 > > 2788360983670896737872851072994080 > > It's not the same as native support, but it does allow a certain type of > development to go on. > On 10/21/18 3:17 PM, gmhwxi wrote: > > > Supporting the use of external functions (e.g. those defined in C) > in the REPL would be limited if at all. But there are pluses as well. > The REPL I have in mind should support various forms of inspection, > playing a big role in facilitating meta-programming with ATS. > > On Sunday, October 21, 2018 at 4:02:17 PM UTC-4, Raoul Duke wrote: >> >> as i naive day job programmer, i hope that repl/interpreter doesnt have >> to imply any lack of feature support, so one could still do types & >> templates & bears oh my. >> > -- > 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 ats-lang-users+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@googlegroups.com. > 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/9081c961-9c1e-4df9-aa4f-0ed52d714725%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/9081c961-9c1e-4df9-aa4f-0ed52d714725%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- > 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 ats-lang-users+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@googlegroups.com. > 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/1417706a-1d38-eb76-14c2-a3241cda4d56%40iohk.io > <https://groups.google.com/d/msgid/ats-lang-users/1417706a-1d38-eb76-14c2-a3241cda4d56%40iohk.io?utm_medium=email&utm_source=footer> > . > -- 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/CAPPSPLqeBsx9C-FrCGCFpkWq_ghbN%2BFPk7wSqaSDQ7syYha9MA%40mail.gmail.com.
