>>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 <vanessa.mch...@iohk.io> 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&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/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&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/CAPPSPLrjCMrM3ozfDnQsm3hOWFBRhHuNgLmOauwg7KvCuncccA%40mail.gmail.com.
