Robert Fisher
Just thinking out loud
Scheme
If you register and log in you can add comments to my pages. If viewing the main blog page, click the # underneath an entry to comment on it.
My current programming fad is Scheme.
- Scheme idioms
- Scheme in HTML
- Scheme nand & nor
- C vs Scheme
- On prefix notation
- The actors model and origin of Scheme
- Scheme implementations
- Scheme is inside out
- Things for Scheme
Other programming things:
- Programming languages
- Do ranges overlap
- C standard library names
- On exceptions
- Programming books
- Parameters & arguments
- Eager & lazy
- Forward & backwards chaining
- On variable naming conventions
- On floating point
- C idioms
- C i18n
- EcmaScript idioms
- Self notes
- Problems with the C++ standard library
- Everything is a...
- Kinds of procedures
Notes:
- To make the shbang line in scripts more portable:
#!/usr/bin/env perl - To make small C test programs as easy as scripts: compileAndGo
- User friendly console interfaces for scripts: dialog
- To record a terminal session: script
Some questions to explore:
- Is there anything that another language can express eloquently that cannot, via a library, be expressed as eloquently in Scheme? (Heavily subjective, of course.)
- If we can add back chaining to Scheme via
amb, can we do something similar for forward chaining? - If I shadow 'car' &
cdrto provide support for streams as well as lists, would library procedures--map,for-each--use my version ofcar&cdror the originals?
Topics to do:
- C++ idiom: a template for autointializing
- Java idiom: mutable final locals & anonymous inner classes (i.e. Getting closer to closures)
- Another Java idiom: Double brace initialization
- Improved infix macro & in-range macro
To do:
- Program to turn an abc file with one "entry" per note into proper typesetting
- CISE/SEXC
- Batsh: Sort of something between a shell script & a make file
Languages I need to explore:
- Dylan
- Erlang
- Haskell
- Rebol?
- Lua (very similar to EcmaScript?)
Programming paradigms (& their fundamental activities): (See There are exactly three paradigms)
- functional (reduction of applicative terms) (Lambda calculus)
- imperative (assignment) (Turing machine)
- logic (satisfying predicates) (logic)
Programming concepts: (Just making some notes to see if they ever go anywhere...)
- Sequence
- Assignment
- Indirection
- Iteration
- Recursion
- Concurrency
The problem with Smalltalk & Self was eloquently illustrated by Meredith L. Patterson.
Smalltalk won't meet you outside Smalltalk's apartment. Smalltalk says that if you really loved it, you wouldn't leave.
Links:
- Tigger on Scheme
- Lisp in 10 bullet points
- Java v. Lisp case study: DNS
- RTML
- C++ Templates are Turing Complete (PDF)
- Something I should read: On the Expressive Power of Programming Languages
- Every language fixes something
- Why numbering should start at zero argues that a ≤ x < b is the preferred way to express ranges.
- Mosquito Lisp
- paste.lisp.org
last updated 2 months ago #
