Support for external ATS code in Pure

29 views
Skip to first unread message

gmhwxi

unread,
Oct 23, 2014, 12:47:44 PM10/23/14
to ats-lan...@googlegroups.com
Pure-0.63 was released yesterday:

https://groups.google.com/forum/?fromgroups#!topic/pure-lang/grNVDlp49rY

There is now support in Pure for direct use of ATS external code. Here is an example:

https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAMPLE/Pure/fact_dats.pure

I essentially modified a similar one by Barry Schwartz.

Cheers!


Martin DeMello

unread,
Oct 23, 2014, 4:05:31 PM10/23/14
to ats-lan...@googlegroups.com
Is the idea that the main code is written in pure, calling into functions written in ATS? And what sort of data structures can be passed or shared between the two?

martin

--
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/846dda2f-f6be-4271-a984-7cda01304468%40googlegroups.com.

gmhwxi

unread,
Oct 23, 2014, 4:17:33 PM10/23/14
to ats-lan...@googlegroups.com

I started to learn a bit Pure yesterday.
So I have only had very little exposure to Pure so far.

For now, I see that Pure can be used to write scripts for testing ATS code.


>>And what sort of data structures can be passed or shared between the two?

This is what I am trying to find out :)

Martin DeMello

unread,
Oct 23, 2014, 4:20:44 PM10/23/14
to ats-lan...@googlegroups.com
It does look very interesting :)

martin

Barry Schwartz

unread,
Oct 23, 2014, 4:49:08 PM10/23/14
to ats-lan...@googlegroups.com
Martin DeMello <martin...@gmail.com> skribis:
> Is the idea that the main code is written in pure, calling into functions
> written in ATS? And what sort of data structures can be passed or shared
> between the two?

Pure is good at dealing with one-dimensional and two-dimensional
arrays of C or Fortran numbers.

Also it has linked lists.

So my idea on behalf of the Pure community was to write an example of
ATS to do a safer (within the ATS parts) sort for Pure lists, and some
numeric algorithm working on matrices (such as gaussian elimination).

However, being both physically disabled and prone to compulsive
diversions from the task at hand (think Mister Monk), I never make
firm promises.
Reply all
Reply to author
Forward
0 new messages