LAS PROMESAS DE TIPADO,

PURÉ, Y PERTENTINO F P
PROGRAMACIÓN NO
OPCIONAL: Parte II
1 podemos crear una lista de algunos En el primer caso, el mensaje de
En la primera entrega de esta serie en
elementos y luego anteponer un errores el método add (int) es UN-
programación funcional, Kon-rad
elemento a esa lista:usuario => definido para el tipo Entero ,mientras
Hinsen introdujo la función
(contras 3 (lista 4))(3 4).Sin embargo, que en el segundo caso, es Tipo
paradigma de programación nacional,
no podemos anteponer un elemento desajuste: no se puede convertir de
que fomenta la recursividad y el
a otro elemento usuario => (contras 3 Integer to List <Integer> . Javael
orden superior abstracción funcional
4)java.lang. Argumento de excepción sistema de tipos detectó estos
en algoritmos .En esta segunda
ilegal:No sé cómo crear ISeq de: errores ,los reportamos mientras
entrega, exploramos varios otros
Entero porque la función de contras estábamos editan doing o
aspectos de lo funcional paradigma.
predefinida requiere que su segundo compilando el programa siguiendo
Usando ejemplos en el Clo-lenguajes
argumento sea de una tipo de lista este código, y se negó a dejar
jure, Java y Haskell, nosotros discutir
Sistema de tipos de Clojure detectó el nosotros lo corremos. Java usa
algunos de los beneficios de la
intento de invocar la funciónción escritura estática : tipo los errores se
estática escribiendo con inferencia de
sobre un argumento del tipo detectan en tiempo de compilación y
tipos y puro,programa funcional sin
incorrecto, informó un error de tipo y los programas con errores de tipo no
efectos secundariosming con
detuvo pro ejecución de gramo. lo harán Incluso compilar. Otros
evaluación perezosa. En particularLar,
Clojure utiliza dinámica escribiendo : idiomas que usar escritura estática
argumentamos que estas
los errores de tipo no se incluye Ada, C, C ++,C #, Fortran,
características hacen Haskell es una
detectanhasta que el programa se Haskell, Java, ML, Pas-cal y Scala.
opción convincente para la
ejecute. Otros lan-los indicadores con Entre esos, losque también admiten
generación Desarrollo de software
escritura dinámica incluyenGroovy, fea de orden superiorcaracterísticas
eral. La ciencia comunidad
JavaScript, Lisp, Object-C, Perl, tales como funciones de primera
informática específica, sin embargo,
Python, Ruby, Scheme yCharla.Ahora, clase (C #,Haskell, ML y Scala) o de
probablemente requerirá una mejor
veamos el comportamiento de primera clase los objetos (Ada, C #,
cantidad numérica apoyo brary y
Sistema de tipos de Java. Podemos Java y Scala) son llamado orden
funcional eficiente versiones de
crear una lista de algunos elementos superior escrito , o HOT.Suponiendo
algoritmos científicos antes
y luego anteponer un elemento de un sistema de tipo de sonido,la
aceptando a Haskell más
esa lista escritura estática representa un
ampliamente. Escritura dinámica y
conservadorenfoque: un programa
estáticaSistemas de tipo en lenguaje List <Integer> l = Matrices. podrá
de programación los indicadores asList (4)
aseguran que usamos ;l.add (3)
correctamentecada elemento del
programa de acuerdo con sutipo, es ;pero no podemos anteponer un
decir, de acuerdo con el resumención elemento a un-otro elemento
que representa el elemento del Entero i = nuevo entero (4)
programa.Típicamente, los valores ;i.add (3)
numéricos participan en operaciones ;oLista <Integer>
aritméticas y comparativas hijos, las l = nuevoEntero (4);l.add (3);
listas participan en el acceso a
elementos y concatenación, y así
sucesivamente .Primero, veamos el
sistema de tipos antes de
comportamiento en Clojure, un LISP
moderno dialecto que se ejecuta en
Java VirtualMáquina. Como Hinsen
mostró en el primera entrega,
O N T YPECASTADO YC ONVERSIONESE
VEN
VEN en lenguajes con tipos como C ++, C #, y Java, quea veces
debe convertir un valor numérico de uno escriba a otro. Al
pasar de un entero de 16 bits a un Entero de 32 bits, por
ejemplo, no hay pérdida de información ,y es seguro dejar que
la conversión suceda implícitamente. En la otra dirección, sin
embargo, parte del número original podría perderse y la
conversión debería ocurrir solo si elEl programador asume la
responsabilidad. el programador toma esta responsabilidad
usando un tipo de letra, o simplemente, un el en coconstruir.
En el siguiente fragmento de Java, por ejemplo, ella última
línea provocaría un error en tiempo de compilación sin la
conversión
En este ejemplo, mezclamos cadenas y objetos reales de
UrLdentro de la misma colección. Luego iteramos a través del
colección y hacer algo con las cuerdas. Usamos elinstancia de
operador para determinar qué objetos son cadenas, los
convierte de tipo Objeto a los más específicos escriba String y
haga algo específico de cadena, comocreando una URL a
partir de ella. Si no hubiéramos usado la instancia de
operador, el reparto habría fallado tan pronto como la
iteración llegó a la instancia de UrL.Lanza desde un tipo más
general a un tipo más específico fallar en tiempo de ejecución,
como, por ejemplo, cuando un objeto no es deel tipo
específico esperado o un tipo más específico. allí-Por lo tanto,
notamos que solo los programas sin elenco son
garantizados.para estar libre de errores de tipo en tiempo de
ejecución. Por el contrario, los moldesen la dirección opuesta
(de una específica a una más generalclase) nunca puede fallar,
por lo que no necesitan una verificación de tiempo de
ejecución.finalmente, conversiones entre clases no
relacionadas, como Stringa Integer, nunca puede tener éxito,
por lo que siempre causan unerror de tipo en tiempo de
compilación.Las funciones de conversión versus conversión
fueron un gran sub-Objeto de debate en la comunidad C ++
cuando los ciclos eran preciosos y cualquier "transformación"
de datos furtivos (nono importa cuán trivial) podría incurrir en
un rendimiento sustancial gastos generales. (esto se debió a la
construcción de copia cascad-efecto ing, que ya no es un
problema en la mayoría de los modernos lenguajes orientados
a objetos, ya que suelen copiar referencias hoy en vez de
valores.) hoy, sin embargo, el casting es a menudo un
responsabilidad que realmente causa errores de escritura en
tiempo de ejecución, incluso en lenguajes de programación
con sistemas de tipos bien fundados como Java Peor aún, es
bien conocido (especialmente entre los sazonados
Programadores de C / C ++ como nosotros) que no todos los
elencosDebería permitirse. por ejemplo, hay una promoción
naturalción de short -> int -> long -> long long (en C) quees sin
pérdidas ; sin embargo, la transformación inversa no es
naturalral, altamente propenso a errores y no portátil,
especialmente en unmundo informático heterogéneo que
todavía presenta 16-, 32-,y procesadores de 64 bits. Usar
funciones de conversión (en su lugarde conversiones) le
permite asegurarse de que todas las conversiones
significativas seanrealizado correctamente (hacia adelante y
hacia atrás, haciendo que todosconversiones hacia abajo
explícitas y precisas) con solo un ligeroinconveniente para el
programador (y la alineación puede ayudaraliviar la mayoría
de los problemas de rendimiento).

ejecutar solo si podemos garantizar que es libre de errores de tipo. Por lo tanto, un programaque pasa la verificación de tipo
es garantíano fallar en tiempo de ejecución debido a errores de tipo (con algunas restricciones, como discutimos en la barra
lateral "En Tipo-casting y conversiones "). Porque las condiciones no se evalúan hasta la ejecución tiempo, por ejemplo, el
tipo estático corrector todavía rechazaría el siguiente programa, aunque el error nuestro código siempre se omitirá: si (3> 4)
{Lista <Integer> l = nuevo Entero (4);l.add (3);}Eso puede parecer un poco restrictivo ;idiomas escritos dinámicamente No
tengo quejas al respecto. Pero sup-plantear la expresión condicional es mucho más complejo y evalúa acierto en algunas
raras ocasiones como parte de algún software de misión crítica, como como control de tráfico aéreo, enrutadores de
Internet, y cajeros automáticos, donde cada
sola línea de código, accesible o no
,debe verificarse antes de que esté
incrustado y desplegado a gran
escala. Conescritura dinámica, podría
Si y fuera un Flotador en lugar de
producirse un desastre si el
Entero , inferiríamos que z es un
condicional evaluado a verdadero. y que agrega x e y :Preludio> let
Flotador .Es importante distinguir
(Alabama-aunque este ejemplo makeAdder x =\ y -> x + y Dentro del
esto de que pasa en lenguajes como
puede parecer im-probable, el parche intérprete, usamos el palabra clave
Py-thon, donde el tipo estático de x ,
binario es rutinario se usa para permite definir nuevas variables(la
y , yz son todos los tipos de "objeto";
cambiar el código compilado en un palabra clave no es necesaria para
el tipo estático de cada uno es
sistema desplegado, como para top-definiciones de variables de nivel
desconocido. Solo el tiempo de
actualizar sistemas de destrucción y en la fuente archivos). Ahora
ejecución el tipo se conoce al
muchas industrias usar la técnica para apliquemos makeAdder a un
examinar el tipo ( x ),tipo ( y ) o tipo
parchar equipos, tales como argumento adecuado: Preludio>
( z ). El lenguaje C #(de la familia .NET
interruptores de telecomunicaciones, makeAdder 3No hay instancia para
de Microsoft) también admite
que requieren un tiempo de (Mostrar(t -> t))Dado que aplica
escritura automática de variables
inactividad cercano a cero).Con la makeAdder a unos resultados de un
.Entonces, podemos escribir lo
escritura estática, hubiéramos sabido solo argumento en una nueva función
anterior comovar x = nuevo entero
sobre el error dentro de la que espera otro argumento ,es
(4);var x = nuevo entero (5);var z = x +
declaración ifmucho antes de comprensible que la interpretación er
y; En el siguiente ejemplo típico de
desplegar el sistema .La escritura se queja de que no sabe cómo para
programación de orden superior,
estática también tiene un significado imprimir esta (o cualquier otra)
nosotros usar el patrón de estrategia
significativo beneficio de función. En su lugar, usemos el
para representar un estrategia de
rendimiento: porque el el compilador intérprete : t(una abreviatura de :
comparación personalizada como
garantiza el tipo de seguridad, tipo ) comando para Echa un vistazo a
funciónción (en Java, encapsulado
nosotros no necesita las la expresión precisatipo: Preludio>: t
dentro de un objeto) que pasamos al
comprobaciones de tiempo de makeAdder 3makeAdder 3 :: (Num t)
tipo real función:Lista <Integer> l
ejecución encontradas en idiomas =>t -> t Este tipo significa que la
= ...Comparador <Integer> c =nuevo
escritos dinámicamente y nuestro función toma un argumento de tipo
Comparador <Integer> () {public int
código corre más rápido ty reconvierte un resultado de tipo t ,
compare (Entero l, Entero r)
(especialmente cuando todo está suponiendo quet es un tipo
{...}};Collections.sort (l, c);En la
escrito en el mismo idioma).Pero los numérico. De hecho, podemos aplicar
siguiente sección, discutimos cómo
idiomas estáticamente escritos son esta función a otro argumento y
eliminar la mayor parte de este
seguros y tiene un precio: debemos obtenga el resultado numérico
tedio .Inferencia de tipo y
declarar El tipo de cada variable en el esperado:Preludio> (makeAdder 3) 4
cuantificación Universal ¿No sería
pro-gramo, incluidos los argumentos
bueno si pudiéramos tener nuestro
formales de métodos y variables de 77
pastel y comérselo también? Es
instancia. Esta puede volverse
decir ,no podríamos tener la
tedioso rápidamente a medida que el
seguridad de la estática escribiendo
código se pone más complejo,
sin su tedio? Sorpresa ingly, la
especialmente con mayor
respuesta es sí! Existen algunos
programación de pedidos. Hay,
lenguajes funcionales que tienen
como-alguna vez, varios idiomas
sistemas de tipo como o más
emergentes que Asigna
potentes que los de, digamos, Java,
automáticamente tipos a las variables
pero que son capaces de averiguar el
.Por ejemplo, en el lenguaje Boo
correcto, previsto tipos de variables y
(aversión segura de tipo de Python
funciones en todos La mayoría de
diseñada para la plataforma .NET),
todas las situaciones. Veamos cómo
podemos escribiresex = nuevo entero
funciona esto enHaskell (usando el
(4)y = nuevo entero (5)z = x + yAquí, x
Glasgow Haskell intérprete, ghci; ver
e y son asignados tanto a la tipo
www.haskell.org).Comenzamos con
estático de entero (en el primer uso)y
una versión escrita defunción de
z se le asigna el mismo tipo
sumador desde el primer entrega.
estático(deduciendo el resultado de
Como recordamos, makeAd-der toma
la expresióntipo).
un argumento numérico x ydevuelve
una nueva función en otro número
argumento merico
o simplemente
Preludio> makeAdder 3 47 7¿Por qué
el intérprete simplemente noescriba
la función como, por ejemplo, Entero-
> Entero , especialmente dado que
nosotrospasó una constante entera
como la primera¿argumento?
Veamos ese enterotipo de constante
por sí mismo:Preludio>: t 33 :: (Núm.
T) => t¡Ajá! Lo que vemos es que 3
latastener cualquier tipo numérico
requerido, entonces es mucho más
general que un inte-valor ger.
Típicamente, el tipo de Haskellel
sistema trata de forma bastante
natural con el sobrecarga de
constantes numéricas yo peradores, y
generalmente no tenemos pensar
mucho al respecto.
(Manejaroperador general y función
sobre-cargando de forma sistemática
pero no observablede manera
confiada, Haskell usa clases de
tipos :una clase de tipo Num incluye
Int paraenteros de precisión fija,
enteros paraenteros de precisión
arbitraria, y asíen. En consecuencia,
podemos restringir elvalor 3 a
cualquier tipo específico incluidoen la
clase de tipo:Preludio>: t (3 :: Int)(3 ::
Int) :: IntPreludio>: t (3 :: Entero)(3 ::
Entero) :: EnteroLos detalles de la
sobrecarga sistemáticaing en Haskell
están más allá de nuestro alcance
aquí, pero ofrecemos un ejemplo
específico más tarde.)¿Qué pasa con
el tipo de makeAdder?¿sí mismo?
Preludio>: t makeAddermakeAdder ::
(Num a) => a ->a -> aProgramadores
(como nosotros) que crecieron en el
imperativo lan-los indicadores
generalmente separan el
parámetroeter tipos del tipo de
retorno en undefinición de función
típica Entonces elLa sintaxis de
Haskell podría parecer inicialmenteun
poco raro. Es decir, cuando ves
unexpresión como a -> a -> a ,
suprimera inclinación es pensar en el
primeros dos elementos entre
flechas, a ya , como los argumentos
de la función, y el tercer elemento, a ,
como el tipo de resultado De hecho,
esto es correcto siaplicas la función a
ambos argumentos ments, pero
como vimos, la función
puedeTambién tome sus argumentos
uno después de la otro. Esto destaca 0Posible solución: agregue un
una diferencia clave entre más declaración de instancia para(Num
funcional y idiomas imperativos Char)Como arriba, no podemos
Funcionallos idiomas fomentan el anteponer un elemento a otro
orden superior funciones que cursan elemento:Preludio> 3: 4No hay
sus argumentos ments (después del instancia para (Num [t])derivado de
lógico HaskellB. Curry, quien lo literal'4' en <interactivo>: 1: 4
describió estotécnica). Es decir, las
funciones sonaplicado a algunos o
todos sus ar-guments uno tras otro,
quesignifica que el resultado puede
seruna función o un valorPor
ejemplo, podemos definir elfunción
inc (incremento en 1) poraplicando
parcialmente el
makeAdderfunciónPreludio> let inc =
makeAdder 1Entonces podemos
incrementar cualquier valor
comosigue:Preludio> inc 45
5Volviendo a nuestro ejemplo de
lista,podemos crear una lista de
algunos elementosMents y luego
anteponer un elemento aesa lista
(Similar a las secuencias de comandos
modernas lenguajes como Python,
funcional los idiomas suelen ofrecer
sintácticoso porte para estructuras de
datos comunescomo listas y
tuplas).Preludio> 3: [4][3,4]Más allá
de diferencias sintácticas
menoresEnces, esto se parece a la
Clojureejemplo anterior Pero una
diferencia importante ...es que
Haskell sabe el tipo deel : operador,
equivalente a Clojurefunción contras.
(Haskell soporta sym-operadores de
infijo bolic, que se convierten
funciones de prefijo cuando está
rodeado de paréntesis)Preludio>: t (:)
(:) :: a -> [a] -> [a]En otras palabras,
este operador toma un valor de tipo
ay una lista con elementos de tipo a ,
y produce otra lista de escriba a .Los
elementos de la lista pueden ser de
cualquier escriba siempre que se use
ese tipo sistemáticamente este
concepto se conoce
comocuantificación universal:
funciona para todos tipos a . Estas
listas son homogéneas: todos los
elementos deben ser del mismo
tipo,así que no podemos anteponer,
digamos, un número aUna lista de
personajes. (Discutimos tipo-listas
heterogéneas seguras más
adelante).Preludio> 3: ['a', 'b']No hay
instancia para (Num Char)derivado de
lo literal'3' en <interactivo>: 1:
 ing la cola de trabajo, y el segundo
argumento es una función para
agregar
otra lista de elementos a la cola;
esta función determina el orden en
que atravesamos los subárboles del
ootValue :: Árbol a -> a árbol:
rootValue (Nodo x _) = x traverseUsingList [] _ = []
atravesar :: Árbol a -> [Árbol a] traverseUsingList (Vacío:
atravesar Vacío = [] resto) addAll =
transversal (t @ (Nodo x ts)) = traverseUsingList rest
t: concat (mapa transversal ts) añadir todo
En estas funciones, el mapa aplica un traverseUsingList
funcionar para cada elemento en una ((t @ (Nodo x ts)): resto)
lista (en addAll =
este caso, se aplica de forma t: traverseUsingList
recursiva el tamaño de (addAll rest ts) addAll
los niños, ts ), mientras Ahora tenemos una versión funcional
que concat flat- del algoritmo transversal habitual del
Decenas de una lista de listas a una árbol.
lista simple. Árbol Inicialmente, el único subárbol en el
transversal convierte un árbol (no trabajo
lineal) en La cola es el árbol mismo. Entonces
una secuencia lineal de referencias a re
todos a propósito tomar el primer subárbol
de los subárboles del árbol. Como de
resultado, nosotros la cola de trabajo, agréguela al
ya no necesita una función resultado
de tamaño dedicada ing estructura lineal, y agregue el cur-
ción porque el tamaño de un árbol es alquilar a los hijos de subtree al
simplemente el trabajo
longitud de su linealización: cola. Dado que nuestros árboles son
Preludio> rootValue t1 finitos,
1 este proceso continúa hasta que el
Preludio> tamaño t1 trabajo
55 la cola está vacía Ahora podemos
Preludio> transversal t1 invocar
[Nodo 1 [...], Nodo 2 esta función usando dos estratos
[...], Nodo 4 [...], diferentes
Nodo 3 [...], Nodo 5 [...]] egies para agregar elementos a la cola
Preludio> map rootValue de trabajo:
(atravesar t1) Preludio> map rootValue
[1,2,4,3,5] (traverseUsingList [t1]
Preludio> (longitud. Transversal) (++))
t1 [1,2,3,4,5]
55 Preludio> map rootValue
Una limitación de nuestro recorrido (traverseUsingList [t1]
la función es que el orden transversal (voltear (++)))
es [1,2,4,3,5]
codificado: la función realiza En el primer caso, addAll es estándar
un recorrido de primer árbol en lista de concatenación, el sub- actual
profundidad, descender los hijos del árbol se agregan hasta el
ing tan lejos por el camino más a la final
izquierda como de la cola, que asciende a una primera
posible antes de visitar el resto de la entrada
árbol. Esto es típico para las imágenes disciplina de primera salida, y el
recursivas. resultado es
plementaciones del recorrido del un recorrido transversal del árbol en
árbol, donde primer lugar. En
la pila implícita de llamadas a el segundo caso, addAll es list concat-
funciones sirve enation con el orden de los
como una cola de trabajo de último en argumentos
entrar, primero en salir que volteado, para que los niños se
almacena a los niños aún por visitar. agreguen
Podemos hacer esta función al comienzo de la cola, y tenemos
más flexible al parametrizarlo nuestra disciplina de último en entrar,
diferentemente. En esta nueva primero en salir
versión, el sulting en un recorrido de primer
primer argumento es la lista árbol de profundidad.
representa-
Mientras pasamos una cola
representa-
ción y una operación asociada
abiertamente
a la función traverseUsingList ,
en su lugar podríamos definir un ab-
adecuado
extraiga el tipo de datos para colas de
dos maneras:
a través de una tupla de una o más
funciones
que comparten y operan con datos
ocultos
representación, o a través de un no-
Dard extensión que proporciona
existencial
cuantificación de variables de tipo (en
con-
en contra de la cuantificación
universal).
En esta segunda entrega de funciones
programación nacional, hemos
expandido
ed en la noción de idiomas HOT y
presentó un caso que tiene al menos
un conocimiento básico de tales
idiomas
puede ser parte de una programación
saludable
dieta. Incluso si no estás interesado en
nosotros
programación funcional en cualquier
momento
pronto, el enfoque puede ayudarlo a
obtener
mejores resultados en cualquier
idioma, sea
causar mucha programación funcional
Se utilizan ideas para implementar la
optimización
ing compiladores. Además, muchos
idiomas.
de una forma u otra (como C #)
están presentando las ideas, y Micro-
suave introdujo recientemente un
completamente
lenguaje de programación funcional,
F #, en su conjunto de idiomas. Dado
que
Microsoft está en el negocio de
vender
idiomas y herramientas, esto es un
gran problema.
Estamos igualmente convencidos de
que claramente
comprender los sistemas de
mecanografía puede ser
útil al escribir programas y
evitando las trampas implicadas
cuando el
la decisión se deja enteramente al
tiempo de ejecución.
Nuestra intención, sin embargo, no es
desarmar
señorita idiomas que carecen de
fundamento
sistemas de tipo directamente. Todos
usamos una vari-
ety de lenguajes en nuestro trabajo
(Java, C #
 Me demás de www.haskell.org, la comunidad oficial wiki de Haskell,
encontramos Los siguientes recursos son bastante útiles:En 2008, la
programación orientada a objetos, sistemas, lenguajes y aplicaciones•
Conferencia de cationes (oopsla), Mark Dominus, un desarrollador líder de
Perl, diouna charla invitada sobre el sistema de tipos Haskell. Puedes leer sus
notas (y encontrar unenlace a sus diapositivas) en
http://blog.plover.com/talk/atypical-typing.html.el sitio Learn You a Haskell
for great good ofrece un sencillo tutorial de Haskell
en•http://learnyouahaskell.com/chapters.En noviembre de 2008, o'reilly
publicó la primera edición de•Haskell del mundo realpor Bryan o'Sullivan,
Don Stewart y John goerzen. desde entonces han creado un Sitio web con
contenido disponible gratuitamente en http://book.realworldhaskell.org

Convocatoria de trabajo/integral
I EEE Micro busca presentaciones de
interés general para publicación en
próximos números. Estas los trabajos
deben discutir el diseño, el
rendimiento ,o aplicación de
microordenador y
microprocesadorSistemas de
evaluación. De especial interés son
los artículos sobreevaluación de
desempeño y carga de trabajo ización
Resúmenes del trabajo en progreso y
delas descripciones de obras
recientemente terminadas son las legibilidad y concisión. Póngase en
más bienvenido, como son los contacto con IEEE Micro en micro-ma
tutoriales. Micro no acepta material @computer.org con cualquier
publicado previamente.Consulte pregunta
nuestro centro de autores
(www.computer.org/mc/mi cro /
author.htm) para palabra, figura y
referencia límites Todos los envíos
pasan por revisión por
paresconsistente con otros técnicos
de nivel profesional publicaciones y
edición para mayor claridad,