I also did miranda (was my first programming language). My understanding at the time was that it was only intended for research, and as it was pure, there was

I also did miranda (was my first programming language). My understanding at the time was that it was only intended for research, and as it was pure, there was no way (at the time ) to do real IO - your program was essentially f(user input as string) = output as a string, and not practical enough. Since that time they worked out how to use Monads in haskell for a nicer IO experience. Interesting.