TypeScript and the Future of Functional Programming

Zio Direct was one of the first places where I saw, okay, let's have the mathematical based the things that we can prove work and are lawful and are reliable. And then let's create the abstraction so that all of this is approachable to and familiar to most developers. The rock language was trying to do that. And I think rust does that a lot. They never mentioned monads, but they're clearly, I can see them being used. But in a different and more accessible way. Yeah. There are answers there in those languages.