Thanks for the feedback! Do you mean that you now advocate stream_vt over list_vt or array_vt whenever possible?
On Monday, October 2, 2017 at 3:47:58 PM UTC-5, gmhwxi wrote: > > Hanwen and I watched it together. > > It was a great talk! And very accurate, too. > > What you presented is what I now call "classic ATS". > Very complicated stuff :) > > But what is really complicated is the way code is written in C. > Find a C programmer and ask him/her to explain how his/her > code works. You will be amazed by the gap between the explanation > and the actual code. > > This huge gap needs to be reduced drastically. > > Often I get the feeling that I was talking to the wrong audience when > talking to the current systems programmers. In my current mind, the > future systems programmers should do a lot of high-level functional > programing based on combinators and linear data structures. Stream_vt > is the way to go. > > Cheers! > > On Monday, October 2, 2017 at 4:27:44 PM UTC-4, Steinway Wu wrote: >> >> Hi Aditya, >> >> Great talk! You did a great job presenting a difficult system in an >> easy-to-understand way :) >> >> Just wanna point out a detail. Proofs are dynamic terms (of sort "prop"). >> So they are not really "type-level". But I guess it is ok to say >> "type-level" in the talk since they will be erased after proof-checking and >> you didn't really go into the details about the proof language. >> >> Again, thank you very much for the presentation! >> >> On Monday, October 2, 2017 at 11:18:38 AM UTC-4, aditya siram wrote: >>> >>> No problem. ATS is a great language! Feedback welcome. >>> >>> On Monday, October 2, 2017 at 8:42:57 AM UTC-5, gmhwxi wrote: >>>> >>>> >>>> This is really good publicity for ATS :) >>>> >>>> Thanks!!! >>>> >>>> On Monday, October 2, 2017 at 3:02:03 AM UTC-4, Artyom Shalkhakov wrote: >>>>> >>>>> Seen on reddit: >>>>> >>>>> >>>>> https://www.reddit.com/r/programming/comments/73lhj0/a_not_so_gentle_introduction_to_systems/ >>>>> >>>>> Also see the discussion on r/rust: >>>>> >>>>> >>>>> https://www.reddit.com/r/rust/comments/73j4p5/a_not_so_gentle_introduction_to_systems/ >>>>> >>>>> Cheers! >>>>> >>>> -- 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+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@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/92ecabb3-f119-4c10-b625-c09905575747%40googlegroups.com.
