Descripción
Aproveche las construcciones de lenguajes modernos para escribir código de alta calidad más rápido Las características de lenguajes de programación funcionales y concurrentes compatibles con los lenguajes modernos pueden ser un desafío, incluso para desarrolladores experimentados. Estas características pueden parecer intimidantes para los programadores orientados a objetos (OOP) debido a una falta de comprensión de cómo funcionan. Los programadores primero necesitan familiarizarse con los conceptos abstractos que subyacen a estas potentes características.
En Programación Funcional y Concurrente, Michel Charpentier presenta un conjunto central de construcciones de lenguaje de programación que le ayudarán a ser productivo en una variedad de lenguajes de programación, ahora y en el futuro. Charpentier ilustra conceptos clave con numerosos ejemplos de código pequeños y enfocados, escritos en Scala, y con estudios de caso que proporcionan una base sólida en habilidades de programación funcional y concurrente. Estas habilidades se transmitirán de un lenguaje a otro, incluidas las encarnaciones más recientes de Java. El uso de estas características permitirá a los desarrolladores y programadores escribir código de alta calidad que sea más fácil de entender, depurar, optimizar y evolucionar. Los temas clave cubiertos incluyen:- Recursión y recursión de cola
- Coincidencia de patrones y tipos de datos algebraicos
- Estructuras persistentes e inmutabilidad
- Funciones de orden superior y expresiones lambda
- Evaluación perezosa y flujos
- Hilos y grupos de hilos
- Atomicidad y bloqueo
- Sincronización y objetos seguros para hilos
- Patrones sin bloqueo ni bloqueos
- Futuros, promesas y programación funcional-concurrente
Como beneficio adicional, el libro incluye una discusión sobre las estrategias de tipificación comunes utilizadas en los lenguajes de programación modernos, incluyendo inferencia de tipos, subtipos, polimorfismo, clases de tipos, límites de tipos y varianza de tipos.
Autor: Michel Charpentier
Editorial: Addison-Wesley Professional
Publicado: 28/11/2022
Páginas: 528
Tipo de encuadernación: Tapa blanda
Peso: 1.62 libras
Tamaño: 9.14h x 7.06w x 0.74d
ISBN13: 9780137466542
ISBN10: 0137466544
Categorías BISAC:
- Informática | Programación | Paralela
- Informática | Lenguajes | Java
Sobre el Autor
Michel Charpentier es profesor asociado en el departamento de Ciencias de la Computación de la Universidad de New Hampshire (UNH). Sus intereses a lo largo de los años han abarcado desde sistemas distribuidos hasta verificación formal y redes de sensores móviles. Ha estado en la UNH desde 1999 y actualmente imparte cursos de lenguajes de programación, concurrencia, verificación formal y modelado y verificación.