Preguntas etiquetadas con language-design

10
Tipos como ciudadano de primera clase

Viniendo de un entorno de C ++, no entiendo por qué uno necesita tipos / expresiones de tipo como ciudadano de primera clase. El único idioma que sé que admite esta función es Aldor. ¿Alguien tiene alguna literatura sobre tipos como ciudadano de primera clase o sabe algunas razones por las que es...