This content was created by GHION.AI . This content was uploaded by GHION.AI . This is a YouTube video titled "Thinking Without Thinking" featuring a monologue by Barbara Liskov, recorded on October 23, 2019. She discusses her research process, the power of the subconscious, and her insights into modularity and abstract data types, which she developed in the early 1970s.
Chapters
And the way I have always done my research is to focus very hard during the day. And then I stop working. I go home in the evening and I don't work. But the thought I was doing during the day, it's in my subconscious. And so I'm still thinking about things, even if I'm not thinking about them. And a common situation for me would be that when I'm driving into work in the morning and I'm kind of thinking about, what am I going to do today? All of a sudden I see a solution to a problem I hadn't been able to solve the night before, the day before. The power of the subconscious and also making sure you're not too tired is very effective way of doing your work. I'm thinking about this question about how to do modularity. All of a sudden I had this insight. I thought of data abstraction before. I had talked about these modules with multiple operations, but they were disconnected from any notion that might make sense for design. And when I saw that this could be connected to the notion of an abstract data type, that made a huge difference, because people already understood about procedures as a way of breaking things into modules. Those are abstract things, like a sort routine, which is sort of independent of how you implement it, but it's an abstract idea. Same idea here. I could have a set, I could have a stack, I could have a tree, whatever it is, I could think about that as an abstract concept. I could invent it during design, and then later I could figure out how to implement it. So it gave me a way not only to break things up into much bigger, more effective modules than what we had before, but it also connected to a design process where I could think about things abstractly and then focus on how to implement them as a second step. So that was this wonderful idea I had in 1972, sometime or 1973, which was the invention of the abstract data type.