There is a small part of a project <https://github.com/OlivierBlanvillain/monadic-html> I'd like to convert to ATS where linear types could be helpful in tracking cancellation of running tasks (and other things I'm probably forgetting just now, but are on the issue tracker). The part <https://github.com/OlivierBlanvillain/monadic-html/blob/master/monadic-rx/shared/src/main/scala/mhtml/rx.scala> I'm interested in tackling here implements referentially transparent methods on reactive variables. I'm sure I can find a way to do this without traits (mixins) but want to maintain as direct a port as possible. I have a feeling the answer may involve templates.
The other part of the project would be cool too, but it kind of depends on xml literals being a thing (or later, XML interpolation): using scala.js to write web pages that depend on these reactive variables. It is quite a fun little framework. -- 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/8abcaf93-0df1-4cc8-8179-b36393ead8b4%40googlegroups.com.
