BCPL's predecessor, CPL, had even more features: things like type inference, closures, polymorphism. It was never completely implemented. The machines at the ti

BCPL's predecessor, CPL, had even more features: things like type inference, closures, polymorphism. It was never completely implemented. The machines at the time were too small - 4kwords being a typical size. It would probably be fairly easy nowadays.