1 / 11

More Programming Language Concepts

More Programming Language Concepts. Currying Lazy Evaluation Polymorphism. Currying in Functional Languages. Q. How can two functions be combined to create a new function? A. By composition. h(x) = g(f(x)) Q. How can a function and one value be combined to create a new function?

yale
Télécharger la présentation

More Programming Language Concepts

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. More Programming Language Concepts • Currying • Lazy Evaluation • Polymorphism CSE 341 - S. Tanimoto More-Concepts -

  2. Currying in Functional Languages Q. How can two functions be combined to create a new function? A. By composition. h(x) = g(f(x)) Q. How can a function and one value be combined to create a new function? A. By currying. h(x) = f(a, x) h2(x, y) = f2(a, x, y) CSE 341 - S. Tanimoto More-Concepts -

  3. Currying in Miranda Q. How does Miranda support currying? A. Any function that takes multiple arguments can be curried. mult x y = x * y triple = mult 3 Here mult is being curried with 3 producing a new function triple. Miranda defines a function of n arguments to be equivalent to a function of one argument that returns another function, that function taking n-1 arguments. CSE 341 - S. Tanimoto More-Concepts -

  4. Lazy Evaluation Q. What is lazy evaluation? A. It's a policy of only evaluating forms whose values are needed by a consumer, such as a print request. If Lisp fully supported lazy evaluation, then (FIRST (LIST 1 (+ 2 3) (* 4 5) (/ 6 7))) would not result in any arithmetic actually being performed, since only the element 1 needs to be returned. CSE 341 - S. Tanimoto More-Concepts -

  5. Lazy Evaluation - Lisp? Q. Does Lisp support lazy evaluation? A. Only in some limited ways... The special forms IF and COND, and the macros AND and OR perform lazy evaluation of their arguments. (or (= n 2) (= n 3) (= n 5) (= n 7) (= n 11) ‘not-a-small-prime) If n is 2, then only the first comparison is performed. CSE 341 - S. Tanimoto More-Concepts -

  6. Lazy Evaluation - Efficiency? Q. Does lazy evaluation always lead to more efficient computation? A. No. Consider the Miranda code double x = x + x double 11*13 This evaluates as 11*13 + 11*13 = 143 + 143 = 186 But with applicative order evaluation we would have double 11*13 = double 143 = 143 + 143 = 186 which performs less arithmetic. Also, lazy evaluation usually incurs extra overhead. CSE 341 - S. Tanimoto More-Concepts -

  7. Lazy Evaluation and Infinite Data Structures Q. Are there any other benefits of lazy evaluation? A. Yes, it permits creation and manipulation of "infinite" data structures. In Miranda, the list (1, 2, 3, ... ) is written [1..] and can be used in expressions. hd (tl (tl (map triple [1..]))) || returns 9 If you told Miranda to compute the length of [1..], however, it would loop indefinitely. CSE 341 - S. Tanimoto More-Concepts -

  8. Polymorphism Q. What is polymorphism? A. The property of a programming language feature or entity being able to support multiple types of data. Q. What is usually meant by function polymorphism? A. The ability for one function to accept arguments whose types can vary from one call to another. In Lisp, for example, CONS is polymorphic: (cons 1 2) ; numeric arguments (cons t nil) ; symbolic arguments Note: CONS is not overloaded; it's polymorphic. CSE 341 - S. Tanimoto More-Concepts -

  9. Polymorphism Q. Is there another way for a function to exhibit polymorphism? A. Yes, it can return different types of values. For example, the Lisp function given by (defun check-for-positive (n) (if (< n 0) 'negative n) ) may return either a number or a symbol, depending on the value of n. CSE 341 - S. Tanimoto More-Concepts -

  10. Polymorphic Variables Q. What is a polymorphic variable? A. It’s a variable that can hold values of more than one type. In Lisp, symbols often serve as polymorphic variables: (setq x 5) (setq x ‘apple) (setq x ‘(peaches and pears)) CSE 341 - S. Tanimoto More-Concepts -

  11. Polymorphism in Java Q. Does Java support polymorphism? A. Yes, via the use of the built-in, general class Object. public class Widget extends Object { private String name; public void setName(String n) {name = n;} } public Widget test(Widget w) { Widget w2 = (Widget) w.clone(); w2.setName(“The cloned Widget”); return w2; } CSE 341 - S. Tanimoto More-Concepts -

More Related