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 [email protected]. To post to this group, send email to [email protected]. 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.
