That would probably give much better code reloading :) On 10/21/18 9:19 PM, Hongwei Xi wrote: > 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 > <mailto: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 >> <mailto:ats-lang-users+unsubscr...@googlegroups.com>. >> To post to this group, send email to >> ats-lang-users@googlegroups.com >> <mailto: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 > <mailto:ats-lang-users+unsubscr...@googlegroups.com>. > To post to this group, send email to > ats-lang-users@googlegroups.com > <mailto: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 > <mailto:ats-lang-users+unsubscr...@googlegroups.com>. > To post to this group, send email to ats-lang-users@googlegroups.com > <mailto: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 > <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqeBsx9C-FrCGCFpkWq_ghbN%2BFPk7wSqaSDQ7syYha9MA%40mail.gmail.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/05bdf4fc-0ba5-4361-28cc-09dc63810323%40iohk.io.
signature.asc
Description: OpenPGP digital signature
