Metodologías de Programación II Dominios y Excepciones

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Metodologías de Programación II Dominios y Excepciones"

María Carmen Ortiz Gallego
hace 8 años
Vistas:

1 Metodologías de Programación II Dominios y Excepciones Dr. Alejandro Guerra-Hernández Departamento de Inteligencia Artificial Facultad de Física e Inteligencia Artificial aguerra@uv.mx Maestría en Inteligencia Artificial 2012

Artificial Facultad de Física e Inteligencia Artificial

2 Tipos, Dominios y Excepciones El tipo inferido de una función corresponde a un subconjunto del dominio de su definición. Si el dominio de una función son los enteros, esto no significa que pueda trabajar con todos los enteros. El mecanismo para trabajar con estos detalles se conoce como manejo de excepciones. Provocar (raise) una excepción provoca una interrupción en el programa, que puede ser interceptada y procesada por éste mismo.

Si el dominio de una función son los enteros, esto no significa que pueda trabajar con todos los enteros.

3 Funciones parciales El dominio de una definición es el conjunto de valores con los que la función lleva a cabo su cómputo. Hay muchas funciones matemáticas que son parciales, ej. División, Logaritmo natural. Lo mismo suele ocurrir con estructuras de datos complejas, ej. car de una lista vacía, factorial de un negativo.

Hay muchas funciones matemáticas que son parciales, ej.

4 Excepciones La división por cero produce una excepción. 1 # 1/0 ;; 2 Exception: Division_by_zero. O las funciones parciales. 1 # let car l = match l with h::t -> h ;; 2 Characters 12-34: 3 let car l = match l with h::t -> h ;; 4 ˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆˆ 5 Warning 8: this pattern-matching is not exhaustive. 6 Here is an example of a value that is not matched: 7 [] 8 val car : a list -> a = <fun>

1 # let car l = match l with h::t -> h ;; 2 Characters 12-34: 3 let car l = match l with h::t -> h

5 Ejemplo llamada Si mantenemos la definición de car/1: 1 # car [] ;; 2 Exception: Match_failure ("", 1, 12).

6 Excepciones con failure Toman como argumento un string: 1 # let car = function 2 [] -> failwith "Lista Vacia" 3 h::t -> h ;; 4 val car : a list -> a = <fun> 5 # car [] ;; 6 Exception: Failure "Lista Vacia".

7 Sintaxis El tipo predefinido para las excepciones es exn. Es un tipo suma extendible: el conjunto de valores del tipo puede extenderse declarando nuevos constructores. Formas: exception Name;; y exception Name of t ;;

valores del tipo puede extenderse declarando nuevos

8 Ejemplos de declaraciones Se declaran por constructores (mayúscula inicial): 1 # exception MY_EXC ;; 2 exception MY_EXC 3 # exception Profundidad of int ;; 4 exception Profundidad of int 5 # Profundidad 5 ;; 6 - : exn = Profundidad 5 También son monomórficos: 1 # exception Valor of a ;; 2 Characters 19-21: 3 exception Valor of a ;; 4 ˆˆ 5 Error: Unbound type parameter a

int 5 # Profundidad 5 ;; 6 - : exn = Profundidad 5 También son monomórficos: 1 # exception

9 Provocando una Excepción Toma como argumento una excepción y regresa tipos completamente polimórficos: 1 # raise ;; 2 - : exn -> a = <fun> 3 # raise MY_EXC ;; 4 Exception: MY_EXC. 5 # raise (Profundidad 3) ;; 6 Exception: Profundidad 3.

- : exn -> a = <fun> 3 # raise MY_EXC ;; 4 Exception:

10 Manejando Excepciones Provocar excepciones introduce un nuevo control de flujo. Salimos del terreno puramente funcional. No confundir el cómputo de una excepción y la producción de una excepción: 1 # let computar x = Failure x ;; 2 val computar : string -> exn = <fun> 3 # computar "test" ;; 4 - : exn = Failure "test" 5 # let producir x = raise (computar x) ;; 6 val producir : string -> a = <fun> 7 # producir "test" ;; 8 Exception: Failure "test".

No confundir el cómputo de una excepción y la producción de una excepción: 1 # let computar x = Failure x ;; 2

11 Uso: try... with 1 # exception Zero_encontrado ;; 2 exception Zero_encontrado 3 # let rec mult_rec lst = match lst with 4 [] -> 1 5 0::_ -> raise Zero_encontrado 6 n::ns -> n*(mult_rec ns) ;; 7 val mult_rec : int list -> int = <fun> 8 # let mult_lista lst = try mult_rec lst with Zero_encontrado -> 0 ;; 9 val mult_lista : int list -> int = <fun> 10 # mult_lista [1;2;3;0;4] ;; 11 - : int = 0 12 # mult_lista [1;2;3] ;; 13 - : int = 6

with 4 [] -> 1 5 0::_ -> raise Zero_encontrado 6 n::ns -> n*(mult_rec ns) ;; 7 val mult_rec : int list ->

Documentos relacionados

Metodologías de Programación II Introducción a OCaml

Metodologías de Programación II Introducción a OCaml Dr. Alejandro Guerra-Hernández Departamento de Inteligencia Artificial Facultad de Física e Inteligencia Artificial aguerra@uv.mx http://www.uv.mx/aguerra