Re: repl?

2018-10-22 Thread Hongwei Xi
>>> On Mon, Oct 22, 2018 at 3: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: >>> >>

Re: repl?

2018-10-22 Thread Hongwei Xi
9 AM UTC-4, Chris Double wrote: >>> >>> On Mon, Oct 22, 2018 at 3: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 >&

Re: repl?

2018-10-22 Thread Chris Double
On Tue, Oct 23, 2018 at 10:05 AM Brandon Barker wrote: > Though I imagine for more "complicated" scripts typechecking/constraint > solving may become the predominant portion of time spent among compiling and > running code (at least in some cases). Though in this case, it probably is > less

Re: repl?

2018-10-22 Thread Vanessa McHale
AM UTC-4, Chris Double wrote: > > On Mon, Oct 22, 2018 at 3: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 a

Re: repl?

2018-10-22 Thread Raoul Duke
so just to be a pedantic defender of real UX, please everybody note that (at least according to me) scripting != repl, and repl does not guarantee good ux. an actually useful, helpful, repl bestows new super powers on those who can get their hands on such magical, enchanted, tools. it likely

Re: repl?

2018-10-22 Thread Brandon Barker
M UTC-4, Chris Double wrote: >> >> On Mon, Oct 22, 2018 at 3: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: &g

Re: repl?

2018-10-22 Thread gmhwxi
scripting and beyond. On Monday, October 22, 2018 at 3:34:29 AM UTC-4, Chris Double wrote: > > On Mon, Oct 22, 2018 at 3: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

Re: repl?

2018-10-22 Thread Julian Fondren
On Monday, October 22, 2018 at 2:34:29 AM UTC-5, Chris Double wrote: > > On Mon, Oct 22, 2018 at 3: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 ac

Re: repl?

2018-10-22 Thread Chris Double
On Mon, Oct 22, 2018 at 3: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: Can TCC compile ATS code? https://bellard.org/tcc/ It can be used as a dynamic code generato

Re: repl?

2018-10-21 Thread Hongwei Xi
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 wrote

Re: repl?

2018-10-21 Thread Vanessa McHale
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 λ:&g

Re: repl?

2018-10-21 Thread Raoul Duke
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. T

Re: repl?

2018-10-21 Thread gmhwxi
Yes, I have a plan to implement an REPL for ATS3. I expect it to be used primarily for the purpose of learning and debugging. I actually use ATS as a scripting language regularly. Here is an example I put up a while ago: https://github.com/ats-lang/ATS-CodeBook/tree/master/RECIPE/CSV-parsing I

Re: repl?

2018-10-21 Thread Vanessa McHale
I'm not sure how well that would work. Are there any other heavily-ML-style languages with a REPL? I know Haskell has one but its syntax lends itself to such things. Having a JIT would be wonderful (especially if ATS3 is to be a compilation target) but it's outside of my area of expertise. On 10

Re: repl

2016-10-10 Thread Kiwamu Okabe
then get a real language that compiles to c/++ > on top of it, to somehow get a repl? > then since it is c/++ it is portable to android, and then also > becomes faster for releases because then it gets compiled. I think it's a good idea. Best regards, -- Kiwamu Okabe at METASEPI

repl

2016-10-10 Thread Raoul Duke
ok, theres stuff like cern/roots cling c++ interpreter. put that on e.g. ios, then get a real language that compiles to c/++ on top of it, to somehow get a repl? then since it is c/++ it is portable to android, and then also becomes faster for releases because then it gets compiled. -- You