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.
--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@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.
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.
--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@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.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/1417706a-1d38-eb76-14c2-a3241cda4d56%40iohk.io.
I'm not sure how well that would work. Are there any other heavily-ML-style languages with a REPL?
That would probably give much better code reloading :)
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqeBsx9C-FrCGCFpkWq_ghbN%2BFPk7wSqaSDQ7syYha9MA%40mail.gmail.com.
On Mon, Oct 22, 2018 at 3:19 PM Hongwei Xi <gmh...@gmail.com> 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/
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.
--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@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.
--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@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.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/b6948d8a-3c3d-6119-03fa-a2e564b333a0%40iohk.io.