ITEC 380 2012fall ibarland tlewis32

home—lectures—exams—hws—breeze (snow day)

Lectures

Note that pages might change, even just before or just after a lecture. The lecture notes are intended as an aid, but are no replacement for attending class.

• lect-week01.html
• lect01a—Why study programming languages?
• lect01b—Racket intro
• lect01c-examples.ss
• lect01c-root1.rkt
• lect01c—Racket intro continued: functions
• lect01c.rkt
• lect02a.txt
• lect02b—recipe; union types
• lect02c.rkt
• lect03a.rkt
• lect03b.rkt
• lect04b.rkt
• lect05bc.rkt
• lect06b.rkt
• lect06c.rkt
• lect07a—intro grammars/BNF
• lect07b—grammars, cont.
• lect08-ancestor-tree.rkt
• lect08-Ancestor-Trees-java/
• lect08b.html
• lect09a—Trees in Java
• lect09b—data def'n for a grammar: internal representation of parse-tree
• lect09c.rkt
• lect10b—prolog intro
• lect11a-prolog-basics2—prolog intro
• lect11b-prolog-lists—lists in prolog
• lect12a-prolog-numbers—numbers in prolog
• lect12b—sorting in prolog: and quicksort in several langauges
• lect12c.rkt
• lect13a-scope-objects—let over lambda
• lect13a-scope-objects.rkt
• lect13a.html
• lect13b—inheritance: also in C++: pass-by-reference
• lect13c—class- vs instance-based object systems: i.e. java vs javascript
• lect14a-macros—macros
• lect14b-macro-memoize.rkt

Helpful Links

• a Racket Style Guide (sections 4 and 5 are pertinent for learners).
• Adding type-checking: If you want (run-time) type-checking in your Racket programs, see contract-examples.rkt.

home—lectures—exams—hws—breeze (snow day)

©2012, Ian Barland, Radford University Last modified 2012.Dec.06 (Thu)

Please mail any suggestions (incl. typos, broken links) to ibarlandradford.edu