Re:If You're Not Writing a Program, Don't Use a Programming ...
by cttet on Tuesday September 25, 2018 @01:56AM
(#18063934)
You can do both.. But it is hard.. https://www.youtube.com/watch?v=zt0OQb1DBko
[ Parent
| on HN ]
Re:If You're Not Writing a Program, Don't Use a Programming ...
by rixarn on Tuesday September 25, 2018 @08:24AM
(#18065692)
Interesting! Thanks for sharing :) ATS seems to be a little bit far from Lamport because you do have data types and other stuff, but yeah.. maybe this is as close as you can get.