Napier88 es un lenguaje de programación ortogonalmente persistente que fue diseñado e implementado en la Universidad de St Andrews , Escocia . El diseñador principal fue Ron Morrison , cuyos diseños iniciales fueron ampliados e implementados por Fred Brown, Richard Connor y Al Dearle. Napier88 se adelantó a su tiempo en muchos aspectos y fue el primer lenguaje implementado de manera robusta que combinó un sistema de tipos polimórficos con persistencia ortogonal.. El lenguaje se implementó de manera sólida y se lanzó a los usuarios tanto de la industria como del mundo académico; a su debido tiempo, se registraron hasta 1.000 usuarios registrados. Sin embargo, el lenguaje solo tenía la intención de proporcionar una prueba de concepto para un experimento de programación persistente; algún tiempo después de 1989 (el año en que se lanzó la primera implementación) los intereses del grupo avanzaron y el lenguaje ya no se mantuvo.
Sin embargo, su influencia perdura en varios otros sistemas; el tipo CORBAANY es claramente reconocible en el tipo de Napier88 ANY; Common Language Runtime (CLR) de Microsoft usa una arquitectura polimórfica similar, y los tipos paramétricos de Java resuelven algunos de los mismos problemas de tipos no autenticados que escapan de su alcance estático.
Napier88 fue el tercero de una familia de lenguajes diseñados e implementados por Morrison en St Andrews, siguiendo a S-algol y PS-algol .