Dijkstra discute cómo la programación requiere pensamiento preciso, similar a la idea de Bird sobre usar tipos para razonar sobre el diseño de programas.
Pensando con tipos: Una investigación sobre cómo los programadores experimentados razonan y diseñan
por Richard S. Bird · 1998
Ver sugerenciasSinopsis
Bird explora cómo el sistema de tipos de un lenguaje de programación puede ser usado no solo para evitar errores sino como una herramienta fundamental para razonar sobre el diseño y la corrección de los programas.
Sé el primero en valorar este libro.
Más de Richard S. Bird
Ver autor →Otras obras del mismo autor en el catálogo
Estrategia universal de programas
1988
La ciencia de la programación funcional
1990
Principios de Programación Funcional
1998
Decentralization and Fiscal Reform in Developing Countries
The Political Economy of Taxation in Developing Countries
Reforming Public Financial Management
Public Financial Management in East Asia
Managing Public Expenditure: A Reference Book for Transition Countries
Financing the Development Agenda: The Role of Taxation
Tax Policy in Developing Countries
Capacity Building and Public Financial Management Reform
Taxation: A Very Short Introduction
The Global Challenge of Tax Reform
Rethinking Public Finance: The Role of the State in the Economy
Taxation and Development: The Weakest Link
Libros similares
Libros relacionados según distintos criterios de búsqueda
Gries presenta la programación con un enfoque matemático, alineándose con la investigación de Bird sobre rigor y lógica en el desarrollo de software.
Dijkstra aborda la programación como una actividad matemática, resonando con la perspectiva de Bird sobre la lógica y la corrección en los programas.
En este libro, Dijkstra defiende la claridad en la programación, eco de la percepción de Bird sobre la disciplina en el uso de tipos.
Pierce explora sistemas de tipos en profundidad, conectándose con el interés de Bird en cómo estos pueden guiar el razonamiento en programación.
Pierce introduce conceptos de semántica e inferencia de tipos, complementando la visión de Bird sobre el sistema de tipos como herramienta de diseño y corrección.