Re: repl?
>>perhaps caching constraint solving and the like would be a good idea? Definitely. Right now, patsopt typechecks the prelude files every time when it is called. On Mon, Oct 22, 2018 at 6:42 PM Vanessa McHale wrote: > This is an aside, but perhaps caching constraint solving and the like > would be a good idea? I know Agda will not re-typecheck a module dependency > unless it is touched. > On 10/22/18 4:05 PM, Brandon Barker wrote: > > Seems to be on of the big arguments for using Go. Of course ATS will > (rightly) never match the simplicity criteria that they strive for. > > 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 likely to qualify as a script ;-). > > > On Monday, October 22, 2018 at 1:51:20 PM UTC-4, gmhwxi wrote: >> >> >> Yes. Please use v0.9.26. TCC v0.9.25 is buggy and should be >> avoided. >> >> I like TCC a lot. It is a pity that it does not get maintained these days. >> >> With TCC, I often use ATS for scripting. Once adequate lib support is >> put into place, I feel that ATS can work very well for the need of shell >> 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 to be under active >>> development: >>> >>> Can TCC compile ATS code? https://bellard.org/tcc/ >>> >>> It can be used as a dynamic code generator as well which would suit a >>> REPL: >>> >>> https://bellard.org/tcc/tcc-doc.html#Libtcc >>> https://github.com/TinyCC/tinycc/blob/mob/libtcc.h >>> https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c >>> >>> -- >>> http://bluishcoder.co.nz >>> >> -- > 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/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com?utm_medium=email_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/b6948d8a-3c3d-6119-03fa-a2e564b333a0%40iohk.io > <https://groups.google.com/d/msgid/ats-lang-users/b6948d8a-3c3d-6119-03fa-a2e564b333a0%40iohk.io?utm_medium=email_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/CAPPSPLrjCMrM3ozfDnQsm3hOWFBRhHuNgLmOauwg7KvCuncccA%40mail.gmail.com.
Re: repl?
>>Of course ATS will (rightly) never match the simplicity criteria that they strive for. I won't give up so quickly :) Go is a fine language. But Go lacks what I call "high mechanism" that can greatly increase one's programming productivity. With enhanced type inference and embeddable templates, I feel that ATS3 has a very good chance to be competitive when compared with Go (and others) regarding those simplicity criteria. On Mon, Oct 22, 2018 at 5:05 PM Brandon Barker wrote: > Seems to be on of the big arguments for using Go. Of course ATS will > (rightly) never match the simplicity criteria that they strive for. > > 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 likely to qualify as a script ;-). > > > On Monday, October 22, 2018 at 1:51:20 PM UTC-4, gmhwxi wrote: >> >> >> Yes. Please use v0.9.26. TCC v0.9.25 is buggy and should be >> avoided. >> >> I like TCC a lot. It is a pity that it does not get maintained these days. >> >> With TCC, I often use ATS for scripting. Once adequate lib support is >> put into place, I feel that ATS can work very well for the need of shell >> 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 to be under active >>> development: >>> >>> Can TCC compile ATS code? https://bellard.org/tcc/ >>> >>> It can be used as a dynamic code generator as well which would suit a >>> REPL: >>> >>> https://bellard.org/tcc/tcc-doc.html#Libtcc >>> https://github.com/TinyCC/tinycc/blob/mob/libtcc.h >>> https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c >>> >>> -- >>> http://bluishcoder.co.nz >>> >> -- > 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/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com?utm_medium=email_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/CAPPSPLrN4jVhJQegBD1M-%2Bww6MDAUjVjV_cVYNHN4u1swr1SgA%40mail.gmail.com.
Re: repl?
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 likely to qualify as a script ;-). >From a thread that Julian linked to, it looks like constraint checking can be turned off for scripts: -8<-- In case one wants to use ATS as a scripting language, please include the following comment in the file containing scripting code written in ATS: (* ##myatsccdef=\ patsopt --constraint-ignore --dynamic $1 | \ tcc -run -DATS_MEMALLOC_LIBC -I${PATSHOME} -I${PATSHOME}/ccomp/runtime - $arglst(2) *) -8<-- I'd imagine leaving it on when writing it, but deploying it with turned off for speed. -- http://bluishcoder.co.nz -- 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/CALn1vHEaiDFfnSeNELSLWxamXqsTzBTJ0Cx4YEKtuPNaoANOCA%40mail.gmail.com.
Re: repl?
This is an aside, but perhaps caching constraint solving and the like would be a good idea? I know Agda will not re-typecheck a module dependency unless it is touched. On 10/22/18 4:05 PM, Brandon Barker wrote: > Seems to be on of the big arguments for using Go. Of course ATS will > (rightly) never match the simplicity criteria that they strive for. > > 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 likely to qualify as a script > ;-). > > > On Monday, October 22, 2018 at 1:51:20 PM UTC-4, gmhwxi wrote: > > > Yes. Please use v0.9.26. TCC v0.9.25 is buggy and should be > avoided. > > I like TCC a lot. It is a pity that it does not get maintained > these days. > > With TCC, I often use ATS for scripting. Once adequate lib support is > put into place, I feel that ATS can work very well for the need of > shell 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 to be under active > development: > > Can TCC compile ATS code? https://bellard.org/tcc/ > > It can be used as a dynamic code generator as well which would > suit a REPL: > > https://bellard.org/tcc/tcc-doc.html#Libtcc > <https://bellard.org/tcc/tcc-doc.html#Libtcc> > https://github.com/TinyCC/tinycc/blob/mob/libtcc.h > <https://github.com/TinyCC/tinycc/blob/mob/libtcc.h> > https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c > <https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c> > > -- > http://bluishcoder.co.nz > > -- > 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/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com?utm_medium=email_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/b6948d8a-3c3d-6119-03fa-a2e564b333a0%40iohk.io. signature.asc Description: OpenPGP digital signature
Re: repl?
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 requires ground-up work not top-down hacks, shoe-horning. thus i am never hopeful any language will get a really good repl unless it grew up with it all along. so at the moment i am guessing that at least for ATS < 3 there's not really a super repl to be had; however there are existence proofs of being able to use it "in the small", even if there's not any turn-key out-of-the-box (docker?) hard proofs i can get using with 15 minutes of effort? -- 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/CAJ7XQb5n5CN0xJ7m1XXefANVXTX%3DdgsCDksSqQAvOS1QPH2OkQ%40mail.gmail.com.
Re: repl?
Seems to be on of the big arguments for using Go. Of course ATS will (rightly) never match the simplicity criteria that they strive for. 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 likely to qualify as a script ;-). On Monday, October 22, 2018 at 1:51:20 PM UTC-4, gmhwxi wrote: > > > Yes. Please use v0.9.26. TCC v0.9.25 is buggy and should be > avoided. > > I like TCC a lot. It is a pity that it does not get maintained these days. > > With TCC, I often use ATS for scripting. Once adequate lib support is > put into place, I feel that ATS can work very well for the need of shell > 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 to be under active development: >> >> Can TCC compile ATS code? https://bellard.org/tcc/ >> >> It can be used as a dynamic code generator as well which would suit a >> REPL: >> >> https://bellard.org/tcc/tcc-doc.html#Libtcc >> https://github.com/TinyCC/tinycc/blob/mob/libtcc.h >> https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c >> >> -- >> http://bluishcoder.co.nz >> > -- 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/c3f323b2-1d6c-4e25-978b-6367b87f2a34%40googlegroups.com.
Re: repl?
Yes. Please use v0.9.26. TCC v0.9.25 is buggy and should be avoided. I like TCC a lot. It is a pity that it does not get maintained these days. With TCC, I often use ATS for scripting. Once adequate lib support is put into place, I feel that ATS can work very well for the need of shell 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 to be under active development: > > Can TCC compile ATS code? https://bellard.org/tcc/ > > It can be used as a dynamic code generator as well which would suit a > REPL: > > https://bellard.org/tcc/tcc-doc.html#Libtcc > https://github.com/TinyCC/tinycc/blob/mob/libtcc.h > https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c > > -- > http://bluishcoder.co.nz > -- 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/41c87980-bf0e-4b75-8e6c-da12f14dd88f%40googlegroups.com.
Re: repl?
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 active development: > > Can TCC compile ATS code? https://bellard.org/tcc/ > Yes. There are some uses of it to create ATS scripts in https://groups.google.com/d/msg/ats-lang-users/mU4Lp4GkH18/zpzFjaR_AAAJ > It can be used as a dynamic code generator as well which would suit a > REPL: > > https://bellard.org/tcc/tcc-doc.html#Libtcc > https://github.com/TinyCC/tinycc/blob/mob/libtcc.h > https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c > > -- > http://bluishcoder.co.nz > -- 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/ee252ce2-759e-4831-8f71-38c9e3a8b0c8%40googlegroups.com.
Re: repl?
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 generator as well which would suit a REPL: https://bellard.org/tcc/tcc-doc.html#Libtcc https://github.com/TinyCC/tinycc/blob/mob/libtcc.h https://github.com/TinyCC/tinycc/blob/mob/tests/libtcc_test.c -- http://bluishcoder.co.nz -- 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/CALn1vHFyABa-o81UkXybx%3DjRwq%3DPdzRLSCCH%3DqCxRHGCiL-tag%40mail.gmail.com.
Re: repl?
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: > 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_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_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.
Re: repl?
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_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. signature.asc Description: OpenPGP digital signature
Re: repl?
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/CAJ7XQb5S_tetJciThwCXVG6Kk3G1K9nAMbd0GOSfDg1CdYBo%2BQ%40mail.gmail.com.
Re: repl?
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 certainly can see the value of REPL for beginners. But if one wants to give ATS a serious try, please go for types and templates. This is what the slogan for ATS says: Unleashing the Potentials of Types and Templates! :) On Sunday, October 21, 2018 at 2:51:53 PM UTC-4, Raoul Duke wrote: > > random aside, languages with really good repl / interpreter features are > extra attractive. > > if ATS3 had a goal of implementing a repl from the ground up that would be > extra exciting. > > (is the luajit trick something that has become an automagic out-of-the-box > exoerience? or any other approaches?) > -- 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/cffe66f1-9a2f-4a93-a31d-089575961884%40googlegroups.com.
Re: repl?
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/21/18 1:51 PM, Raoul Duke wrote: > random aside, languages with really good repl / interpreter features > are extra attractive. > > if ATS3 had a goal of implementing a repl from the ground up that > would be extra exciting. > > (is the luajit trick something that has become an automagic > out-of-the-box exoerience? or any other approaches?) > -- > 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/CAJ7XQb4JSH9ehKeLLD5vUP%2B2iOxRiDdhYkFMRrfKAyhFVxUoBg%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb4JSH9ehKeLLD5vUP%2B2iOxRiDdhYkFMRrfKAyhFVxUoBg%40mail.gmail.com?utm_medium=email_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/d7f1d928-97ed-a0fc-f195-511b0958e07b%40iohk.io. signature.asc Description: OpenPGP digital signature
Re: repl
Hi Raoul, On Tue, Oct 11, 2016 at 6:23 AM, Raoul Duke <rao...@gmail.com> wrote: > ok, theres stuff like cern/roots cling c++ interpreter. It's following? < cern/roots ROOT a Data analysis Framework https://root.cern.ch/ So cool like C++ mathematica! > 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. I think it's a good idea. Best regards, -- Kiwamu Okabe at METASEPI DESIGN -- 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/CAEvX6dmirt7Jh3ifT2S3R5VzbRWYBPF%3D3xZtj_PoO6X%2BBpvuiQ%40mail.gmail.com.
repl
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 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/CAJ7XQb5h_Gr%3DLFrPxvWMG6O%3DXh_EXr5qeDtoYpEu3WjEOW%2BZfA%40mail.gmail.com.