16. HaskellIntro

16. HaskellIntro - Lenguajes de programación Introducción...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Lenguajes de programación Introducción al lenguaje Haskell Haskell  Haskell es un lenguaje funcional puro, no estricto y fuertemente tipado  Puro = No efectos laterales, puras expresiones  No estricto = usa un orden no aplicativo (normal)  Tipaje fuerte = Todas las expresiones tienen un tipo de datos  Propuesto por Paul Hudak (1987)  Llamado así en honor a Haskell Curry (1900-1982)  Lógico y matemático  “Padre” de la lógica combinatoria  “Creador” de la “currificación” Programa Haskell  Un programa consiste en  Un programa consiste en declaraciones y definiciones de funciones  Declararla : indicar el tipo  Definirla : dar el método de cómputo  Ejemplo-- Calcula el siguiente entero sucesor :: Integer -> Integer sucesor x = x + 1 Elementos de Haskell Comentario Declaración de « signatura » de tipos Función TIPOS has-type sucesor :: Integer -> Integer sucesor x = x+1-- Calcula el siguiente entero Cuerpo = Ecuación sucesor x = x+1 Implementación de...
View Full Document

This note was uploaded on 05/12/2010 for the course ITC TC2006 taught by Professor Conant during the Spring '10 term at ITESM.

Page1 / 7

16. HaskellIntro - Lenguajes de programación Introducción...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online