Two presentations given at Strange Loop by Philip Wadler.
Strange Loop videos by Philip Wadler
Reply
Category Archives: Programming
TCL commands
DejaGnu
Some notes with regard to DejaGnu:
JSON spec
Some notes about the JSON spec:
Red Programming Language
This is fun. A Lisp called Red.
Bret Victor The Future of Programming
This is good fun: Bret Victor The Future of Programming.
The seven programming ur-languages
This is an article with a list of very different types of programming language all of which are worth learning: The seven programming ur-languages.
In addition to ALGOL languages (which every one needs to know), check out:
- Lisp: PLT Racket
- ML: Haskell
- Self: Self
- Prolog: Prolog
- Forth: gForth1
- APL: K (via ok)
Post’s theorem
I’m not ready for this, but I wish I was: Post’s theorem.
“Categories for the Working Hacker” by Philip Wadler
An intro to category theory: “Categories for the Working Hacker” by Philip Wadler.
Let Over Lambda
I am not yet ready for Let Over Lambda, but one day I will be.