Deech's talk and slides from StrangeLoop 2017
80 views
Skip to first unread message
Artyom Shalkhakov
Oct 2, 2017, 3:02:03 AM10/2/17
to ats-lang-users
Seen on reddit:
Also see the discussion on r/rust:
Cheers!
gmhwxi
Oct 2, 2017, 9:42:57 AM10/2/17
to ats-lang-users
This is really good publicity for ATS :)
Thanks!!!
aditya siram
Oct 2, 2017, 11:18:38 AM10/2/17
to ats-lang-users
No problem. ATS is a great language! Feedback welcome.
Steinway Wu
Oct 2, 2017, 4:27:44 PM10/2/17
to ats-lan...@googlegroups.com
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!
gmhwxi
Oct 2, 2017, 4:47:58 PM10/2/17
to ats-lang-users
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!
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!
aditya siram
Oct 2, 2017, 5:24:17 PM10/2/17
to ats-lang-users
Thanks for the feedback! Do you mean that you now advocate stream_vt over list_vt or array_vt whenever possible?
gmhwxi
Oct 2, 2017, 7:20:29 PM10/2/17
to ats-lang-users
Not stream_vt over list_vt or array_vt.
Stream_vt (linear) is very different from stream (non-linear).
Stream_vt presents an illusion of (possibly infinite) sequence of data
but you can get only one data item at any given time.
So we can talk about a linear stream of states; each state is linear and it
is used to build the next state. What is a loop? A loop is a linear stream of
states.
A lot of imperative programming can be done by composing linear streams
with combinators.
Steinway Wu
Oct 2, 2017, 9:10:28 PM10/2/17
to ats-lang-users
Hi Aditya,
Your talk is also featured on The Verge! Congratulations!
On Monday, October 2, 2017 at 3:02:03 AM UTC-4, Artyom Shalkhakov wrote:
Reply all
Reply to author
Forward
0 new messages