Re: A demo of memorizing functions in ATS

2016-07-10 Thread Steinway Wu
Thanks, I forgot to save it after debug. Now it works. On Sunday, July 10, 2016 at 9:38:49 PM UTC-4, gmhwxi wrote: > > Please change > > memo1 > > to > > memo1 > > Also, please delete the line "staload .../gorder_int.dats" > > On Sunday, July 10, 2016 at 9:15:10 PM UTC-4, Steinway Wu wrote: >> >>

Re: A demo of memorizing functions in ATS

2016-07-10 Thread gmhwxi
Please change memo1 to memo1 Also, please delete the line "staload .../gorder_int.dats" On Sunday, July 10, 2016 at 9:15:10 PM UTC-4, Steinway Wu wrote: > > Hi, > > In a practice, I encountered a problem of memorizing functions. Given a > function `f`, a memorized version of `f`, called `mem

A demo of memorizing functions in ATS

2016-07-10 Thread Steinway Wu
Hi, In a practice, I encountered a problem of memorizing functions. Given a function `f`, a memorized version of `f`, called `memo f` should cache the results of `f` applying on some `input`. I tried a demo here https://glot.io/snippets/egflakau5h, which shows a generic implementation of the

Fwd: Real-time OS system state captured by ATS language (and questions)

2016-07-10 Thread Hongwei Xi
Great! Posted as a news piece at http://www.ats-lang.org/Community.html -- Forwarded message -- From: Kiwamu Okabe Date: Fri, Jul 8, 2016 at 10:38 AM Subject: Re: Real-time OS system state captured by ATS language (and questions) To: ats-lang-users Hi all, On Sun, Jun 12, 201