Tech Talk: Total Swift Programming
CoRecursive: Coding Stories
00:00
Using Dependent Types to Deal With State Transitions
If everybody all of a sudden had knowledge. of all this information, whatwold saw for development? Lk, we'd be very slow. We have lots of cases where you use technology and it has some unexpected behaviour. And right now we don't really have ways of dealing with with state transitions. W we we can write pure functions for exambli haskall and deal with state but we cannot prove that all our state transitions are correct or mixed sense. Ye, i hope we get there. Like i think the, i think the dependent types willwill start appearing in places, at least that's my hope. Ten, it'll let us ind incode these concepts and
Transcript
Play full episode
