Effective ATS: linear streams for memory-clean programs

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

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

martinOn Tue, Jul 12, 2016 at 7:19 AM, gmhwxi gmh...@gmail.com 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-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
https://groups.google.com/d/msgid/ats-lang-users/22b5d276-904e-4132-b028-4f7ebdb811df%40googlegroups.com?utm_medium=email&utm_source=footer
.

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-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
https://groups.google.com/d/msgid/ats-lang-users/22b5d276-904e-4132-b028-4f7ebdb811df%40googlegroups.com?utm_medium=email&utm_source=footer
.

Very cool!