Principles of Programming Languages Lecture 1: Introductionarusoaie.andrei/lectures/PLP/...Principles of Programming Languages - Motivation I Learning a new PL is nowadays a requirement

Principles of Programming LanguagesLecture 1: Introduction

Andrei Arusoaie1

1Department of Computer Science

Fall 2020

Outline

General course information

Preliminary discussion

History

Main Paradigms

Principles of Programming Languages - Motivation

I Learning a new PL is nowadays a requirementI “Programmers need to move from one PL to another with

naturalness and speed” [Gabbrielli2010]I PLs have their similarities, analogies, inherited

characteristics

GOAL:

understand the basic mechanisms behind the creation of a PL

characteristics

GOAL:

characteristics

GOAL:

characteristics

GOAL:

Skills to develop

I The definition of a programming language:

Syntax + Semantics

I Have a better understanding of the PLs you already knowI Ability to learn a new PL fastI Get familiar with a framework for defining languages

Skills to develop

Syntax + Semantics

Skills to develop

Syntax + Semantics

Skills to develop

Syntax + Semantics

Principles of Programming Languages - Organisation

I Team: Andrei Arusoaie and Andreea BuţerchiI Period: 1st semester (Fall 2020), 2nd yearI https://www.uaic.ro/studii/structura-anului-universitar/

I 14 (full activity) weeksI Final grade = 40 (assignments) + 60 (semester project)I Assignments: 9 assignments; mandatory: 3,4,5,7,9I Project: 60 points=15 (syntax)+15 (seman-

tics)+10(assembly)+10(compilation)+10(certification)I Bonuses: interesting projectsI Criteria: assignments(3,4,5,7,9) + syntax + semantics

https://www.uaic.ro/studii/structura-anului-universitar/

Principles of Programming Languages

Course description:I RO: https://profs.info.uaic.ro/~arusoaie.

andrei/lectures/PLP/Fisa_disciplinei_PLP.pdf

I EN: https://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/Fisa_disciplinei_PLP_en.pdf

Fall 2020:I https://profs.info.uaic.ro/~arusoaie.andrei/

lectures/PLP/2020/plp.html

https://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/Fisa_disciplinei_PLP.pdfhttps://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/Fisa_disciplinei_PLP.pdfhttps://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/Fisa_disciplinei_PLP_en.pdfhttps://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/Fisa_disciplinei_PLP_en.pdfhttps://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/2020/plp.htmlhttps://profs.info.uaic.ro/~arusoaie.andrei/lectures/PLP/2020/plp.html

Bibliography

I Bibliography:1. Software Foundations - Volume 2, Benjamin C. Pierce,

Arthur Azevedo de Amorim, Chris Casinghino, MarcoGaboardi, Michael Greenberg, Cătălin Hriţcu, VilhelmSjöberg, Andrew Tolmach, Brent Yorgeyhttps://softwarefoundations.cis.upenn.edu/plf-current/index.html

2. Programming Languages: Principles and Paradigms,Maurizio Gabbrielli, Simone Martinihttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdf

3. Practical Foundations of Programming Languages, RobertHarperhttps://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf

https://softwarefoundations.cis.upenn.edu/plf-current/index.htmlhttps://softwarefoundations.cis.upenn.edu/plf-current/index.htmlhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttps://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf

Labs

I Lab: Coq

I Web: https://coq.inria.fr/

I Software Foundations - Volume 2, Benjamin C. Pierce,Arthur Azevedo de Amorim, Chris Casinghino, MarcoGaboardi, Michael Greenberg, Cătălin Hriţcu, VilhelmSjöberg, Andrew Tolmach, Brent Yorgeyhttps://softwarefoundations.cis.upenn.edu/

plf-current/index.html

https://coq.inria.fr/https://softwarefoundations.cis.upenn.edu/plf-current/index.htmlhttps://softwarefoundations.cis.upenn.edu/plf-current/index.html

Labs

I Lab: Coq

I Web: https://coq.inria.fr/

I Software Foundations - Volume 2, Benjamin C. Pierce,Arthur Azevedo de Amorim, Chris Casinghino, MarcoGaboardi, Michael Greenberg, Cătălin Hriţcu, VilhelmSjöberg, Andrew Tolmach, Brent Yorgeyhttps://softwarefoundations.cis.upenn.edu/

plf-current/index.html

https://coq.inria.fr/https://softwarefoundations.cis.upenn.edu/plf-current/index.htmlhttps://softwarefoundations.cis.upenn.edu/plf-current/index.html

Today’s lecture

1. Preliminary discussion2. History3. Programming paradigms4. Debate & preparing lab

Today’s lecture

Quick questions, debatable answers

I What is a programming language?I Why do we need programming languages?I Which languages have you heard about?I Have you ever created your own programming language?I How to design a programming language?I What is the best programming language?

History - I

I Programming computersI 1944: ASCC/MARK I

I built by IBM and Harward Univ., H. AikenI programmed using punched tapes and external physical

media (like switches)I 10 m length, 4 tones, very expensive

I 1946: ENIACI J. Mauchly and J.P. Eckert, early (design) J. von NeumannI Orders of magnitude faster than humans at computingI no storageI programmed using external physical media (electrical

cables)I used to calculate ballistic trajectories

History - I

I Programming computersI 1944: ASCC/MARK I

I built by IBM and Harward Univ., H. AikenI programmed using punched tapes and external physical

media (like switches)I 10 m length, 4 tones, very expensive

I 1946: ENIACI J. Mauchly and J.P. Eckert, early (design) J. von NeumannI Orders of magnitude faster than humans at computingI no storageI programmed using external physical media (electrical

cables)I used to calculate ballistic trajectories

History - II

I 1949: EDSAC - the first “computer” in the modern senseI electronic and digitalI able to perform four elementary arithmetic operationsI programableI storage of programs and data

History - III

I 1GL (first generation languages): machine languageI elementary instructions immediately executable by a

processorI coding: completely manualI hard to use, too “machine connected”I people realized that they need something closer to the

user’s natural languageI 2GL: (second generation languages): assembly language

I introduced to ease the developmentI symbolic representation of the machine languageI translated into machine codeI downside: each machine has its own assembly language

History - III

I 1GL (first generation languages): machine languageI elementary instructions immediately executable by a

processorI coding: completely manualI hard to use, too “machine connected”I people realized that they need something closer to the

user’s natural languageI 2GL: (second generation languages): assembly language

I introduced to ease the developmentI symbolic representation of the machine languageI translated into machine codeI downside: each machine has its own assembly language

History - IV

I 1950 – 3GL: high-level languagesI abstract languagesI ignore the physical characteristics of the computerI well suited to express algorithms

I 1950: ALGOL = ALGOrithmic Languages (family oflanguages)

I 1957: FORTRAN = FORmula TRANslationI 1960: LISP = LISt ProcessorI However, the development was still an issueI Lots of human resources required, expensive hardware

History - IV

History - V

I 1970’s: microprocessor; batch processingI Further abstractions pushed PL development to what PL

are todayI New paradigms: object-oriented, declarative programmingI The C language: Dennis Ritchie and Ken Thompson

I Initially designed for the UNIX operating systemI Successor of BI Followed by: Pascal, SmallTalk

I Declarative languages: ML (Meta Language), PROLOG

History - V

History - VI

I 1980’s: the PC eraI 1986: C++ - Bjarne StroustrupI 1989: HTML - T. Berners-Lee, Python - Guido van RossumI 1990’s: internet, WWWI 1990-1995: Java - Jim Gosling at SUNI 1994 : PHP - Rasmus LerdorfI 2000 : (Microsoft) C# - Anders HejlsbergI 2004 : Scala - Martin OderskyI 2012 : Go - at Google Inc. (started in 2007 by R.

Griesemer, R. Pike, K. Thompson)I 2014 : Swift - at Apple Inc. (started in 2010 by Chris

Lattner)

History - VI

I 1980’s: the PC eraI 1986: C++ - Bjarne StroustrupI 1989: HTML - T. Berners-Lee, Python - Guido van RossumI 1990’s: internet, WWWI 1990-1995: Java - Jim Gosling at SUNI 1994 : PHP - Rasmus LerdorfI 2000 : (Microsoft) C# - Anders HejlsbergI 2004 : Scala - Martin OderskyI 2012 : Go - at Google Inc. (started in 2007 by R.

Griesemer, R. Pike, K. Thompson)I 2014 : Swift - at Apple Inc. (started in 2010 by Chris

Lattner)

Main programming paradigms

1. Imperative programmingI First do this and then do that

2. Object-oriented programmingI Model the world using objects that exchange messages

3. Functional programming1I Evaluate an expression and pass the result

4. Logic programming1I Answer questions by searching a solution

1Part of the Declarative programming paradigm

Imperative programming

Example program:

read(n);s = 0;if (n < 0) {

print "error";} else {

while (n > 0) do {s = s + n;n = n - 1;

}}

I Requires a program stateI Execution is (incrementally)

changing the program stateI Instructions: assignment,

decisional, loopsI First class value: variable

Example program:

read(n);s = 0;if (n < 0) {

while (n > 0) do {s = s + n;n = n - 1;

}}

Example program:

read(n);s = 0;if (n < 0) {

while (n > 0) do {s = s + n;n = n - 1;

}}

Example program:

read(n);s = 0;if (n < 0) {

while (n > 0) do {s = s + n;n = n - 1;

}}

Example program:

read(n);s = 0;if (n < 0) {

while (n > 0) do {s = s + n;n = n - 1;

}}

Object-Oriented Programming

Example (Java):

public class Person {private String name;Person(String name) {this.name = name;

}public String getName() {return name;

}}

// in the main functionDriver john = new Driver("John");john.startDriving();boolean status = john.getStatus();

public class Driver extends Person{private boolean isDriving;Driver(String name) {super(name);isDriving = false;

}public void startDriving() {isDriving = true;

}public boolean getStatus() {return isDriving;

}}

Object-Oriented Programming

I Model using objects and classesI Objects exchange messages (dispatch/message passing)I Abstraction, EncapsulationI Inheritance, Polymorphism, Overriding, Overloading

Functional programming

Example:(Haskell)

mysum :: Integer -> Integermysum n = if (n < 0)

then 0else n + mysum (n - 1)

Run:

> mysum 1055> mysum 00> mysum (-3)0

I Computations = evaluation of mathematical functionsI No state!I Non-mutable valuesI First class value: function

Example:(Haskell)

Run:

Example:(Haskell)

Run:

Logic Programming

Example (Prolog):

man(john).man(dan).man(mark).father(john, mark).father(mark, dan).

grandfather(X,Y) :- man(X),man(Y),father(X,Z),father(Z,Y).

Search solution:

1 ?- father(mark, dan).true.2 ?- grandfather(mark, dan).false.3 ?- grandfather(john, dan).true.4 ?- grandfather(X, dan).X = john .

I Algorithm = Logic + ControlI Programmer provides a logical specificationI An interpreter searches for the solution using resolution

Logic Programming

Example (Prolog):

Search solution:

Logic Programming

Example (Prolog):

Search solution:

Domain Specific Languages

I Web: HTML, CSS, scripting (e.g., Javascript, PHP)I Databases: SQLI Algebraic: Maude, CafeOBJI Modelling: UMLI WSC: BPELI Regex text processing: PerlI Programming languages: Rascal, Spoofax, Coq, Racket,

K, ...I ...

Debate

Which paradigm is better?

Indeed, this question is stupid...

Debate

Which paradigm is better?

Indeed, this question is stupid...

What’s next?

I PL = Syntax + SemanticsI Syntax:

I how can we combine symbols to create correct programs?I Grammars (BNF = Backus-Naur Form)

I Semantics: what programs mean?I Other things related to PLs: pragmatics, compilers, etc.

What’s next?

Questions?

Bibliography:I Chapter 13 from Programming Languages: Principles and

Paradigms, Maurizio Gabbrielli, Simone Martini, Online:http://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdf

http://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdfhttp://websrv.dthu.edu.vn/attachments/newsevents/content2415/Programming_Languages_-_Principles_and_Paradigms_thereds1106.pdf

General course informationPreliminary discussionHistoryMain Paradigms