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.
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.

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to