Please Reload Every Time You Read This Page!

CSC123/252: Programming Languages, Fall 2019

Dr. Chuck C. Liang
Professor of Computer Science, Hofstra University .

Office Address:
102 Adams Hall
Hofstra University
Hempstead, NY 11550
Office Phone: (516 463) 5559

Email: cscccl@hofstra.edu (<- click to send me mail)

Official Office Hours: Tuesdays, Wednesdays, Thursdays 1-2pm or by appointment

Course Syllabus and Goals

Online Resources:

• Lambda Calculus (supplements handout).
• Scheme tutorial (REQUIRED READING)
• Gnu MIT Scheme. Install this version for windows. See installation notes
• Ruby Documentation and Download page. This page contains most of what you'll need with respect to the Ruby language.
• My "Perl Tutorial in Perl"
• Perl.org homepage. Recommend Strawberry Perl for windows.
• A Short C++ to Java Tutorial
• A Short Java to C++ Tutorial
• brief instructions on installing C#
• C# compilation and execution instructions
• C# Documentation at MSDN
• OOP Design Patterns in C# and in C++
• Some notes on type checking and type inference (pdf)
• F# Software Foundation. Recommend command line version (or this version) for windows, and mono for linux/macs. instaling/compiling instructions
• F# Microsoft language reference; More Fsharp docs/tutorial; F# predecessor OCAML
• FSharp JSON Type Provider, how to use F# for type-safe json processing, demonstrates a 'type provider', with my example
• Class notes on type inference calculi.
• Scala Language Homepage
• Rust Language Homepage. Rust Ownership and Lifetimes Article
• AspectJ Homepage. Install java first, and then the latest stable release and read the first two chapters of the programming guide, especially chapter 2.

Lambda calculus in Scheme (UPDATED), Lambda calculus in Ruby, Lambda calculus in Perl, Halting Problem in Lambda Calculus/Scheme

F# Interpreter/Compiler Assignment and base program (F# assignment 3). dll of base program
Sample compiled programs for booleans, if-else, let and lambda expressions: eq.7b, let.7b, let2.7b, lambda.7b

AspectJ Assignment (Updated with error corrections)

Submit all programming assignments (but not first assignment) on blackboard (csc123) (but not the first homework, which is a written assignment).

More Scheme Programs (files in bold are required reading)

• some scheme code, UPDATED (reload).
  
• Fibonacci function implementations
• Quicksort and Mergesort in Scheme
  
• web server in Scheme. Here's the page it serves (access within 147.4.0.0/16, may be blocked by some firewalls).
  
• Bank accounts. code follows the handout.
• Objects and inheritance in Scheme, (equivalent version in Perl)

Perl Programs (supplements the Perl tutorial. Files in bold are required reading)

• Lambda calculus in Perl
• Static versus dynamic scoping
• Closures, Dynamic Scoping and Aspect Oriented Programming. Contains subversive ideas.
• Bank Accounts!!. (alternate version using a hash table)
• OOP using packages and "bless"
• CGI program for uploading files (from a long time ago)

C# Programs ( Files in bold are required reading)

• Inheritance, static and dynamic dispatch in C#
• Type casting rules in C#
• C# Delegates, Typed Lambda Terms ; another delegate example: infinite sets
  
• invest.cs. (my example of Observer pattern), and a simple windows forms program that uses observer pattern.
  
• Expression trees programs : csc16 version, csc17 version, csc123 (visitor pattern) version, Generic-type version .
• Student Visitors (visitor pattern example)
• Notes and examples of polymorphism
• Covariant, Contravariant and Invariant types.. Here's a more practical example, and its Java equivalent.
• Differences between generics in Java and C#

F# and Scala programs:

• Expression trees, F# version, (alt version with variables and more routines)
• Adding different types of numbers in F# and Scala, compared to C#
• Iterative programming in F# and a note about recursion
• pattern recognition with finite state machine
• Abstract Machine AM7B, Version 7E3. (base for 2nd F# assignment)
• Older version of parser and evaluator (discussed in video lecture)
• teams2.fs (oop in F#, classes and inheritance)
• Active patterns, AOP, modularly extending discriminated unions
• Expression trees in Scala and how to extend them

Rust and Related Programs:

• closures and various tests
• non-shared linked lists, and sharable and mutable lists, but with compromise
• Smart pointers in C++, and simulation of some Rust runtime features in C++
• High Level Rust (numbers and expression trees), and Low Level Rust (AVL trees)
• What You Need To Know About Rust

AspectJ Programs

• First AspectJ example Contains installation and compilation instructions.
  
• Second AspectJ example superprivate.java and sptest.java
  
• Larger AOP example, with base program and aspects for: fault tolerance, tracing object creation, security, real extension method, changing a type, and preventing the spread of subversive thoughts
• Programs illustrating specific features: advice precedence, this versus target, preventing circularity, contro-flows, if pointcut, pertarget aspects
• exptree6.java: AOP version of expression tree program. Contains important theoretical remarks (read!).

Other Programs:
Three versions of Fibonacci function and compiled assembly. Illustrating tail recursion optimization.
More notes and examples of writing loops using tail recursion
Scheme style linked lists in C
Are there closures in C?
Simulating dynamic scoping with static scoping in C and Python
Inheritance and dynamic dispatch in pure C (simulated) (alt version), and C#, Kotlin
A type error in a few languages: scheme, perl, C, C#, and Kotlin
Multiple Inheritance in C++ and in Kotlin
Expression Trees in Kotlin
Extension methods in C# and in Swift
Reflection in Java (with new screenplay)
About templates in C++ with compiled assembly

Announcements:

Final exam Tuesday 12/17, 4-6pm in regular classroom, proctored by prof. Kamberova. Use the Study Guide (may be updated) with practice problems and sample solutions. Review Sesson Tuesday 12/10, 4:15-5:30pm, location TBA. Come with questions.

There will be a short QUIZ on F# basics Tuesday 11/12. It will not be difficult if you've studied and did the tutorial exercises.

Midterm exam Thursday 10/24. Use the exam study guide with practice problems and sample solutions, which are NOW AVAILABLE. Review Session Common Hour Wednesday in Adams 204