Effective ATS: linear streams for memory-clean programs

[gmhwxi]

I wrote a new article on using linear streams to construct memory-clean
programs, where being memory-clean means that a program must free every
byte allocated during its execution before it terminates. Here is the link:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/linear-streams/

I have always hoped that this style of functional programming can be applied
at a very low-level (e.g., for writing device drivers).

Cheers!

--Hongwei

[Raoul Duke]

Very cool!

 

 

 

 

[Martin DeMello]

is there a mirror somewhere? http://ats-lang.sourceforge.net is down

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 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/22b5d276-904e-4132-b028-4f7ebdb811df%40googlegroups.com.

[gmhwxi]

Here is a backup site:

http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/

On Tuesday, July 12, 2016 at 7:31:27 PM UTC-4, Martin DeMello wrote:

is there a mirror somewhere? http://ats-lang.sourceforge.net is down

martin

On Tue, Jul 12, 2016 at 7:19 AM, gmhwxi <> wrote:

I wrote a new article on using linear streams to construct memory-clean
programs, where being memory-clean means that a program must free every
byte allocated during its execution before it terminates. Here is the link:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/linear-streams/

I have always hoped that this style of functional programming can be applied
at a very low-level (e.g., for writing device drivers).

Cheers!

--Hongwei

--
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+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.