Episodio
Conferencias C9: Dr. Erik Meijer - Fundamentos de programación funcional Capítulo 13 de 13
Bueno, mis amigos, el día ha llegado. Durante trece semanas, se le han proporcionado todas las herramientas conceptuales para dar el salto al extremo profundo del grupo de programación funcional y flotar de forma segura. El gran Dr. Erik Meijer ha dado generosamente su tiempo de valor para enseñarnos los fundamentos como entregados por Graham Hutton en su libro Programación en Haskell. Por supuesto, Erik fusionó su propio conocimiento, perspectiva única y experiencia en el tejido educativo: así que tienes lo mejor de dos mundos. Esperamos que disfrutes de esta serie, la primera en un nuevo formato de contenido de Channel 9 (conferencias).
El equipo de Channel 9 y la nación Niner agradecen a nuestro querido amigo Erik por esta contribución estelar a Channel 9 y a la educación de programación, generalmente. Por supuesto, también agradecemos a Graham Hutton por escribir el libro (y para el capítulo 11 invitado que Erik es tan aficionado a y que proporcionó una base para estas conferencias, que, por cierto, se hicieron de manera verdadera channel 9: Se grabaron en single toma con Erik haciendo un trabajo brillante articulando, contextualizar, ampliar los aspectos básicos y ser, bueno, Erik, uno de nuestros genios favoritos, todo en tiempo real.
En el capítulo 13, Razonamiento ecuación (y también revela por qué Erik dice "uhm" y "sabes" con tanta frecuencia), el gran final, el Dr. Meijer profundiza en la transparencia referencial y ser capaz de reemplazar a los iguales por iguales en todos los contextos.
En cierto sentido, la pureza inherente a los lenguajes funcionales como Haskell facilita expresar e implementar el razonamiento ecuación. En Haskell, nuestro viejo amigo "=" significa "es igual a por definición". Pero lo que hace el razonamiento ecuación
¿quiere decir? Es evidente que la lógica proposición es demasiado débil para muchas aplicaciones y que la lógica ecuación es un primer paso hacia un sistema más eficaz*. ¿Es así? El Dr. Meijer, por favor explique.
Únase. ¡Disfrútelo!
Capítulo 1Capítulo 2Capítulo 3Capítulo 4 Capítulo 5Capítulo 6Capítulo 7Capítulo 8Capítulo 9 Capítulo 10Capítulo 11 Capítulo 12Capítulo 13
Bueno, mis amigos, el día ha llegado. Durante trece semanas, se le han proporcionado todas las herramientas conceptuales para dar el salto al extremo profundo del grupo de programación funcional y flotar de forma segura. El gran Dr. Erik Meijer ha dado generosamente su tiempo de valor para enseñarnos los fundamentos como entregados por Graham Hutton en su libro Programación en Haskell. Por supuesto, Erik fusionó su propio conocimiento, perspectiva única y experiencia en el tejido educativo: así que tienes lo mejor de dos mundos. Esperamos que disfrutes de esta serie, la primera en un nuevo formato de contenido de Channel 9 (conferencias).
El equipo de Channel 9 y la nación Niner agradecen a nuestro querido amigo Erik por esta contribución estelar a Channel 9 y a la educación de programación, generalmente. Por supuesto, también agradecemos a Graham Hutton por escribir el libro (y para el capítulo 11 invitado que Erik es tan aficionado a y que proporcionó una base para estas conferencias, que, por cierto, se hicieron de manera verdadera channel 9: Se grabaron en single toma con Erik haciendo un trabajo brillante articulando, contextualizar, ampliar los aspectos básicos y ser, bueno, Erik, uno de nuestros genios favoritos, todo en tiempo real.
En el capítulo 13, Razonamiento ecuación (y también revela por qué Erik dice "uhm" y "sabes" con tanta frecuencia), el gran final, el Dr. Meijer profundiza en la transparencia referencial y ser capaz de reemplazar a los iguales por iguales en todos los contextos.
En cierto sentido, la pureza inherente a los lenguajes funcionales como Haskell facilita expresar e implementar el razonamiento ecuación. En Haskell, nuestro viejo amigo "=" significa "es igual a por definición". Pero lo que hace el razonamiento ecuación
¿quiere decir? Es evidente que la lógica proposición es demasiado débil para muchas aplicaciones y que la lógica ecuación es un primer paso hacia un sistema más eficaz*. ¿Es así? El Dr. Meijer, por favor explique.
Únase. ¡Disfrútelo!
Capítulo 1Capítulo 2Capítulo 3Capítulo 4 Capítulo 5Capítulo 6Capítulo 7Capítulo 8Capítulo 9 Capítulo 10Capítulo 11 Capítulo 12Capítulo 13
¿Quiere hacer algún comentario? Comunique un problema aquí.