Son programas que tienen un entorno programable. Facilitan a los usuarios unos elementos simples con los cuales pueden construir elementos más complejos o entornos. De esta manera potencian el aprendizaje heurístico y, de acuerdo con las teorías cognitivistas, facilitan a los alumnos la construcción de sus propios aprendizajes, que surgirán a través de la reflexión que realizarán al diseñar programas y comprobar inmediatamente, cuando los ejecuten, la relevancia de sus ideas.
El proceso de creación que realiza el alumno genera preguntas del tipo: ¿Qué sucede si añado o elimino el elemento X?
Se pueden distinguir dos tipos de constructores:
- Constructores Específicos. Ponen a disposición de los estudiantes una serie de mecanismos de actuación (generalmente en forma de órdenes específicas) que les permiten llevar a cabo operaciones de un cierto grado de complejidad mediante la construcción de determinados entornos, modelos o estructuras, y de esta manera avanzan en el conocimiento de una disciplina o entorno específico.
- Lenguajes de Programación, como LOGO, PASCAL, BASIC..., que ofrecen unos "laboratorios simbólicos" en los que se pueden construir un número ilimitado de entornos. Aquí los alumnos se convierten en profesores del ordenador. Además, con los interfaces convenientes, pueden controlar pequeños robots construidos con componentes convencionales (arquitecturas, motores...), de manera que sus posibilidades educativas se ven ampliadas incluso en campos pre-tecnológicos. Así los alumnos pasan de un manejo abstracto de los conocimientos con el ordenador a una manipulación concreta y práctica en un entorno informatizado que facilita la representación y comprensión del espacio y la previsión de los movimientos.