Web Surfing
Send me comments, questions, whatever.
When I'm web surfing, I enjoy finding pointers from other people's home pages
to stuff they think is interesting.
I've found some of my favorite pages that way.
So it seems only fair that I should do for others like I'd have them do unto
(unfor?) me.
This page is really just a hotlist with delusions of grandure:
when I find a URL that I want to hang on to, for whatever reason,
I put it here.
Making it globally available is my way of contributing to WebCulture.
Since I'd be putting in the effort to maintain my "hotlist" anyway,
I can get the satisfaction of contributing at essentially no extra cost.
It's still just my hotlist, though.
Traditionally, major web indices —the classic example being
yahoo—
started a lot like this page, with grad students trying to organize
their own growing collection of links, and they just kept growing.
I can't afford to let that happen; there are already good
general indices out there and I just don't have the time.
I sincerely hope you find lots of fun and interesting stuff here,
and I'm making it available to you in the hopes that you will,
but it isn't intended to be a web index per se.
Some of the pointers from here are to other people's pages that
are pretty comprehensive, such as
FAQs,
but these pointers are only here because I decided I wanted them.
Every pointer on this page is here on my sufferance.
Because there are lots of different reasons for me to want to keep a URL,
and all of them end up here, you'll find an enormous range of variation
in the quality of the stuff here.
IMHO, some of it's really neat, some of it is just barely worth saving,
and most of it is somewhere in between.
Deciding which is which is left as an exercise for the student.
After about a year as a web publisher,
I came to appreciate just how often pages on the web move around.
Nothing seems to stay put.
Of course I'd update a URL when I noticed it was out of date,
but I didn't even know how long ago I'd last tested each URL.
So I instituted the following time-keeping system.
Each entry has one or two dates on it.
The first date is the last time the URL was changed.
If this date is recent, either I've just added the pointer,
or I've just changed it because I discovered the target page had moved.
If this date is old, I haven't changed the URL in a long time.
The second date, if any,
is a more recent time as of which I know the pointer still worked.
If there is no second date,
that's because it would be the same as the first date.
If the first date is old and the second date is recent,
you're looking at a fairly stable URL:
I put it in a long time ago, and it was still working pretty recently.
If a stable URL like that doesn't work for you,
there's a good chance the problem is only temporary.
-
Meta-information
-
Google
(18-Sep-01; 06-Dec-09)
-
AltaVista
(26-Jan-99; 24-Nov-09)
-
Google groups
(that purchased "deja.com", that had been "Deja News",
that lived in the house that Jack built)
(12-Sep-01; 18-Jan-10)
-
People
-
WebCrawler
(15-Feb-09; 17-Nov-09)
-
General
-
Networks (and the like)
-
Shows
General
/ Conlanging
/ Sounds and symbols
/ Dictionaries
/ Thesauri
/ The Press
/ Writing
See also:
Literature,
Education,
Programming languages
-
General
-
Conlanging
(Language construction)
-
Meta
Resources
-
Conlangs
-
Adelic (if-lang, alternative consonant shift from PIE)
(22-May-09; 29-Sep-09)
-
AllNoun (artificial grammar with only nouns and 4 symbols)
(10-Sep-08; 25-Oct-09)
-
ámman îar
(24-Jan-07; 04-Sep-09)
-
Ardalambion
(Of the Tongues of Arda, the invented world of J.R.R. Tolkien)
(13-Mar-03; 06-Nov-09)
-
Asha'ille
(24-Oct-07; 03-Feb-10)
-
Bhreathanach (" the 'Q' to Brithenig's 'P' ")
(02-Jun-09; 26-Oct-09)
-
Blissymbolics Resources
(04-Aug-07; 21-Nov-09)
-
The Briefscript Project
(obnoxiously, the menu requires javascript)
(04-Oct-08; 08-Jan-10)
-
Brithenig
(clasic altlang, from Latin displacing Old Celtic in Great Britain)
(01-Jun-09; 24-Oct-09)
-
Ceqli
(started as an attempt to improve the morphology of Loglan,
then took a turn for the naturalistic)
(19-Dec-09)
-
Dapnant
(13-Jul-09; 27-Nov-09)
-
DiLingo
("the gutteral utteral, the paradigm of rhyme, the pox of vox")
(14-Jul-09; 01-Dec-09)
-
Eaiea (musical language)
(08-Dec-08; 06-Oct-09)
-
Esperanto
-
Furbish
(07-Mar-07; 22-Oct-09)
-
Gobldi Guk
(08-Oct-08; 17-Dec-09)
-
gjâ-zym-byn
(02-Apr-09; 15-Jan-10)
-
Idrani (meta-information about the creation of the language is under
"Author")
(15-Sep-08; 15-Dec-09)
-
Ilaini: the language of Valdyas (highly inflected)
(12-Jul-09; 25-Nov-09)
-
Ithkuil (designed for high information density)
(13-Feb-09; 30-Nov-09)
-
Kēlen (a language with no open lexical class of verbs)
(13-Jan-07; 25-Oct-09)
-
Láadan
(10-Jul-09; 18-Nov-09)
-
Liva (a logical language)
(01-Feb-10)
-
Lojban
(03-Feb-07; 05-Nov-09)
-
Meghean
(18-Feb-07; 17-Nov-09)
-
Nibuzigu (a musical conlang)
(01-Dec-08; 08-Feb-10)
-
Occidental
(18-Jan-10)
-
Qþyn|gài
(polysynthetic; one open word class, cf. natlang
Nootka)
(08-Feb-07; 21-Oct-09)
-
Revalency (accent on the second syllable), a musing of my own.
(just a language feature that could be used in a conlang,
therefore it's properly a resource rather than a conlang as such;
but it's creative,
therefore it seemed more appropriate here than above)
(11-Feb-07; 18-Dec-09)
-
Sasxsek (an auxlang)
(11-Dec-08; 25-Jan-10)
-
Skerre
(24-Jan-07; 01-Jan-10)
-
GRAMMAR OF SOLRESOL
(English translation of Gajewski's 1902 work)
(23-Feb-08; 17-Jan-10)
-
Sonayagema - Sona Language Meetingplace
(05-Feb-07; 19-Oct-09)
-
Re: derivatives of Heinlein's speedtalk
(11-Jan-09; 17-Oct-09)
-
Spocanian
(English pages mostly not there yet)
(20-Dec-07; 09-Dec-09)
-
το
άνευ
κλίσι
Ελληνικό
(or, TAKE: Greek without inflections — a fictional auxlang)
(17-Nov-08; 31-Jan-10)
-
Tenata (doesn't strongly classify words by lexical category)
(18-May-09; 15-Oct-09)
-
Teonaht homepage (note the Law Of Detachability)
(08-Jan-07; 03-Nov-09)
-
Tepa
(11-Jun-09; 24-Oct-09)
-
Thauliralau (nouns are uninflected)
(06-Feb-07; 06-Oct-09)
-
Tokana
(24-Jan-07; 24-Jan-10)
-
Toki Pona
(oligoisolating)
(10-Feb-07; 14-Nov-09)
-
Verdurian
(12-Jun-09; 28-Oct-09)
-
Vorlin
(vor = "a compromise between technical and aesthetic criteria")
(02-Jul-08; 29-Sep-09)
-
Wede:i
(language family, heavily agglutinative; Mark Rosenfelder)
(11-Jul-09; 21-Nov-09)
-
Wessisc Language Suite (Damon Lord)
(15-Jul-09; 04-Dec-09)
-
Ygyde (oligosynthetic, designed for high information density)
(15-Feb-07; 04-Feb-10)
-
Zhyler (a language with 57 noun cases)
(13-Feb-09; 01-Dec-09)
-
Sounds and symbols
-
Dictionaries
-
Thesauri
-
The Press
-
Writing
General
/ Authors
/ Other literature
See also:
Language
-
General
-
Authors
-
WebMuseum (quondam Le WebLouvre)
(28-Nov-00; 03-Nov-09)
-
SITO (quondam OTIS)
(26-Jun-96; 03-Dec-09)
-
MOBA
(01-Apr-09; 06-Jan-10)
I've got some things I really want to say about this.
I'll write it all up one of these days
(weeks, months . . . well, okay, years) in my
copious free time .
Meanwhile, here are some pointers to stuff by other people.
General
/ Works
/ People
/ Loosely related stuff
See also:
Religion
-
General
-
Works
-
An introduction to memes
(23-May-04; 12-Dec-09)
-
Big Medicine Central
(12-Sep-08; 25-Nov-09)
-
Viruses of the Mind
(28-Mar-03; 06-Jan-10)
-
Memetics: The nascent science of ideas and their transmission
(J. Peter Vajk;
An Essay Presented to the Outlook Club,
Berkeley, California,
January 19, 1989)
(27-Jan-04; 28-Oct-09)
-
Units, Events, and Dynamics in Memetic Evolution
(20-Oct-07; 07-Nov-09)
-
CSI | The Belief Engine
(Skeptical Inquirer —
Volume 19.3, May / June 1995,
Feature, James Alcock)
(23-Oct-09)
-
Memetics: A Systems Metabiology
(19-Oct-03; 01-Nov-09)
-
WIRED 4.05: Memetic Engineering
(26-Aug-99; 10-Jan-10)
-
The Origin of Species
(Charles Darwin, 1859)
(19-Jan-05; 09-Dec-09)
-
AskThePriest.org: Neither a Borrower nor a Lender Be...
(24-Nov-09)
-
EDGE: MIRROR NEURONS
(V.S. Ramachandran; undated, possibly 2000)
(15-Sep-00; 25-Oct-09)
-
The End of Information & the Future of Libraries
(18-Sep-98; 05-Jan-10)
-
AUTOLOGUE:
Interdiscilinary Dialogue within the Global Network Environment
(Heath Michael Rezabek, 1993)
(17-Aug-04; 04-Nov-09)
-
Propaganda critic:
index of site dedicated to propaganda analysis
(22-Oct-02; 22-Jan-10)
-
Closed Brain, Open Mind: The brain, its world model & mind
(was:
Dynamics and World-Model Creation in Novelty Reducing Neural Networks;
before that, was: Novelty and the End of the Processing Brain Paradigm;
Mervyn van Kuyen)
(11-Nov-09)
-
Genes, Memes, and Megathemes
(19-Oct-09)
-
5 videos on memetics (post on alt.memetics)
(19-Apr-09; 07-Feb-10)
-
People
-
Loosely related stuff
-
The Physical Revue, by Tom Lehrer
(23-Aug-06; 20-Dec-09)
-
This Week's Finds in Mathematical Physics
(07-Apr-08; 25-Nov-09)
-
Physics - spotlighting exceptional research
(05-Oct-08; 05-Dec-09)
-
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
(Eugene Wigner;
Communications in Pure and Applied Mathematics,
vol. 13, No. I (February 1960))
(02-Dec-07; 15-Nov-09)
-
Physics, Topology, Logic and Computation: A Rosetta Stone
| Lambda the Ultimate
(24-Jan-10)
-
"Why quantum mechanics is weird"
(ps.gz)
(pdf),
my attempt to get a handle on the conventional theory
(20-Nov-05; 09-Nov-09)
-
Determinism, locality, and meta-time,
an essay of mine on an alternative approach
(18-Mar-08; 22-Jan-10)
-
The crackpot Index (John Baez)
(05-Apr-08; 03-Dec-09)
-
The Strong Free Will Theorem (pdf)
(22-Jan-10)
-
SF Chronophysics (JBR Guide)
(08-Apr-08; 04-Dec-09)
-
Consistent Quantum Theory
(18-Mar-07; 28-Nov-09)
-
Tony Smith (One can't help speculating that the picture showing
him as a cowboy may be appropriate in more ways than one.)
(17-Aug-05; 08-Oct-09)
-
Huw Price
(22-May-05; 08-Nov-09)
-
Quantum Theory Without Observers
(10-Aug-03; 29-Dec-09)
-
The transactional interpretation of quantum mechanics
-
Physical Space as a Quaternion Structure, I: Maxwell Equations.
A Brief Note
(Peter Michael Jack)
(17-Dec-06; 21-Dec-09)
-
On the History of Unified Field Theories
(11-Apr-06; 30-Oct-09)
-
On the dimensionality of spacetime
(21-Apr-06; 19-Jan-10)
-
A. Garrett Lisi ("An Exceptionally Simple Theory of Everything")
(06-Apr-08; 16-Dec-09)
-
Two-Time Physics (Itzhak Bars)
(01-Apr-08; 01-Nov-09)
-
Shahar's Home page (time asymmetry and suchlike)
(09-Jun-08; 18-Dec-09)
-
Joy Christian
(controversy re using Clifford Numbers
to get around Bell's Inequality)
(04-Apr-08; 13-Dec-09)
-
Vacuum Modified Gravity as an explanation for flat galaxy rotation curves
(02-Jul-08; 07-Oct-09)
-
Lost Causes in Theoretical Physics by R. F. Streater
(08-Oct-06; 12-Jan-10)
-
MatWeb Material Property Data
(09-Feb-09; 22-Nov-09)
-
See also:
Math, Space
General
/ Language families
/ People
/ Abstraction Theory
-
General
-
Ulf's Home-Page of Programming Language Design
(note: he submitted his PhD dissertation in June 2005)
(29-Aug-01; 25-Nov-09)
-
Paul Graham — Essays
(07-Jul-04; 21-Oct-09)
-
Good Ideas, Through the Looking Glass | Lambda the Ultimate
(09-Oct-07; 29-Oct-09)
-
Dictionary of Programming Languages
(18-Sep-98; 04-Feb-10)
-
Programming Languages
(at least since 14-Feb-06, no longer maintained)
(30-Aug-00; 12-Dec-09)
-
HOPL: An interactive historical roster of computer languages
(22-Nov-04; 02-Feb-10)
-
Code-a-holic/LL (language list)
(20-Feb-06; 01-Jan-10)
-
99 Bottles of Beer
(10-Jun-05; 02-Jan-10)
-
List of programming languages (Wikipedia)
(17-May-04; 14-Nov-09)
-
The Language List
-
Version 2.4, January 23, 1995
(last version distributed on USENET, as far as I know)
Available as a
single web page
(Albert-Ludwigs-Universität Freiburg).
(20-Oct-99; 12-Nov-09)
-
There's a
web page, more up-to-date by some unknown (to me) but small amount,
at the University of Kansas.
(20-Sep-04; 09-Nov-09)
-
programming languages (Prof. Susan Stepney, University of York)
(05-Nov-03; 25-Dec-09)
-
The Retrocomputing Museum
(24-Jan-03; 28-Nov-09)
-
Introduction To Computer Languages (2)
(28-Sep-08; 16-Dec-09)
-
syntax across languages
(25-Mar-05; 05-Nov-09)
-
Languages versus D
(Wiki4D,
"the wiki for the D programming language")
(29-Mar-05; 08-Sep-09)
-
Rosetta Code
(08-Mar-08; 04-Nov-09)
-
NEPLS
(New England Programming Languages and Systems Symposium Series)
(13-Mar-01; 08-Nov-09)
-
The Teaching About Programming Languages Project
(19-Mar-97; 08-Oct-09)
-
Sigplan
(30-Jul-96; 25-Oct-09)
-
HOSC (Higher-Order and Symbolic Computation,
formerly Lisp and Symbolic Computation)
(18-Sep-03; 17-Oct-09)
-
Resources for Programming Language Research
(30-Jul-96; 29-Jan-10)
-
Programming Systems Research,
University of Washington
(06-Nov-00; 15-Oct-09)
-
Catalog of Free Compilers and Interpreters
(18-Sep-98; 16-Jan-10)
-
The Catalog of Compiler Construction Tools
(19-Sep-04; 25-Oct-09)
-
CISE directorate (NSF)
(25-May-05; 07-Oct-09)
-
Getting Started in Programming
(One person's attempt to answer the frequently asked question,
"What language should I learn?")
(30-Aug-00; 11-Jan-10)
-
The comp.compilers newsgroup (archive, FAQ, and such)
(07-Aug-00; 12-Jan-10)
-
Parsing
-
Advanced Programming Languages
(Jose Emilio Labra Gayo)
(13-Jan-99; 04-Dec-09)
-
Programming Language Creator (roll your own)
(08-Oct-98; 04-Oct-09)
-
Lightweight Languages 2003
(09-Nov-03; 02-Jan-10)
-
SourceForge: Software Map
(18-Jun-06; 29-Oct-09)
-
Liskov's list of papers | Lambda the Ultimate
(01-Nov-09)
-
Inspiring Papers | Lambda the Ultimate
(10-Dec-09)
-
Wouter's programming language page
(PLs designed by Wouter van Oortmerssen; almost fifty of them,
some with their own pages, some have been implemented.
Some of them are esoteric.)
(20-Feb-03; 13-Jan-10)
-
Amir Yantimirov: Programming
(09-Feb-04; 29-Dec-09)
-
Mastering recursive programming
(20-Jun-05; 24-Nov-09)
-
The Quine Page (self-reproducing code)
(12-Sep-03; 14-Nov-09)
-
Language families
Miscellaneous
Categorical languages /
Distributed computing languages /
Esoteric languages /
Extensible languages /
Functional programming /
Lisp languages /
Logic and constraint programming /
Low-level languages /
Non-programmers, programming languages for /
Object-oriented programming /
Scripting languages /
Stack-based languages /
Visual languages
-
Miscellaneous
-
Introduction to ngrease
(21-May-07; 31-Dec-09)
-
Metaphor-oriented programming
(02-Apr-07; 14-Oct-08; 07-Jan-10)
-
Language Oriented Programming: The Next Programming Paradigm
(15-Jun-07; 13-Oct-09)
-
Amorphous Computing Manifesto
(11-Dec-09)
-
Virtual machines
-
UFO -- United Functions and Objects: Draft Language Description
(16-Jun-07; 25-Oct-09)
-
Algol 68
-
Ada
-
Ada Home: the Home of the Brave Ada Programmars (HBAP)
(19-Jan-01; 12-Nov-09)
-
Libre - Home (includes a GPL implementation of Ada)
(23-Jun-08; 20-Jan-10)
-
APL
-
Dylan
(descended from Scheme and Common Lisp;
typed, and has an ALGOL-like syntax)
(05-Apr-02; 28-Nov-09)
-
aspectj
(21-Mar-03; 12-Oct-09)
-
Tom:
a software environment for defining transformations
(21-Apr-08; 26-Oct-09)
-
D Programming Language
(systems programming; power, performance, productivity)
(14-May-03; 11-Jan-10)
-
The Go Programming Language - Language Design FAQ
(Systems programming language)
(25-Nov-09)
-
Maude
(high-performance, reflective, both specification and programming)
(17-Jun-03; 11-Dec-09)
-
Mango
(08-Jan-05; 01-Nov-09)
-
Blassic (a classic Basic interpreter)
(04-Jul-05; 02-Dec-09)
-
Emergence Basic
(a language with "syntax similar to the BASIC programming language",
which pretty much sums up the eventual legacies
of all popular programming languages:
the best semantic features are all scrapped,
typically because they're hard to separate out from features
that are inconsistent with new trends in language design,
while the superficial syntax is perpetuated.
Look at C and Java....
The semantics of the successor languages aren't necessarily bad,
mind you, but I don't think any of those old languages would have been
popular if there hadn't been something worthwhile in the old semantics,
from which the successors regularly fail to learn.)
(22-Aug-07; 19-Nov-09)
-
Alice
("teaches students computer programming in a 3D environment")
(15-Apr-06; 22-Dec-09)
-
COBOL programming - tutorials, lectures, exercises, examples
(23-Apr-06; 20-Dec-09)
-
Sage
(07-Jun-06; 15-Nov-09)
-
Harpoon
("designed to provide one syntax for all range of documents, configuration files,
knowledge representations, object serialization and even for scripts and
large-scale programs")
(03-Mar-08; 29-Sep-09)
-
A Shallow Introduction to the K Programming Language
(a high-level system programming language)
(11-Apr-08; 09-Nov-09)
-
ALA7 (polymorphic lists, simplified access to machine code)
(13-Apr-08; 19-Jan-10)
-
Dodo, the programming language
(26-Nov-09)
-
Categorical languages
-
Distributed computing languages
-
Obliq (a lexically-scoped untyped interpreted language
that supports distributed object-oriented computation)
(22-Aug-09; 25-Dec-09)
-
Mentat
(24-Aug-98; 08-Oct-09)
-
Scheme 48
(04-Sep-01; 25-Nov-09)
-
O-Plan
(27-Mar-96; 26-Oct-09)
-
Erlang
(22-Apr-03; 12-Nov-09)
-
The E Language
(15-Apr-04; 08-Nov-09)
-
The Mozart Programming System
(primary implementation of Oz)
(05-Nov-07; 04-Nov-09)
-
Prose (note: also self-identifies as a scripting language)
(18-Feb-04; 12-Jan-10)
-
Esoteric languages
An "esoteric" programming language is a programming language that is
deliberately designed to be perverse.
That's in contrast to the vast majority of "non-esoteric"
programming languages, which are perverse without anyone deliberately
making them that way.
I've been thinking about designing an esoteric language myself for years,
and once I even started one; but it's been difficult for me,
because the usual way of making a language hard to use is to omit
abstraction support, and I just can't find it in my heart to design
a language that way. The obvious solution is to design a language
that supports abstraction in a perverse way — but it's hard to imagine
any way of supporting abstraction that would be more perverse than the way
C++ does it.
-
INTERCAL Resources Page
(the spiritual ancestor of all modern esoteric languages)
(24-Jan-03; 12-Oct-09)
-
Keith's Esoteric Programming Languages Page
(The Esoteric Programming Languages Webring)
(21-Jan-02; 22-Dec-09)
-
Esoteric programming languages wiki
(24-Sep-07; 04-Feb-10)
-
Funge (Wikipedia)
(01-Feb-07; 02-Jan-10)
-
4DL
(29-Oct-05; 21-Oct-09)
-
Brainf***
(22-Jun-05; 19-Nov-09)
-
The Unlambda Programming Language
(10-Mar-00; 23-Oct-09)
-
Malbolge
-
Beatnik
(29-Oct-05; 20-Dec-09)
-
HQ9+
(29-Oct-05; 02-Oct-09)
-
COW
(11-Mar-07; 10-Oct-09)
-
Whitespace
(18-Sep-07; 22-Jan-10)
-
Extensible languages
Extensibility, as a movement, was the predecessor of abstraction. 
Simula in its early years was presented as an extensible language. 
The move from extensibility to abstraction was a classic paradigm shift,
with the attendant ruthless supression of the predecessor,
to the point where the whole extensibility movement is almost invisible
in the history books
(though its erasure was more nearly complete a quarter century ago,
when object-orientation was on the rise instead of on the decline). 
In fairness,
the extensibility movement was never as big as its successor became,
although some of the more extreme paeans to the advantages of abstraction
could have been taken verbatim from writings on extensibility. 
There's been a new wave of extensible languages since around the turn
of the century.
I'm a bit concerned about a tendancy to not learn from past mistakes;
not that I don't believe in extensibility,
I just don't believe in unstructured extensibility,
just as I don't believe in unstructured control flow.
(On the difference between structure and restriction,
see my design of the
Kernel programming language,
especially guideline G4 on type encapsulation.)
-
Seed7 (easy to add statements and functions;
first-class types (of course))
(27-Jan-06; 29-Jan-10)
-
Extensible programming languages (Wikipedia)
(22-Nov-06; 26-Nov-09)
-
Parser that allow syntax extensions | Lambda the Ultimate [sic]
(10-Oct-07; 29-Sep-09)
-
Pliant
(09-Jun-09; 14-Nov-09)
-
Ivy (extensible syntax; broadly, a scripting language)
(01-Nov-05; 07-Oct-09)
-
A Conversation with Alan Kay
(ACM Queue)
(10-Feb-09; 07-Nov-09)
-
Functional programming
-
Lisp languages
-
Logic and constraint programming
-
Prolog
-
Mercury
(07-May-02; 27-Jan-10)
-
UW Constraint-Based Systems
(University of Washington)
(18-Sep-98; 10-Oct-09)
-
ToonTalk
(13-Jan-99; 19-Nov-09)
-
Kanren (A declarative applicative logic programming system)
(13-Nov-04; 21-Nov-09)
-
Qi (views itself as a "Lisp for the 21st century")
(16-Apr-09; 22-Jan-10)
-
Low-level languages
-
TERSE (algebraic assembly language for x86 processors)
(26-Apr-00; 15-Oct-09)
-
C-- (a portable assembly language)
(25-Sep-00; 09-Nov-09)
-
PL/M
-
Jolt
(15-Aug-04; 23-Dec-09)
-
Non-programmers, programming languages for
A general observation about programming languages that cater to
non-programmers:
There seem to be two diametrically opposite ways to go about it.
You can dumb down your language,
hoping to bring it within reach of non-programmers;
or you can improve it until it's so good that even non-programmers
can handle it.
(If you think that improving your language will make it harder
for non-programmers to handle, you might want to rethink
what constitutes an improvement.)
Any researcher in this area should ask,
am I trying to make my language dumb, or good?
-
Natural Programming
(18-Aug-98; 19-Sep-09)
-
Object-oriented programming
-
Scripting languages
Most new languages today are dynamic
(as Lisp programmers have always known they should be),
and capable of interoperating with other languages;
one could also ask that a scripting language support entering commands
at an interpreter prompt, but that's mostly orthogonal to paradigm,
and in principle about any language could
be implemented that way.
The criterion for including a language here is, consequently,
not merely that the language could be put here,
but that I don't see how to justify putting it anywhere else
except miscellaneous.
-
Scripting: Higher Level Programming for the 21st Century
(IEEE Computer, March 1998)
(17-Apr-04; 05-Jan-10)
-
The Rexx Language Association
(at least historically scripting,
and otherwise would be miscellaneous)
(22-Apr-99; 22-Nov-09)
-
Lua
(self-identifies primarily as a scripting language;
not exactly an extensible language in my sense,
so if not here it would be miscellaneous)
(18-Sep-03; 13-Oct-09)
-
The Falcon Programming Language
(Was once put here because it only self-identified as a scripting language;
now it claims to "provide six integrated programming paradigms".
Further study is called for; one of these times when I recheck the link,
perhaps — but my notes say it "has objects and classes,
but only incidentally;" if that's also its level of involvement
in all the other paradigms it lists, it may only reclassify as
"miscellaneous", which would be unwelcome since I already have too many
languages there.)
(08-Feb-05; 10-Oct-09)
-
Stack-based languages
-
Visual languages
-
The Juk
(general-purpose visual and functional programming language)
(04-Aug-05; 08-Sep-09)
-
People
-
Christopher Strachey (1916–1975)
(page archived at the Internet Archive)
(22-Apr-09; 22-Jan-10)
-
Peter Aczel
("A Generalized Church-Rosser Theorem", later generalized by Klop)
(07-Aug-06; 04-Feb-10)
-
Sherman Alpert
("Primitive Types Considered Harmful")
(16-May-04; 05-Oct-09)
-
Henry Baker's Archive of Research Papers
(05-Dec-02; 11-Jan-10)
-
Alan Bawden —
First-class Macros Have Types
(28-Oct-09)
-
Luca Cardelli
(23-May-08; 16-Dec-09)
-
Henning Christiansen
(his Ph.D. Thesis was "Programming as language development")
(04-Dec-97; 20-Nov-09)
-
Will Clinger
(15-Nov-02; 16-Nov-09)
-
Pierre-Louis Curien
(lambda calculi and explicit substitutions;
director of research at CNRS)
(11-Dec-07; 15-Nov-09)
-
Olivier Danvy
(calculi, continuations, partial evaluation, ...)
(19-Sep-01; 13-Jan-10)
-
E.W. Dijkstra (1930–2002)
(03-Mar-08; 03-Jan-10)
-
R. Kent Dybvig (Chez Scheme)
(17-Sep-03; 19-Sep-09)
-
Martin Erwig (monads)
(13-Oct-03; 12-Nov-09)
-
Matthias Felleisen's Home Page
(22-Jan-02; 02-Oct-09)
-
Andrzej Filinski
(his Master's Thesis was
"Declarative Continuations and Categorial Duality")
(19-Sep-01; 09-Nov-09)
-
Dan Friedman (coauthor of The Little Schemer)
(10-Dec-02; 22-Dec-09)
-
Richard P. Gabriel (Lisp)
(09-Feb-04; 07-Nov-09)
-
Paul Graham
(author of On Lisp)
(26-Sep-02; 19-Jan-10)
-
Paul Hudak (Haskell, monads, ... music)
(31-Aug-03; 14-Dec-09)
-
Mark P Jones
(monads;
'use of advanced programming technologies for system programming')
(31-Jul-06; 25-Oct-09)
-
Gregor Kiczales
(aspect-oriented programming)
(30-Mar-04; 12-Dec-09)
-
Jan Willem Klop (generalizations of λ-calculus, etc.)
(07-Jun-08; 07-Feb-10)
-
Shriram Krishnamurthi
(13-Oct-00; 20-Oct-09)
-
Cameron Laird (scripting; tcl)
(18-Aug-07; 05-Dec-09)
-
John McCarthy (LISP)
(09-Apr-04; 28-Dec-09)
-
M. Douglas McIlroy (a founding father of extensibility)
(11-Jun-04; 17-Oct-09)
-
Albert R. Meyer
(various deep theory stuff; Wand cites him for eval/quote)
(07-Aug-06; )
-
Dale Miller
(some very cool stuff at the interface between higher-order logic
and programming; he's academically a grandchild of Alonzo Church)
(17-Jun-03; 04-Oct-09)
-
John C. Mitchell
("On abstraction and the expressive power of programming languages",
1993)
(04-Nov-99; 02-Jan-10)
-
Luc Moreau ("A Syntactic Theory of Dynamic Binding")
(18-Sep-03; 01-Oct-09)
-
Kent Pitman
(09-Sep-03; 19-Nov-09)
-
Gordon Plotkin
("Call-by-Name, Call-by-Value, and the Lambda Calculus")
(04-Oct-99; 04-Nov-09)
-
John C. Reynolds
(coined the term "meta-circular evaluator")
(19-Sep-05; 13-Dec-09)
-
Tim Sheard
(lately, Generalized Algebraic Data Structures)
(28-Apr-06; 13-Oct-09)
-
Olin Shivers (lambda calculus, Scheme, control and scope, ...)
(11-Sep-07; 05-Feb-10)
-
Mike Sperber (partial evaluation, Scheme)
(21-Sep-04; 22-Nov-09)
-
Gerald Jay Sussman
(coauthor of the Wizard Book)
(20-Jan-00; 23-Oct-09)
-
Walid Taha (multi-stage programming)
(17-Jun-03; 13-Jan-10)
-
Mads Tofte
(big step operational semantics)
(18-Oct-04; 09-Nov-09)
-
Phil Wadler (GJ; monads)
(14-Feb-04; 12-Oct-09)
-
Mitchell Wand's Home Page
("The Theory of Fexprs is Trivial")
(15-Oct-02; 12-Nov-09)
-
Abstraction theory
Oxymoron:
a juxtaposition of words that narrowly misses being self-contradictory,
thus conveying its meaning with precision.
-
International Sociobiology Institute
It was at "http://hrolson.freeyellow.com/page4.html",
and disappeared when FreeYellow discontinued free Web hosting plans.
When last I checked (three years later),
there were still broken links to it all over the web, because
(1) it was pretty much the
page people linked to on sociobiology, and
(2) people don't bother to check that their web links still work,
even though broken links are rampant and can severely degrade the value of
a collection of links.
(Not that I don't know how that happens;
I too learned the hard way that web content has to be maintained,
witness my adaptive grammar pages...
but it's still kind of disappointing to see.
My surfing page is, of course, my own partial solution to the problem,
allowing me to keep a big pile of links without spending more than about
fifteen minutes a day on it... most days...)
01-Sep-00; 10-Mar-04.
-
La Paranoia Home Page.
It was at "http://www.paranoia.com/",
what is by now quite a long time ago.
25-Oct-95; 19-Nov-99.
When they took the fourth amendment, I was quiet because I didn't deal drugs.
When they took the sixth amendment, I was quiet because I was innocent.
When they took the second amendment, I was quiet because I didn't own a gun.
Now they've taken the first amendment, and I can say nothing about it.