Catlang Mailing List Archive

At somepoint the archive for the catlang mailing list group on yahoo went dark. Thanks to Slava Pestov, I was able to reconstruct the archive. This is a best attempt at turning what I had into something readable.

There is currently a new mail list called Juxta on sourcehut, created by Devine.

A zip archive of all the HMTL files for this can be downloaded here or on the internet archive.

• 2000-05-01 — Moderator
• 2000-05-01 — RE: [stack] Moderator
• 2000-05-01 — Wow, a good start.
• 2000-05-01 — RE: [stack] Continuations (was: Wow, a good start)
• 2000-05-02 — RE: [stack] Inlining (was: Continuations)
• 2000-05-02 — Continuations, Oberon
• 2000-05-03 — Lambdas, Definitions
• 2000-05-04 — RE: [stack] Lambdas, Definitions
• 2000-05-04 — Preliminary Notes on a Joy-like VM written in Oberon
• 2000-05-05 — Preliminary Notes...
• 2000-05-05 — RE: [stack] Preliminary Notes...
• 2000-05-05 — Eep-oze? Yay-ross?
• 2000-05-06 — Polymorphism, threading, ...
• 2000-05-06 — Example of (potentially) polymorphic dispatch on argument types found on the sta
• 2000-05-08 — Re: Concatenative Languages: a New Mailing List
• 2000-05-08 — Joyful CLIP: early version
• 2000-05-08 — RE: [stack] Joyful CLIP: early version
• 2000-05-08 — A Parable
• 2000-05-08 — List Administration: Should Membership Be Visible?
• 2000-05-08 — Overview of Joy (was Concatenative Languages: a New Mailing List)
• 2000-05-08 — New poll for concatenative
• 2000-05-08 — RE: [stack] Overview of Joy (was Concatenative Languages: a New M ailing List)
• 2000-05-08 — Re: [stack] Overview of Joy (was Concatenative Languages: a New M ailing List)
• 2000-05-10 — The People Have Spoken!
• 2000-05-10 — Poll results for concatenative
• 2000-05-10 — Backtracking
• 2000-05-10 — Remember how we needed two stacks? Maybe we don't.
• 2000-05-10 — RE: [stack] Remember how we needed two stacks? Maybe we don't.
• 2000-05-11 — various questions
• 2000-05-11 — RE: [stack] various questions
• 2000-05-11 — RE: [stack] CLIP, CONS, Registers, Blocks, IF-ELSE-THEN (was: Joy ful CLIP: early version)
• 2000-05-12 — type checking
• 2000-05-13 — Baker Papers
• 2000-05-13 — RE: [stack] Baker Papers
• 2000-05-14 — Reversible computation and Joy
• 2000-05-15 — RE: [stack] Reversible computation and Joy
• 2000-05-19 — Complete Joy Base Without DIP
• 2000-05-20 — Joy as tree rewriting
• 2000-05-22 — Type systems and Joy
• 2000-05-22 — Re: [stack] Type systems and Joy
• 2000-05-22 — RE: [stack] Re: Joy as tree rewriting
• 2000-05-22 — Repost, Sorry, no
• 2000-05-23 — implementations
• 2000-05-23 — Re: [stack] Digest Number 19
• 2000-05-25 — Re: [stack] Digest Number 20 (should have been tree rewriting)
• 2000-05-25 — Re: tree rewriting
• 2000-05-25 — Type Systems (was: [stack] Re: tree rewriting)
• 2000-05-25 — joy applications
• 2000-05-25 — RE: [stack] joy applications
• 2000-05-25 — RE: [stack] Re: tree rewriting
• 2000-05-28 — solitaire encryption in joy
• 2000-05-28 — Re: [stack] Digest Number 24
• 2000-05-31 — Re: [stack] Digest Number 26
• 2000-05-31 — Re: [stack] Digest Number 27
• 2000-06-02 — Re: [stack] Digest Number 28
• 2000-06-03 — Joy in Avail
• 2000-06-03 — Re: [stack] Joy in Avail
• 2000-06-03 — a better k parser for joy
• 2000-06-04 — joy combinator construction finder
• 2000-06-04 — Re: [stack] joy combinator construction finder
• 2000-06-04 — Re: [stack] Re: joy applications
• 2000-06-04 — Re: [stack] Re: Joy in Avail
• 2000-06-07 — *** [was Re: [stack] Digest Number 28]
• 2000-06-07 — Quoting versus embedding [Was Re: [stack] Digest Number 28]
• 2000-06-07 — Metaprogramming & language design [Was Re: [stack] Digest Number 28]
• 2000-06-07 — RE: [stack] Meaning
• 2000-06-07 — [repost] *** [was Re: [stack] Digest Number 28]
• 2000-06-08 — Abstract state machines and Joy
• 2000-06-08 — Re: [stack] Abstract state machines and Joy
• 2000-06-09 — Dynamic functions and Intensional Typing
• 2000-06-10 — Slate has a concatenative syntax
• 2000-06-10 — conk - concatened k
• 2000-06-11 — Re: [stack] conk - concatened k
• 2000-06-12 — RE: [stack] Re: Dynamic functions and Intensional Typing
• 2000-06-15 — ASM Rules in Joy [was Re: [stack] conk - concatened k]
• 2000-06-15 — Fw: uptime
• 2000-06-19 — swap23
• 2000-06-19 — the order of arguments
• 2000-06-19 — RE: [stack] the order of arguments
• 2000-06-20 — RE: [stack] swap23
• 2000-06-22 — RE: ASM Rules in Joy
• 2000-06-23 — conk manual
• 2000-06-23 — Re: [stack] conk manual
• 2000-06-26 — function quotation or voracious evaluation?
• 2000-06-27 — generalized stack operators
• 2000-06-30 — Re: [stack] Re: conk manual
• 2000-07-01 — three more proposals about Joy
• 2000-07-01 — Re: [stack] three more proposals about Joy
• 2000-07-05 — the josephus problem
• 2000-07-05 — Re: [stack] the josephus problem
• 2000-07-06 — Thank you for your interest
• 2000-07-06 — comments - 1
• 2000-07-06 — Re: [stack] comments - 1 (inlining)
• 2000-07-06 — Re: [stack] comments - 1
• 2000-07-07 — comments - 2
• 2000-07-11 — Re: [stack] comments - 2
• 2000-07-12 — comments - 3
• 2000-07-13 — Re: [stack] comments - 3
• 2000-07-15 — data stack as history
• 2000-07-18 — Comments 4
• 2000-07-20 — comments - 4
• 2000-07-20 — Re: [stack] comments - 4
• 2000-07-27 — comments - 6
• 2000-07-27 — Re: [stack] comments - 6
• 2000-07-31 — Strongly typed Forth
• 2000-08-02 — comments - 7
• 2000-08-02 — Comments - 8
• 2000-08-02 — Re: [stack] comments - 7
• 2000-08-02 — Re: [stack] Comments - 8
• 2000-08-03 — comments - 9
• 2000-08-07 — Another implemenatation of Joy.
• 2000-08-08 — Joy in Prolog (again)
• 2000-08-09 — Re: [stack] Re: Another implemenatation of Joy.
• 2000-08-10 — Comments - 10
• 2000-08-10 — Stack analysis (was Another implementation...)
• 2000-08-12 — Re: [stack] Stack analysis (was Another implementation...)
• 2000-08-21 — 20000821-033725.html
• 2000-08-21 — Re: [stack] Forth/Joy cross fertilization.
• 2000-08-21 — Joy execution model and recursion.
• 2000-08-22 — Joy in Haskell
• 2000-08-25 — Joy for Win32
• 2000-08-28 — ICFP programming contest
• 2000-08-31 — Rationale for Joy
• 2000-08-31 — eGroups changes...
• 2000-08-31 — Re: [stack] eGroups changes...
• 2000-09-01 — While we're not moved
• 2000-09-01 — Re: [stack] While we're not moved
• 2000-09-01 — RE: [stack] Re: eGroups changes...
• 2000-09-04 — Re[2]: [stack] While we're not moved
• 2000-09-05 — On comments 1..6
• 2000-09-05 — Re: [stack] On comments 1..6
• 2000-09-05 — Re: [stack] Digest Number 85
• 2000-09-07 — Re: [stack] Joy for Win32
• 2000-09-07 — Re: [stack] Digest Number 87
• 2000-09-07 — GC Redux
• 2000-09-07 — Re: [stack] GC Redux
• 2000-09-09 — Pools; Unification
• 2000-09-09 — Re: [stack] Pools; Unification
• 2000-09-10 — Re: [stack] Digest Number 89
• 2000-09-11 — Re: [stack] Re: Digest Number 89
• 2000-09-13 — egroups peddling our email ids?
• 2000-09-13 — RE: [stack] egroups peddling our email ids?
• 2000-09-14 — still catching up
• 2000-09-14 — Re: [stack] still catching up
• 2000-09-14 — Stacks, Joy, Oberon, C
• 2000-09-14 — Re: [stack] Stacks, Joy, Oberon, C
• 2000-09-18 — new toy benchmark
• 2000-09-19 — Re: [stack] new toy benchmark
• 2000-09-20 — toy
• 2000-09-21 — Re: [stack] toy
• 2000-09-29 — toy and Oberon
• 2000-10-12 — RISC OS port of Joy
• 2000-10-24 — Abstraction - again
• 2000-10-24 — Re: Abstraction again
• 2000-10-24 — RE: [stack] Re: Abstraction again
• 2000-11-24 — Fixed bug in 'main.c'
• 2000-12-04 — Ideas slowly growing in my head.
• 2000-12-04 — Re: [stack] Ideas slowly growing in my head.
• 2000-12-21 — Re[2]: [stack] Ideas slowly growing in my head.
• 2000-12-23 — Re[4]: [stack] Ideas slowly growing in my head.
• 2000-12-23 — Re[5]: [stack] Corrections.
• 2001-03-26 — Patches to Joy source
• 2001-03-26 — Another patch
• 2001-03-29 — enumeration types in Oberon
• 2001-03-31 — My proposal for polymorphic/generic/overloaded user functions in Joy
• 2001-04-02 — Re: [stack] My proposal for polymorphic/generic/overloaded user functions in Joy
• 2001-04-03 — Joy running under Boehm-Demers-Weiser garbage collector!
• 2001-04-11 — RE: [stack] "concatenative" privacy/security
• 2001-04-24 — ANNOUNCE: joy 1.0 beta 1 available!
• 2001-04-27 — Inlining in Joy
• 2001-04-27 — RE: [stack] Inlining in Joy
• 2001-04-29 — concatenativish music tracker
• 2001-05-02 — Distributed Joy
• 2001-05-02 — Re: [stack] Joy inbuilt editor [was RE: Inlining in Joy]
• 2001-05-02 — "fold" vs. "properfold"
• 2001-05-03 — Re: [stack] Joy inbuilt editor [was RE: Inlining in Joy] (fwd)
• 2001-05-09 — Re: [stack] Digest Number 135
• 2001-05-16 — Failure (was: Joy inbuilt editor)
• 2001-05-17 — Re: [stack] small additions to interp.c
• 2001-05-17 — New Joy now passes gcc -ansi -pedantic again; should compile on VMS
• 2001-05-24 — High Level Forth
• 2001-05-30 — Joy State
• 2001-05-30 — Re: [stack] Joy State
• 2001-05-30 — The Joy != operator
• 2001-05-31 — Reasoning about Programming Languages in a Functional Manner
• 2001-05-31 — RE: [stack] Reasoning about Programming Languages in a Functional Manner
• 2001-06-04 — Bug in Joy1 frename
• 2001-06-04 — Joy1: more bug fixes and a Win32 version
• 2001-06-19 — I/O
• 2001-06-26 — Fw: ANNOUNCE: enhancements to JOY
• 2001-06-26 — Re: [stack] Re: Fw: ANNOUNCE: enhancements to JOY
• 2001-07-02 — Re: [stack] Rewriting System
• 2001-07-03 — Fwd: Random note, Tunes early history
• 2001-07-08 — Silly bug in max and min
• 2001-07-23 — Re: [darkover-ooc] AOHELL
• 2001-07-27 — Nonstrict Language in Terms of Strict Language
• 2001-07-27 — RE: [stack] Nonstrict Language in Terms of Strict Language
• 2001-08-01 — RE: [stack] Re: Nonstrict Language in Terms of Strict Language
• 2001-08-03 — At last: Joy FAQ
• 2001-08-05 — Re: [stack] Strictness; Infinite Sequences
• 2001-08-06 — Another Concatenative Language -- dc
• 2001-08-06 — Strictly typed lazy evaluated postfix languages with a lambda.
• 2001-08-07 — ==
• 2001-08-07 — quines
• 2001-08-07 — Re: [stack] quines
• 2001-08-14 — Re: [stack] Atoms
• 2001-08-15 — Widgets via Oracles
• 2001-09-03 — Quoting
• 2001-09-04 — Re: Joy and EuroForth
• 2001-09-04 — Re: [stack] Re: Joy and EuroForth
• 2001-09-05 — FOLQP
• 2001-09-05 — RE: [stack] Re: Quoting
• 2001-09-17 — RE: [stack] Re: Strictly typed lazy evaluated postfix languages w ith a lambda.
• 2001-09-23 — Compiling latest Joy
• 2001-10-02 — Rabbit
• 2001-10-02 — RE: [stack] Rabbit
• 2001-10-16 — Unifying variables, dictionary, return stack
• 2001-10-17 — RE: [stack] Re: Unifying variables, dictionary, return stack
• 2001-10-18 — (Re: ...) Strings and quotations
• 2001-10-18 — RE: [stack] (Re: ...) Strings and quotations
• 2001-10-22 — Semantics of abort and newstack
• 2001-10-27 — New file uploaded to concatenative
• 2001-10-29 — a few questions
• 2001-11-26 — equal predicate
• 2001-11-27 — Fix for equal predicate
• 2001-11-27 — Patch
• 2001-12-04 — RE: [stack] JoyUnit
• 2001-12-04 — JoyUnit
• 2001-12-07 — Joy, purely functional?
• 2001-12-10 — Re[2]: [stack] Joy, purely functional?
• 2001-12-11 — What 'purity' in functional languages means
• 2001-12-11 — Recursion vs Combinators.
• 2001-12-11 — Re[4]: [stack] Joy, purely functional?
• 2001-12-11 — Re[6]: [stack] Joy, purely functional?
• 2001-12-14 — Re[8]: [stack] Joy, purely functional?
• 2001-12-16 — announce: HTML Documentation for Joy
• 2002-01-03 — NameQuakes.
• 2002-01-03 — RE: [stack] NameQuakes.
• 2002-01-04 — POP-11: another concatenative language
• 2002-01-04 — RE: [stack] POP-11: another concatenative language
• 2002-01-11 — A few minor points about Joy libraries
• 2002-01-13 — Eigenprograms of Joy.
• 2002-01-15 — Sources of Rabbit
• 2002-01-29 — Re: [stack] Re: POP-11: another concatenative language
• 2002-01-30 — Re[2]: [stack] Re: POP-11: another concatenative language
• 2002-01-31 — OT: deaf scientists
• 2002-03-19 — SK language
• 2002-03-19 — Re: [stack] SK language
• 2002-03-20 — More on Joy completeness
• 2002-03-26 — Another imperative example in Joy
• 2002-03-28 — Comments in Joy
• 2002-03-29 — Re: More on Joy completeness (tack and take)
• 2002-03-30 — Three combinator base!
• 2002-03-30 — Two combinator linear-complete base!
• 2002-03-31 — Correction
• 2002-04-03 — God's Own Algorithms.
• 2002-04-03 — A purely complete base
• 2002-04-03 — only a test!
• 2002-04-04 — Sorry about these duplicate posts
• 2002-04-04 — Two-combinator base !
• 2002-04-05 — Re: [stack] Re: God's Own Algorithms.
• 2002-04-06 — Help: Whats wrong with this Program of of RSA encryption
• 2002-04-07 — Busy Beavers (was: God's Own Algorithms)
• 2002-04-07 — Simpler two-combinator base
• 2002-04-07 — Another base !
• 2002-04-08 — Combinatory Axioms
• 2002-04-12 — Help: How can we manuplate larger value of integer
• 2002-04-15 — New addition to the file area
• 2002-04-16 — interesting problem
• 2002-04-19 — Found this in a group
• 2002-05-14 — Questions for Manfred
• 2002-05-22 — Y Ruby.
• 2002-06-02 — Struct in Joy
• 2002-06-18 — Joy1 for Mac OS-X
• 2002-06-18 — Re: Forthski Vs. Joy.
• 2002-06-20 — The article is finally done
• 2002-06-20 — [stack] "unit", "cat" and inverses
• 2002-07-08 — : I S K K ;
• 2002-07-10 — continuations in Meta/4
• 2002-07-10 — Re: [stack] Re: continuations in Meta/4
• 2002-08-21 — Reversible Joy?
• 2002-08-21 — More on Reversible Joy
• 2002-08-27 — Re: [stack] Re: More on Reversible Joy
• 2002-09-07 — More reversible Joy ideas
• 2002-10-09 — Re: [stack] New on Joy page: "Church arithmetic and Church logic"
• 2002-10-09 — Pseudo-combinators and Church numbers
• 2002-10-10 — A smaller conservative base
• 2002-10-26 — Joy standard libraries and missing symbol definitions
• 2002-10-30 — Again, why use C?
• 2002-11-08 — Re: [stack] Asking a small favour
• 2002-11-08 — Command line processing in Joy
• 2002-11-30 — Some observations and questions on Joy equivalence
• 2002-12-06 — Some more thoughts on equivalence in Joy
• 2003-01-07 — program does not working in C
• 2003-01-17 — Joy Primitives
• 2003-01-17 — Re: [stack] Whither Joy? Documentation
• 2003-01-17 — Re: [stack] Whither Joy? Modules
• 2003-01-17 — emacs mode?
• 2003-01-22 — Oberon et al
• 2003-01-24 — Re: [stack] Digest Number 344
• 2003-01-28 — # symbol
• 2003-02-03 — NJoy
• 2003-02-15 — joy-linux
• 2003-02-24 — The False language
• 2003-02-27 — Re Joy rpm deb
• 2003-02-28 — A Joy library for online help generation
• 2003-02-28 — Module/definition syntax
• 2003-03-07 — Has the Joy homepage moved, also BNF for Joy?
• 2003-04-23 — Please ignore
• 2003-04-28 — Re: [stack] Patterns, recursion combinators and a programming challenge
• 2003-05-05 — accgen
• 2003-05-07 — the accumulator generator
• 2003-05-09 — a joy exe?
• 2003-05-13 — ANNOUNCE: Joy in Scheme version 0.2
• 2003-05-14 — ANNOUNCE: Joy in Scheme version 0.3
• 2003-05-15 — New release of Joy for Windows
• 2003-05-15 — Re: [stack] New release of Joy for Windows
• 2003-05-16 — Tutorials?
• 2003-05-16 — ck: array operations in joy
• 2003-05-16 — Re: [stack] ck: array operations in joy
• 2003-05-17 — wolfram automata
• 2003-05-18 — ANNOUNCE: Joy in Scheme 0.4
• 2003-05-21 — Fw: the unary combinator
• 2003-05-21 — Re: [stack] Fw: the unary combinator
• 2003-05-21 — strings, lists, symbols
• 2003-05-23 — some database operations
• 2003-05-28 — overloading in c++
• 2003-05-29 — pervasive operations, n-ary treemap
• 2003-05-29 — atomic extension, each
• 2003-05-30 — Joy in Scheme version 0.4.1
• 2003-05-31 — K for Joy Programmers (paper)
• 2003-05-31 — Re: [stack] Re: K for Joy Programmers (paper)
• 2003-06-01 — Re: [stack] Re: K for Joy Programmers (paper), continuations
• 2003-06-02 — joy libraries
• 2003-06-02 — conts
• 2003-06-02 — trees in practice
• 2003-06-07 — resolution theorem prover
• 2003-06-28 — befreaked
• 2003-06-28 — Re: [stack] befreaked
• 2003-06-28 — SECD-like (explicit stack) machine for executing Joy?
• 2003-06-28 — Re: [stack] SECD-like (explicit stack) machine for executing Joy?
• 2003-07-02 — Re: [stack] YACL - Yet Another Concatenative Language
• 2003-07-06 — progress on C++ 'incremental' interpreter
• 2003-07-07 — RE: [stack] progress on C++ 'incremental' interpreter
• 2003-07-08 — [+] first: second thoughts
• 2003-07-09 — RE: [stack] [+] first: second thoughts
• 2003-07-15 — cosmic ray trace analysis
• 2003-07-19 — Plz solve my problem related to net send
• 2003-07-30 — RE: [stack] Re: [+] first: final(?) thoughts
• 2003-08-13 — unlambda in k
• 2003-08-17 — continuations in a tiny concatenative language
• 2003-08-19 — RE: [stack] continuations in a tiny concatenative language
• 2003-08-20 — RE: [stack] Re: continuations in a tiny concatenative language
• 2003-10-06 — Continuations... again!
• 2003-11-19 — Questions about Joy
• 2003-11-23 — Plz help!
• 2003-11-25 — 2 QUESTIONS **** I aM NEW ON PERL!ANYONE CAN SLOVE THIS PROBLEM???
• 2003-11-27 — R
• 2003-12-06 — Hi plz help
• 2003-12-07 — a word-wrap problem
• 2003-12-11 — XLMmod.joy
• 2003-12-23 — Joy sighting
• 2003-12-23 — RE: [stack] Joy sighting
• 2003-12-24 — Re: [stack] Digest Number 475
• 2003-12-25 — Re: [stack] Digest Number 476
• 2003-12-30 — ANNOUNCE: joy docs in CALLTIPS format
• 2004-01-02 — everything is a unary function of ?
• 2004-01-13 — Joy1 only with NOBDW
• 2004-01-13 — Joy Plugin?
• 2004-02-19 — Sierpinski's triangle in Joy
• 2004-02-29 — interview with manfred
• 2004-03-17 — [BOOK] Call-By-Push-Value -- A Functional/Imperative Synthesis (Fw: new book)
• 2004-04-05 — Pattern matching, stack comments
• 2004-04-06 — RE: [stack] Pattern matching, stack comments
• 2004-04-06 — RE: [stack] newbie question
• 2004-04-16 — A new concatenative language -- FACTOR
• 2004-04-16 — Dynamic dispatch in a concatenative language?
• 2004-04-24 — help!! regular expresion in Haskell
• 2004-05-03 — RE: [stack] Generalising shuffle strings [Was: Pattern matching, stack comments]
• 2004-05-12 — the false programming language
• 2004-05-15 — otuto design comments?
• 2004-05-15 — Linear languages
• 2004-05-15 — Re: [stack] otuto design comments?
• 2004-05-16 — Important Info for concatenative Members
• 2004-05-20 — ackermann in false
• 2004-05-27 — New release of Factor
• 2004-05-27 — Re: [stack] New release of Factor
• 2004-06-02 — Paul Grahams Accumulator
• 2004-06-04 — OT: John Cowan announces the "Unix Power Classic"
• 2004-06-05 — Re: [stack] same fringe [was: tree-each (was Re: Paul Grahams Accumulator)]
• 2004-06-07 — Factor and continuations
• 2004-06-07 — Generators in Factor
• 2004-06-08 — New Factor release
• 2004-06-08 — Continuations and generators
• 2004-06-08 — The Factor workspace
• 2004-06-10 — New compiler docs
• 2004-06-16 — Factor and backtracking
• 2004-06-16 — The structure of a concatenative interpreter
• 2004-06-19 — Factor 0.60
• 2004-06-22 — Continuation based web server in Factor
• 2004-06-26 — Factor interpreter in C
• 2004-06-30 — Generating HTML in Factor
• 2004-06-30 — Factor and the jEdit editor
• 2004-07-06 — Weblog
• 2004-07-12 — Native Factor progress
• 2004-07-16 — Factor imported into CVS
• 2004-07-18 — XY
• 2004-07-19 — catch/throw
• 2004-07-25 — david madore's yin/yang mind-boggler
• 2004-08-10 — askagain == "linrec" explainplease [ linrecexlained ] [ ] [askagain] ifte
• 2004-08-13 — A mention of Joy...
• 2004-08-14 — Re: 5(?) concatenative L's
• 2004-08-16 — the stack is the key concept
• 2004-08-17 — Factor 0.63
• 2004-09-08 — Notes on work in progress, and thoughts on reducing stack-fiddling.
• 2004-09-10 — request
• 2004-09-10 — five (four? six?) concatenative languages
• 2004-09-11 — concatenative gui?
• 2004-09-13 — 5 concat L's: Factor (draft)
• 2004-09-19 — eager lists in XY
• 2004-09-22 — [stack] XY: final draft
• 2004-09-25 — Factor graphics
• 2004-09-25 — partial continuations
• 2004-10-03 — Standing on Stevan's Shoulders: QP and Tree-P
• 2004-10-11 — The concatenative language Factor; final revision
• 2004-10-11 — Concatenative languages IRC channel
• 2004-10-11 — Concatenative languages wiki
• 2004-10-14 — slash and burn
• 2004-10-17 — Factor 0.67 released
• 2004-10-17 — SDL_gfx API
• 2004-10-19 — Infix syntax
• 2004-10-21 — Comparing concatenative languages
• 2004-10-21 — Re: [stack] Comparing concatenative languages
• 2004-10-23 — ahoy matey
• 2004-10-25 — Re: [stack] Concatenative languages IRC channel
• 2004-10-27 — pattern-matching in XY
• 2004-10-29 — Some notes on stack effect inference
• 2004-11-01 — Factor interpreter in Factor
• 2004-11-07 — More stack effect work
• 2004-11-07 — Re: [stack] More stack effect work
• 2004-11-10 — A shoot em up
• 2004-11-16 — GUI's in concatenative languages
• 2004-11-16 — Re: [stack] GUI's in concatenative languages
• 2004-11-16 — Java Factor
• 2004-11-20 — linrec in Factor
• 2004-11-22 — Re: [stack] X: an update
• 2004-12-06 — cK, XY, X: implementation notes
• 2004-12-11 — Factor on Win32
• 2004-12-13 — Factor for Win32 -- compiler ported!
• 2004-12-16 — Factor internals documentation
• 2004-12-18 — Factor 0.70
• 2004-12-21 — Factor image bootstrap
• 2004-12-30 — Programming language malleability, etc.
• 2004-12-30 — Correctness-checking, type-checking, stack effects, constraints, etc.
• 2005-01-02 — Generic words -- a new sub-paradigm for concatenative languages
• 2005-01-02 — a short/incomplete intro to otuto
• 2005-01-03 — Factor 0.71 is out
• 2005-01-03 — eclipse or netbeans?
• 2005-01-05 — Joy in Euphoria
• 2005-01-05 — x86 assembler in Factor
• 2005-01-18 — Re: [stack] Digest Number 635
• 2005-01-23 — 'Thinking Forth' available online
• 2005-01-30 — Tuples in Factor
• 2005-01-31 — Vim syntax coloring for Joy
• 2005-02-19 — Factor 0.72 out
• 2005-03-05 — Imperitive languages
• 2005-03-09 — sudoku
• 2005-03-10 — Definitions at run-time
• 2005-03-11 — Re: [stack] Definitions at run-time
• 2005-03-19 — FunForth
• 2005-03-26 — the garden problem
• 2005-04-04 — Parsing in concatenative languages
• 2005-04-05 — Re: [stack] Joy in Haskell [was: Re: Parsing in concatenative languages]
• 2005-04-09 — stack operations vs function transformation
• 2005-04-09 — Re: [stack] stack operations vs function transformation
• 2005-04-18 — return stack
• 2005-05-18 — Re: [stack] New Joy page: Survey of replicating programs
• 2005-05-19 — tokenizing
• 2005-05-19 — Re: [stack] tokenizing
• 2005-06-01 — Re: [stack] a lazy k (correction)
• 2005-06-05 — Re: [stack] a lazy k (update)
• 2005-06-20 — ICFP 2005 Contest
• 2005-06-26 — infix syntax - iverson notation
• 2005-06-26 — Damn Fool idea for the Day...
• 2005-06-26 — Re: [stack] Re: infix syntax - iverson notation
• 2005-07-16 — an exchange on flatness
• 2005-07-28 — APL in forth
• 2005-08-16 — concatenative thread on "lambda the ultimate"
• 2005-08-20 — define primrec in joy
• 2005-08-20 — Re: [stack] define primrec in joy
• 2005-08-20 — XY or K or joy or ...
• 2005-08-21 — Re: [stack] XY or K or joy or ...
• 2005-09-10 — jon harrop's ray-tracer in c++, ocaml, factor, k2/3, and k4
• 2005-09-11 — Space Invaders emulator in Factor
• 2005-09-11 — NFA to DFA in joy
• 2005-09-13 — DFA and NFA to DFA in Joy
• 2005-09-20 — dup == [[]] [i] map i
• 2005-09-21 — map in concatenative languages
• 2005-09-22 — sharp integers (ex. #1 #2) and sharp primitives (#> #< #)
• 2005-09-22 — Archive messages in PDF or PS format
• 2005-09-22 — a simple game with #Joy
• 2005-09-23 — Defining sharp primitives (#> and <#) using Joy
• 2005-09-28 — defining newmap and oldmap (map) in Joy
• 2005-10-03 — linrec == unfold fold ;
• 2005-10-14 — special operator labels in common lisp
• 2005-10-20 — sayings of chairman ken
• 2005-10-21 — gendip combinator
• 2005-11-09 — Fwd: Please forward to "concatenative"
• 2005-11-21 — Monads in Joy
• 2005-12-12 — FW: [stack] More annoying quadratic...
• 2006-01-06 — ANN: Joy in Java
• 2006-01-08 — StrongForth is back!
• 2006-01-16 — Concatenative Logic Programs?
• 2006-02-13 — Ann: The Unimperative Programming Language
• 2006-02-14 — Deciding between operators ">>", "<<" and ","
• 2006-02-20 — Joy Question
• 2006-02-27 — Re: [stack] brent kerby
• 2006-03-23 — Implementing Joy sets
• 2006-03-25 — How do modules work in Joy1?
• 2006-04-12 — Manfred's comments on the Joy main.c code
• 2006-04-22 — combinator optimization
• 2006-04-26 — OT: Tackling NPhard problems - good languages?
• 2006-05-02 — Concatenative vs Compositional
• 2006-05-06 — Designing a Type Notation for a Stack Based Functional Language
• 2006-05-11 — Symmetric Reductions
• 2006-05-13 — Slides for Cat programming language presentation
• 2006-05-14 — Confusion about list types in Joy
• 2006-05-27 — Cat interpreter and source available online
• 2006-05-29 — ANNOUNCE: Joy-in-Scheme version 0.80 (no Scheme required; please test!)
• 2006-05-29 — Re: [stack] Re: ANNOUNCE: Joy-in-Scheme version 0.80 (no Scheme required; please test!)
• 2006-06-09 — Lists and Quotations
• 2006-06-14 — Re: [stack] Strictly False
• 2006-06-17 — New Version of Cat Interpreter and Documentation
• 2006-06-18 — an update on functional false
• 2006-06-22 — Define statements
• 2006-06-22 — progress in F
• 2006-06-28 — joy semantics in F
• 2006-06-29 — rant
• 2006-06-30 — Version 0.3 of the Cat Programming Language
• 2006-07-02 — billy's right
• 2006-07-04 — Adding another Stack to Cat
• 2006-07-08 — Rewriting recursion in a stack based language
• 2006-07-12 — Re: [stack] Re: 'stack' and 'unstack' in F (correction)
• 2006-07-17 — Namespaces and Type Annotations in Cat
• 2006-07-19 — Auxiliary stacks and Dip
• 2006-07-31 — Powerpoint Slides for Cat Presentation at Lang. NET 2006
• 2006-08-04 — The Killer Application for Concatenative Languages....
• 2006-08-13 — implementing an array language in forth
• 2006-08-21 — Concatenative Languages vs Static Single Assignment
• 2006-09-01 — Enchilada: the new kid on the block.
• 2006-09-02 — stackless concatenative?
• 2006-09-09 — Lazy evaluation
• 2006-09-16 — A preview of Cat version 0.6 available
• 2006-09-26 — progress reports on enchilada
• 2006-09-29 — Cat version 0.7
• 2006-09-30 — Cat Version 0.7.1 and Blog Posting
• 2006-10-13 — Some recent work of mine
• 2006-10-25 — Enchilada design notes
• 2006-10-25 — Accumulator Generator in Joy
• 2006-10-25 — What is the type of 42?
• 2006-10-26 — Cat Version 0.9
• 2006-10-28 — Writing compilers and interpreters in Factor
• 2006-10-30 — A list of Cat operations and version 0.9.3
• 2006-10-31 — New Cat Tutorial
• 2006-11-03 — [ANN] Cat Version 0.9.5
• 2006-11-04 — Cat article at CodeProject.com
• 2006-11-08 — Cat version 0.9.7
• 2006-11-09 — Cat: updated manual and type inference algorithm description
• 2006-11-09 — Concatenative programming in Haskell's arrows
• 2006-11-11 — Parallel computing is concatenative
• 2006-11-19 — [] [was: Re: [stack] Parallel computing is concatenative]
• 2006-11-21 — Concern about the "Theory of Concatenative Combinators"
• 2006-11-24 — Programming Language Research Engine
• 2006-12-06 — Cat Type System and Semantics
• 2006-12-07 — Type Order
• 2006-12-11 — Basic Factor to Javascript compiler
• 2006-12-14 — Age of Forth, was re: dc etc.
• 2006-12-14 — Re: [stack] Age of Forth, was re: dc etc.
• 2006-12-20 — Typed Combinatoral Calculus
• 2006-12-21 — Concatenative macros?
• 2006-12-23 — Concatenative Combinators
• 2007-01-03 — Purely Forward Programs.
• 2007-01-06 — Status of my Joy implementation, ideas for uses of Joy, etc.
• 2007-01-07 — Joy "syntax" highlighting
• 2007-01-07 — My Joy Engine
• 2007-01-07 — Local Variables, including a rationale for their use.
• 2007-01-07 — Comments on Trade-Offs in Systems of Notation/Programming Languages
• 2007-01-08 — Joy, Genetic Programming, and Handwriting Recognition
• 2007-01-08 — Re: [stack] Status of my Joy implementation, ideas for uses of Joy, etc.
• 2007-01-08 — Re: [stack] Comments on Trade-Offs in Systems of Notation/Programming Languages
• 2007-01-09 — A One Combinator Basis for Cat!
• 2007-01-09 — Stack Shuffling Operator Mnemonics
• 2007-01-12 — On Presenting the Semantics of Cat Formally
• 2007-01-16 — Applicative Syntax == Concatenative Syntax
• 2007-01-24 — Meta-combinators?
• 2007-01-26 — Cat version 0.9.9
• 2007-01-29 — Fwd: What is the status of Joy ?
• 2007-01-31 — [Request-for-Comments] Cat Technical Report
• 2007-02-20 — Functional Stack Based Languages are Fast
• 2007-02-21 — S-K Construction of Dip?
• 2007-02-26 — [Req. for Comments] Revised Cat Technical Report
• 2007-03-01 — A question on joy syntax.
• 2007-03-02 — New language V (on JVM)
• 2007-03-11 — a doubt on app1
• 2007-03-12 — V release 0.002
• 2007-03-16 — does any one know about Kevo?
• 2007-03-18 — Typing a Functional Stack-Based Language
• 2007-03-23 — Backus's Turing Award Lecture and Joy.
• 2007-03-24 — Types of Functions and Lists
• 2007-03-26 — Prolog and Rewriting Strategies
• 2007-03-28 — Small remarks (corrections?) while look through the "Mathematical foundations of Joy"
• 2007-03-30 — Cat Release 0.10
• 2007-04-02 — Version 0.10.2
• 2007-04-03 — Fwd: MapReduce as a Cat one-liner
• 2007-04-03 — Cat Wikipedia Article
• 2007-04-05 — How the Interpreter Works
• 2007-04-07 — Cat 0.10.4 Release now with Graphics
• 2007-04-11 — Cat Type Inference
• 2007-04-21 — Enchilada Comments
• 2007-04-24 — Cat Version 0.11
• 2007-04-27 — So what is a concatenative language?
• 2007-04-28 — Public domain Cat interpreter in JavaScript
• 2007-04-29 — Is this language concatenative?
• 2007-05-01 — A small example of a (possibly concatenative) language for primitive recursive functions of one variable.
• 2007-05-01 — What is a concatenative language?
• 2007-05-01 — Cat Version 0.12.0 Release
• 2007-05-03 — Flat sublanguages of concatenative languages
• 2007-05-06 — Type Inference in Cat
• 2007-05-07 — WHY: concatenative languages ?
• 2007-05-13 — Why! a concatenative language ?
• 2007-05-14 — Review requests
• 2007-05-16 — Programming Puzzle
• 2007-05-20 — Tiny Typed Concatenative Language
• 2007-05-21 — a concatenative language for the Semantic Web
• 2007-05-22 — Cat 0.14 Release
• 2007-06-03 — Cat to C++ Translator written in C++
• 2007-06-05 — Typed Concatenative Continuations
• 2007-06-08 — Self Types
• 2007-06-16 — Cat to C++ Translator 0.2 Release
• 2007-06-16 — Why is point-free form so interesting?
• 2007-06-24 — Cat Version 0.15 Release
• 2007-07-09 — Cat 0.16
• 2007-07-11 — Monads in a Stack-Based Language
• 2007-07-30 — EWD 28: Djikstra's sort-of-concatenative language
• 2007-07-31 — Re: [stack] EWD 28: Djikstra's sort-of-concatenative language
• 2007-08-16 — Yet another?
• 2007-08-22 — Cat version 0.17.0
• 2007-09-20 — Functional Forth?
• 2007-09-20 — Function Level Programming
• 2007-10-15 — Concatenative operators as functions over stacks.
• 2007-10-29 — Online Cat Interpreter
• 2007-11-02 — Concatenative Hardware
• 2007-11-05 — Purrr
• 2007-11-08 — Request for Comments: Cat Paper submission for PLDI '08 "A Type-System for Higher-Order Stack-Oriented Languages"
• 2007-11-14 — Generators revisited
• 2007-11-22 — Survey: Your impressions and thoughts about concatenative languages
• 2007-11-25 — [ANN] Cat 0.18.2 Release
• 2007-11-30 — Summary of Survey Results
• 2007-11-30 — Parsing in Factor
• 2007-12-03 — Concatenative versus Compositionality
• 2007-12-04 — language hierarchy
• 2007-12-06 — Constant folding algorithm
• 2007-12-08 — Code Transformation Problem (possibly monadic?)
• 2007-12-20 — Classifying languages by how they handle operands
• 2008-01-07 — ANN: JoyJ-0.3 Released
• 2008-01-09 — Scheme to Cat compiler
• 2008-01-10 — Concatenative Hardware Redux (Another 16 Instruction Set)
• 2008-02-10 — Cat article submission to Doctor Dobbs Journal
• 2008-02-22 — possibilities for macros in a typed language
• 2008-02-28 — disallowing recursive definitions
• 2008-03-03 — Greetings
• 2008-03-05 — sweetening concatenative syntax
• 2008-03-10 — "tick" stack shuffling notation
• 2008-03-14 — problems with high-level purely linear languages
• 2008-03-15 — recursive combinators in other languages
• 2008-03-19 — impure concatenativity: let without translation
• 2008-03-29 — Interesting Joy usage
• 2008-03-31 — concatenativity and joy's non-opaque quotations
• 2008-04-03 — Fwd: [Factor-talk] cleave, 2cleave, and spread
• 2008-04-04 — Notation for typed arrays in Cat
• 2008-04-05 — free version of k now available
• 2008-04-06 — [ANN] Cat release version 1.0 beta 1
• 2008-04-13 — New Cat Release
• 2008-04-15 — [ANN] v1.2 Online JavaScript Interpreter for Cat
• 2008-04-15 — Cat article finally available online at DDJ
• 2008-04-16 — [ANN] Cat v1.0 beta 4
• 2008-04-18 — Some thoughts on Object Cat
• 2008-04-20 — Cat Type Inference Algorithm Technical Report
• 2008-04-24 — are concatenative languages applicative?
• 2008-04-29 — fundamental type system problems + possible solutions
• 2008-05-18 — 'while' derived from 's', 'k', and 'if' in Factor
• 2008-05-20 — stackless fixed-arity concatenative languages
• 2008-05-31 — typing higher-order concatenative languages with standard hindley-milner
• 2008-05-31 — Joy's relationship to FP + a Joy variant with combining forms
• 2008-06-14 — syntax preference question
• 2008-06-19 — rewriting + second order vs. higher order expressivity
• 2008-07-09 — first order concatenative -> push-based dataflow
• 2008-07-18 — concatenative lexically-scoped polymorphic mutable variables
• 2008-07-24 — Staapl
• 2008-08-01 — map fusion
• 2008-08-29 — CVML : Concatenative Virtual Machine Language
• 2008-09-09 — Metaprogramming and Concatenative Rewriting
• 2008-09-14 — CVML : Cat (or Concatenative) Virtual Machine Language
• 2008-09-23 — new wiki from slava and friends
• 2008-10-16 — in which sense is joy functional? (LtU discussion)
• 2008-11-19 — utility of the retain stack
• 2008-12-06 — Looking for a combinator name
• 2008-12-07 — a constructive-concatenative language
• 2008-12-12 — john scholes
• 2008-12-22 — array theory question
• 2008-12-30 — adding construction to Joy-like languages
• 2008-12-30 — Status of Cat and CVML
• 2008-12-30 — Another VM/stack language...
• 2008-12-31 — the concatenative wikipedia article
• 2009-01-02 — initial stab at a wikipedia entry
• 2009-01-02 — Properties of Concatenative langauges and Forth
• 2009-01-04 — adding construction to factor
• 2009-01-05 — improved parallel combinator
• 2009-01-08 — typing concatenative languages
• 2009-01-13 — Point free (pointless) programming in ruby? (fwd)
• 2009-02-03 — Fwd: [Factor-talk] Currying cleave/spread combinators
• 2009-02-09 — [Fwd: [Factor-talk] Another simple turing-complete subset of Factor]
• 2009-02-10 — Fwd: [Factor-talk] Another simple turing-complete subset of Factor
• 2009-02-16 — Advantages of cat, joy ..?
• 2009-02-17 — XY implementation in JavaScript
• 2009-02-24 — whole-program FP compiler available
• 2009-02-26 — function/object ambiguity + quotation alternative
• 2009-03-02 — What does "concatenative" actually mean?
• 2009-03-04 — things
• 2009-03-06 — unary functions from X to Y?
• 2009-03-07 — some thoughts on XY [was Re: [stack] Re: unary functions from X to Y?]
• 2009-03-08 — Paging Mr Diggins... Linear Logic and Permutation Stacks.
• 2009-03-09 — recursion is too hard
• 2009-03-10 — stOck
• 2009-03-13 — lambda the ultimate: advantages of pointfree?
• 2009-03-13 — a nice introduction to SQUIGOL
• 2009-03-16 — A variant of XY and F written in C++
• 2009-03-20 — FL versus Joy
• 2009-03-23 — list issues
• 2009-03-31 — Joy and code readability
• 2009-04-03 — seaforth dead, colorforth.com updated
• 2009-04-04 — Type for row based languages
• 2009-04-05 — Re: [stack] Motivations to embrace decidable type systems
• 2009-04-05 — Compression: Huffman Coding with Joy
• 2009-04-12 — proof/examples of productivety increase ?
• 2009-04-20 — list about PL design
• 2009-06-23 — ANN: Concatenative Macro Processor
• 2009-08-25 — A Joy VM in OCaml
• 2010-01-05 — Re. what's the point of cat-like ?
• 2010-01-11 — Evolutionary Programming & presentation-format.
• 2010-01-29 — An Overlooked Paradigm in Functional Programming
• 2010-01-31 — function "adjoinment"?
• 2010-02-20 — Abstracting away the complexity is the goal.
• 2010-02-24 — Importance Of Teen Sex Education
• 2010-05-08 — Joy noob checking in!
• 2010-05-11 — Barebone implementation of concatenative language in c or c++
• 2010-05-12 — Event handling in Joy?
• 2010-06-08 — a minor change to cons
• 2010-06-14 — What are the advantages and disadvantages in manipulation of the return stack
• 2010-06-20 — Semi-compilation
• 2010-09-28 — Welcome to the new members...
• 2010-09-29 — Thread, a vaguely related query language (and hello!)
• 2010-10-26 — Can't View Factor Talk Slides on Vista
• 2011-01-31 — Concatenative Research
• 2011-01-31 — Fwd: [stack] Concatenative Research
• 2011-02-13 — Wikipedia page being deleted
• 2011-04-23 — Canonical LLVM starter language is concatenative...
• 2011-05-08 — Anyone know where von Thun's Joy pages have gone?
• 2011-10-03 — Tribute to Slava Pestov
• 2011-12-07 — 5th's type system
• 2011-12-09 — Sieve of Eratosthenes
• 2011-12-31 — Concatenative scripting language in Bitcoin
• 2012-02-13 — Jon Purdy: Why Concatenative Programming Matters
• 2012-04-16 — peg: a lazy, non-deterministic concatenative language
• 2012-12-05 — Manfred von Thun
• 2013-01-03 — Introducing the Om language
• 2013-01-14 — New discussion group for concatenative and stack languages
• 2013-05-11 — SPREAD: another kid on the block
• 2013-05-27 — positional postfix evaluation
• 2013-09-20 — Re: [stack] Make money with your own website today!
• 2013-12-17 — Welcome to a few new members...
• 2014-01-28 — Bitcoin scripting language extensions, collaboration requested
• 2014-04-29 — Conca : a small interpreter
• 2014-04-30 — compiling pattern matching to point-free combinators sequence
• 2014-05-05 — Rabbit-vm
• 2014-07-05 — Overview of prefix vs postfix notations + evaluation schemes.
• 2014-08-01 — Must have SINGLE input/Arg.
• 2014-11-06 — Formal proofs via 'joy' or any system?
• 2015-02-11 — Where's formal proof of Haskell's claim to...?