course introduction
play

Course Introduction Dr. Mattox Beckman University of Illinois at - PowerPoint PPT Presentation

Mar 27, 2023 •491 likes •773 views

Introduction and Logistics Course Haskell Bibliography Course Introduction Dr. Mattox Beckman University of Illinois at Urbana-Champaign Department of Computer Science Introduction and Logistics Course Haskell Bibliography Table of

  1. Introduction and Logistics Course Haskell Bibliography Course Introduction Dr. Mattox Beckman University of Illinois at Urbana-Champaign Department of Computer Science

  2. Introduction and Logistics Course Haskell Bibliography Table of Contents Introduction and Logistics Objectives Course Course Overview Haskell Picking a Language Bibliography

  3. Introduction and Logistics Course Haskell Bibliography Welcome to CS 421! Topics for discussion: ◮ Logisitics — instructor, grades, course objectives, lecture format ◮ What is a Language? — Models of computation, REPL ◮ Haskell ◮ How to suceed in this class.

  4. Introduction and Logistics Course Haskell Bibliography Me! Name Mattox Beckman History PhD, Fall 2003, University of Illinois at Urbana-Champaign Lecturer 2013–2015 Illinois Institute of Technology Research Areas Programming Languages, Mathematical Foundations of Computer Science, CS Education Specialty Partial Evaluation, Functional Programming Professional Interests Teaching; Partial Evaluation; Interpreters; Functional Programming; Semantics and Types; Category Theory Personal Interests Cooking; Go (Baduk, Wei-Qi, Igo); Theology and Philosophy; Evolution; Meditation; Kerbal Space Program; Home-brewing; ... and many many more ...

  5. Introduction and Logistics Course Haskell Bibliography My Responsibilities My job is to provide an “optimal learning environment”. ◮ Assignments will be clearly written and administered. ◮ Questions will be answered in a timely fashion. ◮ Objectives of lectures and assignments will be clearly communicated. ◮ Grades will be fair, meaningful, and refmect mastery of course material. ◮ If something’s not going the way it should, tell me!

  6. Introduction and Logistics Course Haskell Bibliography Your Responsibilities ◮ Check the course web page frequently. ◮ Subscribe to Piazza and have at least digest email. ◮ Do the homework assignments in order to learn them. ◮ Attend lectures if at all possible. ◮ Take responsibility and initiative in learning material — experiment! You are the one primarily responsible for your education.

  7. Introduction and Logistics Course Haskell Bibliography Lectures Speaking of lectures... ◮ The lecture is ancient technology; invented before the printing press. ◮ What usually happens during a lecture?

  8. Introduction and Logistics Course Haskell Bibliography Attention vs. Time

  9. Introduction and Logistics Course Haskell Bibliography Some observations about learning ◮ Traditional lectures are hard because: 1. You have to be there at a certain time. 2. ...and you have to be awake. 3. ...and you can’t “rewind” if you miss something. 4. But at least you can ask questions! (If you’re not shy.) ◮ Homeworks are hard because: 1. What seemed obvious in lecture is not obvious later. 2. You can’t ask the professor for help until offjce hours (or until (if) they check their email). 3. The one time you see the professor is during lecture, and then they are busy lecturing. ◮ Proposal: we’re doing this backwards. Let’s do it the right way instead.

  10. Introduction and Logistics Course Haskell Bibliography Reverse Lectures The Right Way ◮ Lectures will be screen-cast and made available on the course web site. ◮ Usually 2–3 mini-lectures, about 10–20 minutes each. ◮ Viewable on mobile devices. ◮ Hard part: you do need to see them before the corresponding class period. ◮ During class: ◮ Review time: “Any questions about the lectures?” ◮ Activity. Work in groups of 2–3 people, reinforce lecture concepts, prepare you for exams. Activites are collectively worth 5% of your grade. ◮ This method is not common, but has been thoroughly tested, and it works .

  11. Introduction and Logistics Course Haskell Bibliography Contact Info Instructor Mattox Beckman Best Contact via email. I use inbox zero, but not on weekends. Email Addresses <mattox@illinois.edu> . Offjce 2227 Siebel Center Offjce Hours 11:00–12:00 T,W; by my offjce (2227 Siebel) Teaching Assistants We’ve got fjve, plus four course assistants!

  12. Introduction and Logistics Course Haskell Bibliography Machine Problems ◮ Machine Problems — collectively worth 15% ◮ Designed to help you study for the exams, and to achieve major course objectives. ◮ Full collaboration allowed for the programming part, but you must cite your sources! ◮ There will be a followup Machine Lab for many of these. ◮ Don’t use the “perturbation method” of solving machine problems! We expect you to understand the solution and the process very well. ◮ Expect eight assignments, and expect this number to change.

  13. Introduction and Logistics Course Haskell Bibliography Machine Labs ◮ Collectively worth 15% ◮ There are fjve of them. ◮ We give you an MP solution with some interesting bits deleted. ◮ We may give you something similar to your MP.... ◮ You get one hour to complete the solution. ◮ Idea: testing if you learned the material on the MP.

  14. Introduction and Logistics Course Haskell Bibliography Exams/Quizzes ◮ The purpose of an exam is to measure mastery of material. ◮ We’ll use the computer based testing center. ◮ Exams are subdivided into profjciency units. ◮ The fjnal exam will retest many of the profjciency units. If you improve your score, we update your midterm score with it! ◮ Two midterms: 20% each. ◮ Final exam: 25%

  15. Introduction and Logistics Course Haskell Bibliography Grade Guarantees 99 A+ 93 A 90 A- 87 B+ 83 B 80 B- 77 C+ 73 C 70 C- 60 D <60 F We will take the average of the top 5% undergraduate scores, and then take a percentage of that to determine the grade cutoffs.

  16. Introduction and Logistics Course Haskell Bibliography Table of Contents Introduction and Logistics Objectives Course Course Overview Haskell Picking a Language Bibliography

  17. Introduction and Logistics Course Haskell Bibliography Why study languages? ◮ pai sei ◮ Blub — see Beating the Averages by Paul Graham. ◮ Language Families

  18. Introduction and Logistics Course Haskell Bibliography Themes The Big Idea A Programming Language is an Implementation of a Model of Computation The course has three major themes: 1. Languages What is a language? What kinds of things can we say in a language? This covers a lot of areas. 2. Parsing How do we get the computer to read what we said? 3. Interpreting and Compiling How do we get the computer to do what we said?

  19. Introduction and Logistics Course Haskell Bibliography Four Fundamental Models A programming language is a model of computation. Models ◮ von Neumann Machine ◮ Lambda Calculus (or term rewriting) ◮ Message Passing ◮ Unifjcation We’ll go over these in more detail as the course progresses.

  20. Introduction and Logistics Course Haskell Bibliography So, what should you learn? ◮ Understand major classes of programming languages: techniques, features, styles. ◮ How to select an appropriate language for a given task. ◮ How to read a formal specifjcation of a language and implement it. ◮ How to write a formal specifjcation of a language. ◮ Four Powerful Ideas: 1. Recursion 2. Abstraction 3. Transformation 4. Unifjcation The emphasis is on learning the theory, knowing why the theory is valuable, and using it to implement a language.

  21. Introduction and Logistics Course Haskell Bibliography How am I going to learn it? There are two common approaches to teaching a PL course. ◮ Approach 1: “Language of the Month Club” ◮ Lots of time spent on syntax, fundamentals tend to get lost. ◮ You’ll forget them all anyway. ◮ Approach 2: “Host Language” ◮ Learn one language, use it to write interpreters for all the other languages. ◮ You actually get to see how a language is put together.

  22. Introduction and Logistics Course Haskell Bibliography Table of Contents Introduction and Logistics Objectives Course Course Overview Haskell Picking a Language Bibliography

  23. Introduction and Logistics Course Haskell Bibliography How to Pick an Implementation Language ◮ You all know a lot about Imperative/OO languages. ◮ Few or none of you know anything about functional languages. ◮ Functional languages are becoming increasingly important: ◮ Roughly four times the programmer productivity. ◮ Parallel computation ◮ Our main language is Haskell.

  24. Introduction and Logistics Course Haskell Bibliography Features of Haskell ◮ It’s an advanced higher order functional language. ◮ Has a very modern, concise syntax. ◮ Has automatic type inference with parametric polymorphism. ◮ Used a lot in research, and extremely infmuential in the development of other languages. ◮ Extremely well suited for writing languages.

  25. Introduction and Logistics Course Haskell Bibliography Demo of Haskell You should have a Project Euler activity handout. Try it now, and in a few minutes, the instructor will show you how to solve these in Haskell.

  26. Introduction and Logistics Course Haskell Bibliography Table of Contents Introduction and Logistics Objectives Course Course Overview Haskell Picking a Language Bibliography

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

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION &amp; FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
Concepts of Higher Programming Languages Chapter 2: A Taste of Functional Programming and Haskell

Concepts of Higher Programming Languages Chapter 2: A Taste of Functional Programming and Haskell

Concepts of Higher Programming Languages Chapter 2: A Taste of Functional Programming and Haskell Jonathan Thaler Department of Computer Science 1 / 24 What is Functional Programming? A style of programming with the basic method of computation

355 views • 24 slides
Termination checking for a lazy functional language Neil Mitchell Neil Mitchell - Termination

Termination checking for a lazy functional language Neil Mitchell Neil Mitchell - Termination

Termination checking for a lazy functional language Neil Mitchell Neil Mitchell - Termination Checking 1 Overview Background Properties of functional languages Bottom , Lazy, Higher order Total programming Sized Types

354 views • 20 slides
CSE 3401 Functional and Logic Programming York University CSE 3401 Vida Movahedi 1 York University

CSE 3401 Functional and Logic Programming York University CSE 3401 Vida Movahedi 1 York University

CSE 3401 Functional and Logic Programming York University CSE 3401 Vida Movahedi 1 York University CSE 3401 V. Movahedi CSE 3401 CSE 3401 SC/CSE 3401 3.00 Functional and Logic Programming SC/CSE 3401 3.00 Functional and Logic

381 views • 6 slides
Functional Programming in Education George Wilson Data61/CSIRO george.wilson@data61.csiro.au

Functional Programming in Education George Wilson Data61/CSIRO george.wilson@data61.csiro.au

Functional Programming in Education George Wilson Data61/CSIRO george.wilson@data61.csiro.au 15th May 2019 University First year, first semester Which language? class Hello { public static void main(String[] args) {

469 views • 43 slides
Pragmatism, Puritanism and Functional Programming Ben Moseley ben@moseley.name TechMesh - 4

Pragmatism, Puritanism and Functional Programming Ben Moseley ben@moseley.name TechMesh - 4

Pragmatism, Puritanism and Functional Programming Ben Moseley ben@moseley.name TechMesh - 4 December Pragmatism, Puritanism and Functional Programming Ben Moseley ben@moseley.name TechMesh - 4 December 2012 Pragmatism, Puritanism and

1.22k views • 105 slides
PROGR OGRAMMING NG IN N HA HASKE KELL LL Chapter 1 - Introduction 0 What is a Functional

PROGR OGRAMMING NG IN N HA HASKE KELL LL Chapter 1 - Introduction 0 What is a Functional

PROGR OGRAMMING NG IN N HA HASKE KELL LL Chapter 1 - Introduction 0 What is a Functional Language? Opinions differ, and it is difficult to give a precise definition, but generally speaking: Functional programming is style of

278 views • 15 slides
Graded monads in program analysis Andrej Ivakovi c Department of Computer Science and

Graded monads in program analysis Andrej Ivakovi c Department of Computer Science and

Graded monads in program analysis Andrej Ivakovi c Department of Computer Science and Technology University of Cambridge BCTCS 2020, 7 April Graded monads in program analysis Andrej Ivakovi c Overview Background Monads and graded

219 views • 18 slides
Basic Idea The main task of a functional programmer should be to specify what has to be

Basic Idea The main task of a functional programmer should be to specify what has to be

Basic Idea The main task of a functional programmer should be to specify what has to be evaluated in parallel, and not Parallel functional programming how the parallel evaluation has to be organized. Parallelism from a functional

322 views • 9 slides

More recommend