Curso De Programación Funcional En Haskell: El Potencial De Su Codificación

FutureLearn

Descripción del programa

Lee la descripción oficial

Curso De Programación Funcional En Haskell: El Potencial De Su Codificación

FutureLearn

¿Por qué participar en el curso?

¿Quieres desarrollar software utilizando la última paradigma de lenguaje de programación? Haskell es un lenguaje de programación funcional, basado en principios matemáticos formales. Como tal, es fácil de razonar sobre y desarrollar, y se ejecuta de manera eficiente en las máquinas de múltiples núcleos modernos. De los bancos de inversión a las redes sociales, todo el mundo está adoptando Haskell.

Obtener una introducción a la programación funcional en Haskell

En este curso introductorio, usted descubrirá el poder, la elegancia y la simplicidad de la programación funcional en Haskell. Para el final, usted será capaz de:

  • caracterizar las diferencias entre los paradigmas de programación imperativos y funcionales;
  • implementar programas funcionales a pequeña escala en Haskell primaria;
  • aplicar combinadores estándar para operar en las listas;
  • crear nuevos tipos de datos algebraicos y el uso de la recursividad para definir funciones recursivas que atraviesan tipos; y la razón de una manera matemática sobre tipos de datos, funciones, recursividad y construcciones funcionales similares.

Aprende con los desarrolladores desde el lugar de nacimiento de Haskell

Este curso ha sido creado por la Facultad de Ciencias de la Computación de la Universidad de Glasgow - el lugar de nacimiento virtual del lenguaje Haskell, donde muchos de sus desarrolladores originales trabajaron. Se le dará la oportunidad de aprender con estos expertos y unirse al creciente, comunidad global de programadores de Haskell.

¿Qué temas le cubrirá?

  • Evaluación a través de la reducción de la expresión
  • Semántica de abstracción de la función y la aplicación
  • Las operaciones que implican tipos básicos incluyendo números enteros, booleanos y caracteres
  • Definición y recorrido de tipos de datos recursivas incluidas las listas y árboles
  • Las técnicas para estructurar programas de tamaño no trivial
  • El desarrollo de herramientas de análisis personalizada con el apoyo de la biblioteca
  • Las pruebas automatizadas con la herramienta QuickCheck
  • estructuras de datos infinitas y evaluación perezosa
  • clases de tipos
  • Principios de cálculo lambda
  • mónadas

¿Qué va a lograr?

  • Desarrollar programas sencillos que implican técnicas básicas de Haskell, incluyendo las definiciones de funciones puras
  • Producir las definiciones de tipos de datos algebraicos y aplicar la recursividad para definir funciones que atraviesan estos tipos
  • Interpretar estructuras de datos e interfaces con funciones usando los tipos
  • Aplicar métodos formales para demostrar las propiedades funcionales de los programas
  • Desarrollar, modificar y explorar código utilizando herramientas estándar de la plataforma Haskell
  • Justificar por qué un programa utiliza mónadas estándares comunes (incluyendo IO y tal vez)
  • Explora combinadores estándar para operar en las listas

¿Quién es tu curso?

Este curso está dirigido a estudiantes que ya tienen experiencia de al menos un lenguaje de programación, como Python o Java. Usted puede ser un estudiante de informática, un desarrollador de software que quiera aprender un nuevo estilo de programación, o alguien teniendo en cuenta los estudios universitarios en informática o tecnología de la información.

Esta institución educativa ofrece programas en:
  • Inglés
FutureLearn

Última actualización September 28, 2017
Duración y Precio
Este curso es En línea
Start Date
Fecha de inicio
Inscripción abierta
Duration
Duración
Tiempo Parcial
Tiempo completo
Price
Precio
Gratis
Information
Deadline
Locations
Reino Unido - Gran Bretaña (UK) Online
Fecha de inicio: Inscripción abierta
Fecha límite de inscripción Contacto
Fecha de finalización Contacto
Dates
Inscripción abierta
Reino Unido - Gran Bretaña (UK) Online
Fecha límite de inscripción Contacto
Fecha de finalización Contacto
Price
curso en línea GRATIS