Steve
07/08/2020, 6:08 PMautomatically finding a program ...that satisfies the user intent expressed in the form of some specification. Since the inception of AI in the 1950s,
this problem has been considered the holy grail of Computer Science.
❓ Questions/comments/feedback is all very welcome. Feel free to comment in thread or DM me.Garth Goldwater
07/08/2020, 6:39 PMRobert Butler
07/08/2020, 7:33 PMCocoaGeek
07/08/2020, 8:16 PMEdward de Jong / Beads Project
07/08/2020, 8:25 PMSteve
07/08/2020, 8:27 PMChris Knott
07/09/2020, 11:38 AMSteve
07/09/2020, 1:36 PMwhen Alexa hears "Is {name} online?"
Slack lookup user by name
if user is online
reply with "Yes"
else
reply wit "No"
Note that I adding string laterals here to demonstrate that we can, at any point. It’s only a css decoration.
Note there are no variables; we keep things in scope and the user can reference traits of things in scope without directly linking them. This may sound odd; it’s a novel approach — during the dialog-driven interaction the user will confirm trait relationships therefore not requiring: user = … user.is_active
Garth Goldwater
07/09/2020, 2:46 PMNote there are no variables; we keep things in scope and the user can reference traits of things in scope without directly linking them. This may sound odd; it’s a novel approach — during the dialog-driven interaction the user will confirm trait relationships therefore not requiring:user = … user.is_active
i’ve said this before and i’ll say it again: this is the coolest part about storyscript to me: an enormous part of the cognitive load of programming is tracing dependencies back up the chain via identifiers. how much of the “compiler in your head” is devoted to a vtable lookup?
x''''
over the course of your program
which is why pipelining and currying/point-free feels so nice.
but what if that’s just sublimating the change-over-time issue?Steve
07/09/2020, 3:04 PMChris Knott
07/09/2020, 4:48 PMSteve
07/09/2020, 4:48 PM