¿Cómo es investigar en teoría del lenguaje de programación?

Al principio de mi carrera, fui uno de varios desarrolladores que implementaron lenguajes de consulta de bases de datos para el primer producto RDBMS desarrollado en IBM que finalmente se convirtió en SQL. Trabajé con Ted Codd y Chris. Fecha para desarrollar lo que eventualmente se convertiría en DB2 siete años después. Fue emocionante y frustrante. Hubo un momento en que la implementación se consideró la investigación. Esto cambia a medida que la teoría en oposición a la implementación se convirtió en el punto focal.

La razón por la que SQL se pronuncia Sequel (un nombre con derechos de autor de otra compañía) es porque SQL se deriva de Square. La teoría de bases de datos relacionales es una teoría de conjuntos aplicada a sistemas de archivos planos y de red que luego se convirtieron en bases de datos. La mayor parte de lo que se enseña en los cursos de pregrado solo existe debido a la investigación realizada en ese momento. Vi el desarrollo de sistemas operativos, bases de datos de construcción de compiladores, interfaces humanas, redes, bases de datos orientadas a objetos y programación, ingeniero de software, etc.
,
Cuando dejé mi trabajo en IBM para trabajar en mi doctorado, fue siete años después que trabajé en Oracle RDBMS. La mayor parte de lo que se enseña en los cursos de pregrado fue alguna vez investigación.

Consulte Historia de la construcción del compilador, IBM DB2 y SQL para más detalles.

Como nota al margen, también trabajé con John Backus principalmente porque salí con su hija.