Tema 01

Tema 1 Programacin Funcional o
Curso de Python Avanzado Juan Pedro Bol Puente var

Instituto de Astrof sica de Andaluc a
Mayo de 2011
Juan Pedro Bol var Puente (Instituto de Astrof sica Tema 1 Programacin Funcional de Andaluc a) o Mayo de 2011 1 / 34
Indice
1 2 3 4
Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden
Juan Pedro Bol var Puente (Instituto de Astrof sica Tema 1 Programacin Funcional de Andaluc a) o
Mayo de 2011
2 / 34
Repaso
Indice
1 2 3 4
Mayo de 2011
3 / 34
Repaso
Repaso ...
Sintxis bsica a a
def funcion ( param , clave = " default " ): print " Ejecutando : funcion ( " + \
str ( param ) + " , clave = " \ + str ( clave ) + " ) " return None
funcion (1) funcion (1 , " mi clave " )
Mayo de 2011
4 / 34
Repaso
Funciones varidicas a
En la lista de parmetros ... a Operador * Captura en un nombre los parmetros a restantes como una tupla. Operador ** Captura en un nombre las claves restantes como un diccionario.
def funcion (* args , ** keys ): print " -- Llamando a funcion con : -- " print " Parametros : " , args print " Claves : " , keys
Mayo de 2011
5 / 34
Repaso
En la lista de parmetros ... a Operador * Captura en un nombre los parmetros a restantes como una tupla. Operador ** Captura en un nombre las claves restantes como un diccionario.
funcion (1 , 2 , 3 , manolete ) funcion ( nombre = Juan Pedro , apellidos = Bolivar Puente )
Mayo de 2011
6 / 34
Repaso
En una llamada a funcin o Operador * Expande una secuencia como argumentos a la funcion. Operador ** Expande un diccionario como argumentos clave a la funcion.
def sum3 (a , b , c ): return a + b + c print sum3 (* range (3))
Mayo de 2011
7 / 34
Repaso
En una llamada a funcin o Operador * Expande una secuencia como argumentos a la funcion. Operador ** Expande un diccionario como argumentos clave a la funcion.
def persona ( nombre = Anonimo ,
apellidos = Bastardo , dni = Sin DNI ): print apellidos + " ," , nombre , " ( " + dni + " ) " yo = { nombre : Jhon , apellidos : Doe } persona (** yo )
Programacin funcional o
Indice
1 2 3 4
Mayo de 2011
9 / 34
Programacin Funcional o
... rase una vez la conjetura de Hilbert ... e
Modelo Mquina de Turing a

Paradigma Imperativo Estructurado Orientado a Objetos Fortran, Algol, C, Smalltalk, Java
Modelo Lambda Calculi

Paradigma Funcional Lgico o Declarativo Lisp, ML, Prolog, Erlang, Haskell Figura: Alonzo Church
Mayo de 2011 10 / 34
Programacin multiparadigma o
Python es multiparadigma
Opinin personal ... o Macrodiseo Orientacin a Objetos n o Microdiseo Programacin Funcional n o
Mayo de 2011
11 / 34
Programacin imperativa o
Unidad sintctica elemental: a la sentencia Operacin elemental: o la asignacin o Modelo: variables ... computar
import random as r x = 1 y = r . randint (0 ,10) if y % 2: x = x + 3 else : x = x - 2 print x
Desventaja Dicil razonar formalmente sobre el estado.

Mayo de 2011 12 / 34
Unidad sintctica elemental:la expresin a o Operacin elemental: la aplicacin o o Modelo: valores ... calcular
y = random . randint (0 , 10) x = 1 + (3 if y % 2 else -2) print x
Desventaja Entrada y salida. Mutabilidad.

Funciones de primer orden
Indice
1 2 3 4
Mayo de 2011
14 / 34

Programacin funcional Funciones valores normales o Genericidad Las funciones pueden pasarse como parmetro. a Instanciacin Las funciones pueden o devolver otras funciones. Abstraccin procedural Cualquier sentencia puede o convertirse en funcin. o Embebimiento Las funciones pueden almacenerse en estructuras de datos.
Genericidad
Las funciones pueden pasarse como parmetro. a Ejemplo
def ejecutarfun ( funcion ):

res = funcion () print " Resultado : " + str ( res ) ejecutarfun ( random . random )
Mayo de 2011
16 / 34
Instanciacin o
Las funciones pueden devolver otras funciones. Ejemplo
def devuelvefun ( param ): if param : return random . random else : return list
fun = devuelvefun ( True ) print fun () fun = devuelvefun ( False ) print fun ()
Mayo de 2011
17 / 34
Abstraccin procedural o
Cualquier sentencia puede convertirse en funcin. o Ejemplo (Abstraccin + Instanciacin) o o
def make_sumador ( k ): def sumador ( x ): return x + k return sumador

mas_dos = make_sumador (2) print mas_dos (1) # Imprime 3 print mas_dos (2) # Imprime 4
Abstraccin procedural ... Lambdas o

Lambda = Funcin annima (sin nombre). o o Slo expresiones! o Ejemplo (Lambdas...)
def make_sumador_lambda ( k ): return lambda x : x + k

mas_dos = make_sumador_lambda (2) print mas_dos (1) print mas_dos (2)

El cierre captura valores no nombres
I.e. no podemos modicar la variable de fuera
Ejemplo incorrecto (... y requiere Python 3)

def make_contador ( x ): def contador ():
nonlocal x x += 1 return contador var = 2 cnt = make_contador ( var ) cnt (); cnt (); print var # 2!!

Ejemplo correcto
def make_contador ( x ): def contador (): return contador
var = [2] cnt = make_contador ( var ) cnt (); cnt (); print var # [4] , Ok x [0] += 1
Reexin ... o Estado mutable + comportamiento? Objetos!

Alternativa Generadores (tema 3)
Embebimiento
Cualquier funcin puede guardarse en cualquier parte. o Ejemplo (Embebimiento)
from operator import add , sub , div # , mul
funcs = { + : add , - : sub , * : lambda a , b : a * b , / : div } print funcs [ + ] (1 , 2) print funcs [ - ] (1 , 2) print funcs [ * ] (1 , 2) print funcs [ / ] (1 , 2)
Funciones de alto orden
Indice
1 2 3 4
Mayo de 2011
23 / 34

Los tres mosqueteros de la programacin funcional o
Filosof a Trabajar sobre listas Abstraer la iteracin o map (func, lista)

Devuelve una lista aplicando func a cada elemento
reduce (func, lista, (primero))

Devuelve un valor aplicando la operacin binaria func o
filter (pred, lista)

Devuelve una lista ltrando con el predicado pred
Mayo de 2011
24 / 34
La funcin map (func, lista) o

def map ( func , lista ):
res = [] for x in lista : res . append ( func ( x )) return res
def map ( func , lista ): return [ func ( x ) for x in lista ]

print map ( lambda x : x * 2 , range (10))
La funcin reduce (func, lista) o

def reduce ( func , lista , inic = None ): if inic is None :
inic , lista = lista [0] , lista [ for x in lista : inic = func ( inic , x ) return inic
print reduce ( lambda x , y : x + y , range (10))
Mayo de 2011
26 / 34
La funcin reduce ... o
Mayo de 2011
27 / 34
La funcin filter (pred, lista) o

def filter ( pred , lista ):
res = [] for x in lista : if pred ( x ): res . append ( x ) return res
def filter ( pred , lista ): return [ x for x in lista if pred ( x ) ]
print filter ( lambda x : x %2 == 0 , range (10))

map + filter vs comprehensin o

No hay que iparse! map ( lambda x : x *2 , filter ( lambda x : x %2==0 , range (10))) Mejor... [ x *2 for x in range (10) if x %2==0 ] range (0 , 20 , 4)
Curricacin o
Curricacin = Fijar parmetros de una funcin. o a o A mano
from operator import add addtwo = lambda x : add (2 , x ) print print addtwo (3) # 5
Con functools.partial
from functools import partial

addtwo = partial ( add , 2) print addtwo (3) # 5
Otras utilidades
Emparejar los elementos de dos listas ... zip ( hola , range (3)) Verdadero si todos son verdaderos ... all ([ True , [] , True ]) Verdadero si alguno es verdadero ... any ([ True , [] , True ])
Mayo de 2011 31 / 34
Recursos adicionales
Dive Into Python Mark Pilgrim http://diveintopython.org/functional_ programming/index.html Functional Programming HOWTO Andrew M. Kuchling http: //www.amk.ca/python/writing/functional
Mayo de 2011
32 / 34
Recursos adicionales
Concepts, Techniques, and Models of Computer Programming Peter Van Roy, Seif Haridi MIT Press 2005 python-functional Collin Winter http://oakwinter.com/code/functional/ documentation/ python-goopy Google http://goog-goopy.sourceforge.net/
Preguntas? Muchas gracias por su atencin. o
Mayo de 2011
34 / 34

Tema 01

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tema 01

Uploaded by

Copyright:

Available Formats

Tema 1 Programacin Funcional o

Curso de Python Avanzado Juan Pedro Bol Puente var

Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden

Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden

Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden

Modelo Mquina de Turing a

Modelo Lambda Calculi

Desventaja Dicil razonar formalmente sobre el estado.

Desventaja Entrada y salida. Mutabilidad.

Funciones de primer orden

Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden

Funciones de primer orden

Funciones de primer orden

Funciones de primer orden

def ejecutarfun ( funcion ):

Funciones de primer orden

Funciones de primer orden

def make_sumador ( k ): def sumador ( x ): return x + k return sumador

Funciones de primer orden

Abstraccin procedural ... Lambdas o

def make_sumador_lambda ( k ): return lambda x : x + k

Funciones de primer orden

Abstraccin procedural ... Lambdas o

Ejemplo incorrecto (... y requiere Python 3)

Funciones de primer orden

Abstraccin procedural ... Lambdas o

Reexin ... o Estado mutable + comportamiento? Objetos!

Funciones de primer orden

Funciones de alto orden

Repaso Programacin funcional o Funciones de primer orden Funciones de alto orden

Funciones de alto orden

Funciones de alto orden

Filosof a Trabajar sobre listas Abstraer la iteracin o map (func, lista)

reduce (func, lista, (primero))

filter (pred, lista)

Funciones de alto orden

La funcin map (func, lista) o

def map ( func , lista ): return [ func ( x ) for x in lista ]

Funciones de alto orden

La funcin reduce (func, lista) o

Funciones de alto orden

La funcin reduce ... o

Funciones de alto orden

La funcin filter (pred, lista) o

def filter ( pred , lista ): return [ x for x in lista if pred ( x ) ]

print filter ( lambda x : x %2 == 0 , range (10))

Funciones de alto orden

map + filter vs comprehensin o

Funciones de alto orden

from functools import partial

Funciones de alto orden

Funciones de alto orden

Funciones de alto orden

Funciones de alto orden

Preguntas? Muchas gracias por su atencin. o

You might also like