form over function
play

Form over Function Teaching Beginners How to Construct Programs - PowerPoint PPT Presentation

Mar 15, 2023 •203 likes •791 views

Form over Function Teaching Beginners How to Construct Programs Michael Sperber Collaborators: Marcus Crestani, Martin Gasbichler, Herbert Klaeren, Eric Knauel @ University of Tbingen Wednesday, September 12, 12 Back at the Ranch ...

  1. Form over Function Teaching Beginners How to Construct Programs Michael Sperber Collaborators: Marcus Crestani, Martin Gasbichler, Herbert Klaeren, Eric Knauel @ University of Tübingen Wednesday, September 12, 12

  2. Back at the Ranch ... Wednesday, September 12, 12

  3. Volker Claus’s Trick Wednesday, September 12, 12

  4. Wednesday, September 12, 12

  5. Wednesday, September 12, 12

  6. Wednesday, September 12, 12

  7. So How Is This About Scheme? Wednesday, September 12, 12

  8. U ? Wednesday, September 12, 12

  9. Self-Deception • plagiarism • stronger students are more vocal • strong students teach themselves Wednesday, September 12, 12

  10. Scheme Is Great For Beginners • Syntax • Size • Functional • Easy to transition to X Wednesday, September 12, 12

  11. Scheme Is Great For Beginners Wrong • Syntax • Size • Functional Questions! • Easy to transition to X Wednesday, September 12, 12

  12. What Is Important to You? Wednesday, September 12, 12

  13. Geometric Shapes A geometric shape is one of the following: • square (parallel to axes) • circle • overlay of 2 geometric shapes Wednesday, September 12, 12

  14. Geometric Shapes Implement geometric shapes! Write a program that allows creating geometric shapes und to check whether a given point is inside our outside a geometric shape! Wednesday, September 12, 12

  15. Geometric Shapes Shape Square Circle Overlay Wednesday, September 12, 12

  16. Design Recipes Page from English 6 Wednesday, September 12, 12

  17. U ? Wednesday, September 12, 12

  18. Data Analysis • shapes • squares • circles • overlays • points • (2-dimensional plane) Wednesday, September 12, 12

  19. Mixed Data A geometric shape is one of the following: • a circle • a square • an overlay Wednesday, September 12, 12

  20. Composite Data A circle has: • center • radius Wednesday, September 12, 12

  21. Design Recipe “When your data analysis contains composite data, identify the signatures of the components. Then write a data definition starting with the following: ; An x consists of / has: ; - field 1 (sig 1 ) ; ... ; - field n (sig n ) Wednesday, September 12, 12

  22. Design Recipe Then translate the data definition into a record definition: (define-record-procedures sig constr pred? (select 1 ... select n ) Wednesday, September 12, 12

  23. Design Recipe Also write a constructor signature of the following form: (: constr (sig 1 ... sig n -> sig)) Also, write signatures for the predicate and the selectors: (: pred? (any -> boolean)) (: select 1 (sig -> sig 1 )) ... (: select n (sig -> sig n )) Wednesday, September 12, 12

  24. Circles ; A circle consists of: ; - center (point) ; - radius (real) (define-record-procedures circle make-circle circle? (circle-center circle-radius)) (: make-circle (point real -> circle)) (: circle? (any -> boolean)) (: circle-center (circle -> point)) (: circle-radius (circle -> real)) Wednesday, September 12, 12

  25. Composite Data A square consists of: • lower left corner • size Wednesday, September 12, 12

  26. Squares ; A square consists of: ; - lower left corner (point) ; - size / edge length (real) (define-record-procedures square make-square square? (square-corner square-size)) (: make-square (point real -> square)) (: square? (any -> boolean)) (: square-corner (square -> point)) (: square-size (square -> real)) Wednesday, September 12, 12

  27. Composite Data with Self Reference On overlay consists of: • a geometric shape • and another geometric shape Wednesday, September 12, 12

  28. Overlays ; An overlay consists of: ; - a geometric shape “on top” (shape) ; - a geometric shape “on bottom” (shape) (define-record-procedures overlay make-overlay overlay? (overlay-top-shape overlay-bot-shape)) (: make-overlay (shape shape -> overlay)) (: overlay? (any -> boolean)) (: overlay-top-shape (overlay -> shape)) (: overlay-bot-shape (overlay -> shape)) Wednesday, September 12, 12

  29. Points ; A point consists of: ; - x coordinate (real) ; - y coordinate (real) (define-record-procedures point make-point point? (point-x point-y)) (: make-point (real real -> point)) (: point? (any -> boolean)) (: point-x (point -> real)) (: point-y (point -> real)) Wednesday, September 12, 12

  30. Geometric Shapes ; A geometric shape is one of the following: ; - a circle (circle) ; - a square parallel to the axes (square) ; - on overlay of two geometric figures (overlay) (define shape (signature (mixed circle square overlay))) Wednesday, September 12, 12

  31. Examples Wednesday, September 12, 12

  32. Examples (define p1 (make-point 10 20)) ; Point at X=10, Y=20 (define p2 (make-point 30 50)) ; Point at X=30, Y=50 (define p3 (make-point 40 30)) ; Point at X=40, Y=30 (define s1 (make-square p1 40)) ; Square w/ corner at p1, size 40 (define c1 (make-circle p2 20)) ; Circle around p2, radius 20 (define o1 (make-overlay c1 s1)) ; Overlay of circle und square (define c2 (make-circle p3 15)) ; Circle around p3, radius 10 (define o2 (make-overlay o1 c2)) ; Overlay of o1 and c2 Wednesday, September 12, 12

  33. First Steps short description ; is a point within a shape? (: point-in-shape? (point shape -> boolean)) signature (check-expect (point-in-shape? p2 c1) #t) (check-expect (point-in-shape? p3 c2) #t) (check-expect (point-in-shape? (make-point 51 50) c1) #f) (check-expect (point-in-shape? (make-point 11 21) s1) #t) (check-expect (point-in-shape? (make-point 49 59) s1) #t) (check-expect (point-in-shape? (make-point 9 21) s1) #f) (check-expect (point-in-shape? (make-point 11 19) s1) #f) (check-expect (point-in-shape? (make-point 51 59) s1) #f) (check-expect (point-in-shape? (make-point 49 61) s1) #f) (check-expect (point-in-shape? (make-point 40 30) o2) #t) (check-expect (point-in-shape? (make-point 0 0) o2) #f) examples Wednesday, September 12, 12

  34. Template (define point-in-shape? (lambda (p s) ...)) Wednesday, September 12, 12

  35. Skeleton (define point-in-shape? (lambda (p s) ... p ... s ... ... (point-x p) ... (point-y p) ... (cond ((circle? s) ...) ((square? s) ...) ((overlay? s) ...)))) Wednesday, September 12, 12

  36. More Skeleton (define point-in-shape? (lambda (p s) ... p ... s ... ... (point-x p) ... (point-y p) ... (cond ((circle? s) ... (circle-center s) ... (circle-radius s) ...) ((square? s) ... (square-corner s) ... (square-size s) ...) ((overlay? s) ... (overlay-top-shape s) ... (overlay-bot-shape s) ...)))) Wednesday, September 12, 12

  37. More Skeleton (define point-in-shape? (lambda (p s) ... p ... s ... ... (point-x p) ... (point-y p) ... (cond ((circle? s) ... (circle-center s) ... (circle-radius s) ...) ((square? s) ... (square-corner s) ... (square-size s) ...) ((overlay? s) ... (point-in-shape? p (overlay-top-shape s)) ... (point-in-shape? p (overlay-bot-shape s)) ...)))) Wednesday, September 12, 12

  38. Definition (define point-in-shape? (lambda (p s) (cond ((circle? s) (<= (distance p (circle-center s)) (circle-radius s))) ((square? s) (and (>= (point-x p) (point-x (square-corner s))) (<= (point-x p) (+ (point-x (square-corner s)) (square-size s))) (>= (point-y p) (point-y (square-corner s))) (<= (point-y p) (+ (point-y (square-corner s)) (square-size s))))) ((overlay? s) (or (point-in-shape? p (overlay-top-shape s)) Wednesday, September 12, 12

  39. Refinement (define point-in-shape? (lambda (p s) (cond ((circle? s) (<= (distance p (circle-center s)) (circle-radius s))) ((square? s) (let ((corner (square-corner s))) (let ((cx (point-x corner)) (cy (point-y corner)) (size (square-size s)) (x (point-x p)) (y (point-y p))) (and (>= x cx) (<= x (+ cx size)) (>= y cy) (<= y (+ cy size)))))) ((overlay? s) (or (point-in-shape? p (overlay-top-shape s)) (point-in-shape? p (overlay-bot-shape s))))))) Wednesday, September 12, 12

  40. Enforcement Wednesday, September 12, 12

  41. Enforcement Wednesday, September 12, 12

  42. Enforcement Wednesday, September 12, 12

  43. U ? Wednesday, September 12, 12

  44. Measure Wednesday, September 12, 12

  45. Observe & Measure Wednesday, September 12, 12

  46. Form Wednesday, September 12, 12

  47. How Many Forms? Wednesday, September 12, 12

  48. How Many Forms? Wednesday, September 12, 12

  49. Scheme ... is our business! Wednesday, September 12, 12

  50. Practice Wednesday, September 12, 12

  51. So Why Again Is Scheme Important? Wednesday, September 12, 12

  52. Signature violations Wednesday, September 12, 12

  53. Properties (check-property (for-all ((a number) (b number)) (= (+ a b) (+ b a)))) Wednesday, September 12, 12

  54. Properties (: commutativity ((%a %a -> %b) signature -> property)) (define commutativity (lambda (op sig) (for-all ((a sig) (b sig)) (expect (op a b) (op b a))))) Wednesday, September 12, 12

  55. Images Wednesday, September 12, 12

  56. Why Not Start With Types? data Tool1 = ... data ToolState1 = ... data Tool2 = ... data ToolState2 = ... data Tool = Tool1 | Tool2 data ToolState = ToolState1 | ToolState2 Wednesday, September 12, 12

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Put a UI Developer in a Bank See what happens Form follows function. For financial firms,

Put a UI Developer in a Bank See what happens Form follows function. For financial firms,

Put a UI Developer in a Bank See what happens Form follows function. For financial firms, function is so fortified and secured that no pretty form could come close to it. Form follows function Louis Seville. Whos from London?

1.34k views • 69 slides
MWF Forms and Messages Form follows function - that has been misunderstood. Form and function

MWF Forms and Messages Form follows function - that has been misunderstood. Form and function

MWF Forms and Messages Form follows function - that has been misunderstood. Form and function should be one, joined in a spiritual union. -- Frank Lloyd Wright MWF Forms and Messages Forms Where were at Examples Crawl basic techniques

367 views • 35 slides
Introduction to exponential functions An exponential function is a function of the form f ( x ) = b

Introduction to exponential functions An exponential function is a function of the form f ( x ) = b

Introduction to exponential functions An exponential function is a function of the form f ( x ) = b x where b is a Elementary Functions fixed positive number. The constant b is called the base of the exponent. Part 3, Exponential Functions &amp;

776 views • 6 slides
Function Calls Function Calls Python supports expressions with math-like functions A

Function Calls Function Calls Python supports expressions with math-like functions A

Module 3 Function Calls Function Calls Python supports expressions with math-like functions A function in an expression is a function call Function calls have the form name (x,y,) function argument name Arguments are

333 views • 20 slides
Scene semantics from long-term observation of people. Jacob Menashe October 5, 2012

Scene semantics from long-term observation of people. Jacob Menashe October 5, 2012

Scene semantics from long-term observation of people. Jacob Menashe October 5, 2012 Introduction Function over form. Introduction Function over form. Form can be unique, function can be descriptive. Introduction Function over

1.77k views • 112 slides
Correction: the condition (6.29) holds for any function of this form, regardless of whether b and

Correction: the condition (6.29) holds for any function of this form, regardless of whether b and

Correction: the condition (6.29) holds for any function of this form, regardless of whether b and C are positive. However, it only defines a normalisable wavefunction for positive b and nonzero C. Gaussian wavepackets are the minimum uncertainty

1.2k views • 101 slides
Ackermann's Function in Iterative Form A Subtle Termination Proof with Isabelle/HOL Lawrence C

Ackermann's Function in Iterative Form A Subtle Termination Proof with Isabelle/HOL Lawrence C

Ackermann's Function in Iterative Form A Subtle Termination Proof with Isabelle/HOL Lawrence C Paulson FRS, Computer Laboratory, University of Cambridge Isabelle Workshop 2020 I. A Brief History of Ackermanns Function Wilhelm Ackermanns

3.42k views • 20 slides
Functions Function Calls Python supports expressions with math-like functions A function

Functions Function Calls Python supports expressions with math-like functions A function

Mini-Lecture 4 Functions Function Calls Python supports expressions with math-like functions A function in an expression is a function call Will explain the meaning of this later Function expressions have the form fun (x,y,)

411 views • 15 slides
Names: Form and Function in Worldbuilding and Conlangs Dr. Sara L. Uckelman Durham University

Names: Form and Function in Worldbuilding and Conlangs Dr. Sara L. Uckelman Durham University

Names: Form and Function in Worldbuilding and Conlangs Dr. Sara L. Uckelman Durham University s.l.uckelman@durham.ac.uk @SaraLUckelman Dublin 2019 WorldCon 15 August 2019 Dr. Sara L. Uckelman Names: Form and Function 15 Aug 19 1 / 8

578 views • 15 slides
MEMBRANES: STRUCTURE AND FUNCTION TOPIC 4 1 BIOMEDICAL IMPORTANCE Plasma membranes- form

MEMBRANES: STRUCTURE AND FUNCTION TOPIC 4 1 BIOMEDICAL IMPORTANCE Plasma membranes- form

MEMBRANES: STRUCTURE AND FUNCTION TOPIC 4 1 BIOMEDICAL IMPORTANCE Plasma membranes- form closed compartments around cellular protoplasm to separate one cell from another Selective permeabilities- provided by channels and pumps for

431 views • 42 slides
Algebraic normal form of a bent function: what is it? Natalia Tokareva Sobolev Institute of

Algebraic normal form of a bent function: what is it? Natalia Tokareva Sobolev Institute of

Algebraic normal form of a bent function: what is it? Natalia Tokareva Sobolev Institute of Mathematics, Novosibirsk State University Russia tokareva@math.nsc.ru Maximally nonlinear Boolean functions in n variables, where n is even, are called

742 views • 58 slides
Reciprocals of Quadratic Functions MHF4U: Advanced Functions A quadratic function has the form f (

Reciprocals of Quadratic Functions MHF4U: Advanced Functions A quadratic function has the form f (

r a t i o n a l f u n c t i o n s r a t i o n a l f u n c t i o n s Reciprocals of Quadratic Functions MHF4U: Advanced Functions A quadratic function has the form f ( x ) = ax 2 + bx + c in standard form, where a , b and c are real coefficients.

402 views • 3 slides
Section3.3 Analyzing Graphs of Quadratic Functions Introduction Definitions A quadratic function

Section3.3 Analyzing Graphs of Quadratic Functions Introduction Definitions A quadratic function

Section3.3 Analyzing Graphs of Quadratic Functions Introduction Definitions A quadratic function is a function with the form f ( x ) = ax 2 + bx + c , where a = 0. Definitions A quadratic function is a function with the form f ( x ) = ax 2 +

646 views • 29 slides
FORM FOLLOWS FUNCTION THE DACHSHUNDS HOUNDS ARE TYPICALLY CLASSIFIED IN TWO WAYS Scent

FORM FOLLOWS FUNCTION THE DACHSHUNDS HOUNDS ARE TYPICALLY CLASSIFIED IN TWO WAYS Scent

FORM FOLLOWS FUNCTION THE DACHSHUNDS HOUNDS ARE TYPICALLY CLASSIFIED IN TWO WAYS Scent Hounds e.g. Bassets Beagles Dachshunds etc. Sight Hounds Afghans Borzoi Saluki HOWEVER FCI LOOKS AT THEM DIFFERENTLY

201 views • 9 slides
The Structure Working Group The Visioning Process for the Churches of Ohio, West Virginia, and

The Structure Working Group The Visioning Process for the Churches of Ohio, West Virginia, and

The Structure Working Group The Visioning Process for the Churches of Ohio, West Virginia, and Northern Kentucky as we unify faith community Form First, or Function? Louis Sullivan Form ever follows Function What an object or system

611 views • 12 slides
Recursive-function problem Exercise: all-fours? Write a function that takes a natural number n and

Recursive-function problem Exercise: all-fours? Write a function that takes a natural number n and

Recursive-function problem Exercise: all-fours? Write a function that takes a natural number n and returns true (1) if and only if all the digits in n s numeral are 4s. Key design step: Form of number Choose inductive structure for natural

423 views • 14 slides
FloWaveNet: A Generative Flow for Raw Audio Sungwon Kim 1 , Sang-gil Lee 1 , Jongyoon Song 1 ,

FloWaveNet: A Generative Flow for Raw Audio Sungwon Kim 1 , Sang-gil Lee 1 , Jongyoon Song 1 ,

ICML 2019 FloWaveNet: A Generative Flow for Raw Audio Sungwon Kim 1 , Sang-gil Lee 1 , Jongyoon Song 1 , Jaehyeon Kim 2 , Sungron Yoon 1,3 1 Seoul National University, 2 Kakao Corporation, 3 ASRI, INMC, Institute of Engineering Research, Seoul

346 views • 16 slides
System Structuring with Threads Example: A Transcoding Web Proxy Appliance Proxy clients

System Structuring with Threads Example: A Transcoding Web Proxy Appliance Proxy clients

System Structuring with Threads Example: A Transcoding Web Proxy Appliance Proxy clients Interposed between Web (HTTP) clients and servers. Masquerade as (represent) the server to the client. Masquerade as (represent) the client to the

617 views • 14 slides
Lightweight Neural Networks from PCA &amp; LDA Based Distilled Dense Neural Networks ICIP 2020

Lightweight Neural Networks from PCA &amp; LDA Based Distilled Dense Neural Networks ICIP 2020

Lightweight Neural Networks from PCA &amp; LDA Based Distilled Dense Neural Networks ICIP 2020 MEA. Seddik 1 , 2 , , H. Essafi 1 , A. Benzine 1 , 3 , M. Tamaazousti 1 1 CEA List, France 2 CentraleSuplec, L2S, France 3 Sorbonne University,

243 views • 5 slides
1 last time SIMD (single instruction multiple data) hardware idea: wider ALUs and registers

1 last time SIMD (single instruction multiple data) hardware idea: wider ALUs and registers

1 last time SIMD (single instruction multiple data) hardware idea: wider ALUs and registers Intels interface _mm sharing the CPU: context switching context = visible CPU state (registers, condition codes, PC, ) exceptions = OS gets run

1.42k views • 129 slides
Another Dynamic Algorithm: Scoreboard Summary Tomasulo Algorithm Speedup 1.7 from compiler;

Another Dynamic Algorithm: Scoreboard Summary Tomasulo Algorithm Speedup 1.7 from compiler;

Another Dynamic Algorithm: Scoreboard Summary Tomasulo Algorithm Speedup 1.7 from compiler; 2.5 by hand For IBM 360/91 about 3 years after CDC 6600 BUT slow memory (no cache) limits benefit Goal: High Performance without special

303 views • 3 slides
Lecture 22: NoSQL Finale Wednesday, April 22, 2015 Announcements Course evaluations will be

Lecture 22: NoSQL Finale Wednesday, April 22, 2015 Announcements Course evaluations will be

Lecture 22: NoSQL Finale Wednesday, April 22, 2015 Announcements Course evaluations will be done online Today: continue and finish MongoDB Also today: Quiz 7 MongoDB Roadmap Data model JSON syntax Semi-structured data

407 views • 27 slides
Scenario Workshop SOUTHEAST GUIDING COALITION ENROLLMENT AND PROGRAM BALANCING November 12, 2020

Scenario Workshop SOUTHEAST GUIDING COALITION ENROLLMENT AND PROGRAM BALANCING November 12, 2020

Scenario Workshop SOUTHEAST GUIDING COALITION ENROLLMENT AND PROGRAM BALANCING November 12, 2020 - Slide 1 Meeting Objectives Select a proposal for presentation at the November 19 open house Review virtual open house format and identify

591 views • 23 slides
Objectives of the Course Parallel Systems: Understanding the current state-of-the-art in

Objectives of the Course Parallel Systems: Understanding the current state-of-the-art in

Objectives of the Course Parallel Systems: Understanding the current state-of-the-art in parallel programming technology Getting familiar with existing algorithms for number of application areas Distributed Systems:

324 views • 14 slides

More recommend