Recent changes to Quick Reference

Quick Reference modified by CMarinier

CMarinier — Thu, 24 Apr 2014 02:43:05 -0000

--- v6
+++ v7
@@ -91,12 +91,14 @@

 Some control word.

+- branch   ( b \[then\] \[else\] -- ; if b is true, execute then, otherwise execute else )
 - choice   ( a b c -> if a is true, then b, else c; it chooses a value based on a boolean)
+- ift      ( \[test\] \[then\]; if test returns true, execute then, otherwise do nothing )
 - ifte     ( \[test\] \[then\] \[else\]; if test returns true, execute then, otherwise execute else )
-- ifinteger  ( a \[then\] \[else\]; if a in an integer, execute then, otherwise execute else )
-- iffloat  ( a \[then\] \[else\]; if a in a float, execute then, otherwise execute else )
-- iflist   ( a \[then\] \[else\]; if a in a list, execute then, otherwise execute else )
-- ifstring ( a \[then\] \[else\]; if a in a string, execute then, otherwise execute else )
+- integer? ( thing -- boolean; true if a in an integer, else otherwise )
+- float?   ( thing -- boolean; true if a in a float, else otherwise )
+- list?    ( thing -- boolean; true if a in a list, else otherwise )
+- string?  ( thing -- boolean; true if a in a string, else otherwise )
 - while    ( \[test\] \[loop\]; execute loop as long as test returns true )
 - times    ( n \[loop\]; executes loop n times )
 - map      ( aggregate quotation; apply the quotation to every item in the aggregate and put the on the stack in an aggregate, the function in the quotation must consume one item and produce one item )
@@ -108,26 +110,26 @@
 Some examples
 -------------

-    >> 4 \["times\\n" print\] times
+    >> 4 ["times\n" print] times
     times
     times
     times
     times

-    >> 3 \[1 - dup 0 >=\] ["counting\\n" print] while
+    >> 3 [1 - dup 0 >=] ["counting\n" print] while
     counting
     counting
     counting

     ( Greatest common devisor, yes this is a comment, nestable )
-    >> 144 124 \[dup 0 \>\] \[dup rollup rem\] while pop .
+    >> 144 124 [dup 0 >] [dup rollup rem] while pop .
     4

-    >> "abc" \[upcase\] map .
+    >> "abc" [upcase] map .
     "ABC"

-    >> \[1 2 3\] \[2 *\] map .
-    \[ 2 4 6 \]
+    >> [1 2 3] [2 *] map .
+    [ 2 4 6 ]

 You can define new words like this:

@@ -135,7 +137,7 @@

 Example:

-    \[ dup * \] "square" define
+    [ dup * ] "square" define

 You can now do this:

@@ -149,10 +151,10 @@

 Factorial

-    \[1 2 3 4 5\] 1 \[*\] foldr .
+    [1 2 3 4 5] 1 [*] foldr .

-    \[ "this is" " a " "good idea"\] "" \[conca\] foldr .
+    [ "this is" " a " "good idea"] "" [conca] foldr .

 Try it with foldl.

Quick Reference modified by CMarinier

CMarinier — Wed, 23 Apr 2014 01:24:28 -0000

--- v5
+++ v6
@@ -12,7 +12,7 @@
 - strings, and
 - lists.

-Specify a character with a single quote, a string with double quotes, and a list with square brackets; the booleans are true and false.
+Specify a character with a single quote, a string with double quotes, and a list with square brackets; the booleans are true and false. Strings and lists are indexed from 0 (zero).

 Some special characters are

Quick Reference modified by CMarinier

CMarinier — Wed, 23 Apr 2014 01:23:35 -0000

--- v4
+++ v5
@@ -86,6 +86,7 @@
 - pair     ( atom atom -- \[ atom atom \]; make a list from the top two items on the stack )
 - quote    ( atom -- quotation; the same as unit )
 - range    ( start end -- aggregate; make an aggregate of numbers from start to end, step size is 1 )
+- slice    ( aggregate start end -- aggregate; extract slice from aggregate )
 - reverse  ( aggregate -- aggregate; reverse the other of the list or string )

 Some control word.

Quick Reference modified by CMarinier

CMarinier — Tue, 22 Apr 2014 23:17:41 -0000

--- v3
+++ v4
@@ -154,3 +154,19 @@
     \[ "this is" " a " "good idea"\] "" \[conca\] foldr .

 Try it with foldl.
+
+-----
+
+You may notice that numbers are unusual. There are
+
+- exact (whole) numbers (example from the square example above)
+
+    12345678987654321
+
+- rational numbers, and
+
+    11/12
+
+- inexact (floating point) numbers
+
+    123.456

Quick Reference modified by CMarinier

CMarinier — Tue, 22 Apr 2014 23:12:48 -0000

--- v2
+++ v3
@@ -81,9 +81,9 @@
 - uncons   ( aggregate -- aggregate atom; split the first item from the rest of the aggregate )
 - first    ( aggregate -- atom; replace aggregate with its first item )
 - rest     ( aggregate -- aggregate; remove first item from aggregate )
-- join     ( aggregate aggregate -- aggregate; joins the two aggregates )
-- unit     ( atom -- [ atom ]; make a list from the top iten on the stack )
-- pair     ( atom atom -- [ atom atom ]; make a list from the top two items on the stack )
+- conca    ( aggregate aggregate -- aggregate; concatenate the two aggregates )
+- unit     ( atom -- \[ atom \]; make a list from the top iten on the stack )
+- pair     ( atom atom -- \[ atom atom \]; make a list from the top two items on the stack )
 - quote    ( atom -- quotation; the same as unit )
 - range    ( start end -- aggregate; make an aggregate of numbers from start to end, step size is 1 )
 - reverse  ( aggregate -- aggregate; reverse the other of the list or string )
@@ -107,52 +107,50 @@
 Some examples
 -------------

-    >> 4 ["times\n" print] times
+    >> 4 \["times\\n" print\] times
     times
     times
     times
     times

-    \>\> 3 \[1 - dup 0 >=\] ["counting\\n" print] while
+    >> 3 \[1 - dup 0 >=\] ["counting\\n" print] while
     counting
     counting
     counting

     ( Greatest common devisor, yes this is a comment, nestable )
-    \>\> 144 124 \[dup 0 \>\] \[dup rollup rem\] while pop .
+    >> 144 124 \[dup 0 \>\] \[dup rollup rem\] while pop .
     4

-    \>\> "abc" \[upcase\] map .
+    >> "abc" \[upcase\] map .
     "ABC"
-    \>\> \[1 2 3\] \[2 *\] map .
+
+    >> \[1 2 3\] \[2 *\] map .
     \[ 2 4 6 \]

-you can define new words like this:
+You can define new words like this:

-  quotation "name" define    ( a quotation is a list I will execute )
+    quotation "name" define    ( a quotation is a list I will execute )

-  example:
-    [ dup * ] "square" define
+Example:

-  you can now do this:
+    \[ dup * \] "square" define
+
+You can now do this:
+
     111111111 square .
+
     12345678987654321

-load code form a file
+Load code form a file:

-  "square.joy" load
+    "square.joy" load

-"abc" [upcase] map .
+Factorial

-[1 2 3] [2 *] map .
+    \[1 2 3 4 5\] 1 \[*\] foldr .

-factorial
+    \[ "this is" " a " "good idea"\] "" \[conca\] foldr .

-  [1 2 3 4 5] 1 [*] foldr .
-
-
-[ "this is" " a " "good idea"] "" [conca] foldr .
-
-try it with foldl
-
+Try it with foldl.

Quick Reference modified by CMarinier

CMarinier — Tue, 22 Apr 2014 23:08:39 -0000

--- v1
+++ v2
@@ -5,6 +5,7 @@
 ----

 Conca knows about
+
 - booleans,
 - numbers,
 - characters,
@@ -14,6 +15,7 @@
 Specify a character with a single quote, a string with double quotes, and a list with square brackets; the booleans are true and false.

 Some special characters are
+
 - \\n  newline
 - \\r  return
 - \\t  tab
@@ -46,75 +48,59 @@
 - dip variants of previous five
 - operators : +  -  *  /
 - arithmetic
-  - rem
-  - div
-  - abs
-  - trunc
-  - neg
-  - sign
+    - rem
+    - div
+    - abs
+    - trunc
+    - neg
+    - sign
 - predicates
-  - =
-  - !=
-  - <
-  - <=
-  - >
-  - >= 
+    - =
+    - !=
+    - <
+    - <=
+    - \>
+    - \>= 
 - boolean operators : and, or, not
 - math
-  - power    ( a b -- r; a raised to the power b )
-  - exp      ( a -- r, e raised to the power a )
-  - sqrt, e, log, log10
-  - pi, sin, cos, tan, asin, acos, atan, atan2
+    - power    ( a b -- r; a raised to the power b )
+    - exp      ( a -- r, e raised to the power a )
+    - sqrt, e, log, log10
+    - pi, sin, cos, tan, asin, acos, atan, atan2
+
+-----

 Words which operate on aggregates: strings and lists.

 - apply    ( aggregate; execute the function in the aggregate )
 - size     ( aggregate -- aggregate n; pushes number of items in the aggregate )
-- count    ( aggregate -- n; pushes number of items in the aggregate and
-             consumes the aggregate )
+- count    ( aggregate -- n; pushes number of items in the aggregate and consumes the aggregate )
 - at       ( aggregate index -- r; element index of aggregate, zero based )
 - of       ( index aggregate -- r; element index of aggregate, zero based )
 - cons     ( aggregate atom -- aggregate; add atom to front of aggregate )
-- uncons   ( aggregate -- aggregate atom; split the first item from the rest of
-             the aggregate )
+- uncons   ( aggregate -- aggregate atom; split the first item from the rest of the aggregate )
 - first    ( aggregate -- atom; replace aggregate with its first item )
 - rest     ( aggregate -- aggregate; remove first item from aggregate )
 - join     ( aggregate aggregate -- aggregate; joins the two aggregates )
 - unit     ( atom -- [ atom ]; make a list from the top iten on the stack )
-- pair     ( atom atom -- [ atom atom ]; make a list from the top two items
-             on the stack )
+- pair     ( atom atom -- [ atom atom ]; make a list from the top two items on the stack )
 - quote    ( atom -- quotation; the same as unit )
-- range    ( start end -- aggregate; make an aggregate of numbers from start to
-             end, step size is 1 )
+- range    ( start end -- aggregate; make an aggregate of numbers from start to end, step size is 1 )
 - reverse  ( aggregate -- aggregate; reverse the other of the list or string )

 Some control word.

-- choice   ( a b c -> if a is true, then b, else c;
-             it chooses a value based on a boolean)
-- ifte     ( [test] [then] [else]
-             if test returns true, execute then, otherwise execute else )
-- ifinteger  ( a [then] [else]
-               if a in an integer, execute then, otherwise execute else )
-- iffloat  ( a [then] [else]
-             if a in a float, execute then, otherwise execute else )
-- iflist   ( a [then] [else]
-             if a in a list, execute then, otherwise execute else )
-- ifstring ( a [then] [else]
-             if a in a string, execute then, otherwise execute else )
-- while    ( [test] [loop]
-             execute loop as long as test returns true )
-- times    ( n [loop]
-             executes loop n times )
-- map      ( aggregate quotation; apply the quotation to every item in the
-             aggregate and put the on the stack in an aggregate, the function
-             in the quotation must consume one item and produce one item)
-- foldr    ( aggregate start-value quotation -- result; apply the quotation
-             which consumes two things to the start-value and the current front
-             of the aggregate, consume the whole aggregate and leave the result)
-- foldl    ( aggregate start-value quotation -- result; apply the quotation
-             which consumes two things to the start-value and the current end
-             of the aggregate, consume the whole aggregate and leave the result)
+- choice   ( a b c -> if a is true, then b, else c; it chooses a value based on a boolean)
+- ifte     ( \[test\] \[then\] \[else\]; if test returns true, execute then, otherwise execute else )
+- ifinteger  ( a \[then\] \[else\]; if a in an integer, execute then, otherwise execute else )
+- iffloat  ( a \[then\] \[else\]; if a in a float, execute then, otherwise execute else )
+- iflist   ( a \[then\] \[else\]; if a in a list, execute then, otherwise execute else )
+- ifstring ( a \[then\] \[else\]; if a in a string, execute then, otherwise execute else )
+- while    ( \[test\] \[loop\]; execute loop as long as test returns true )
+- times    ( n \[loop\]; executes loop n times )
+- map      ( aggregate quotation; apply the quotation to every item in the aggregate and put the on the stack in an aggregate, the function in the quotation must consume one item and produce one item )
+- foldr    ( aggregate start-value quotation -- result; apply the quotation which consumes two things to the start-value and the current front of the aggregate, consume the whole aggregate and leave the result )
+- foldl    ( aggregate start-value quotation -- result; apply the quotation which consumes two things to the start-value and the current end of the aggregate, consume the whole aggregate and leave the result )

 Note : foldr and foldl with produce identical results when the quotation is commutative.

@@ -127,19 +113,19 @@
     times
     times

-    >> 3 [1 - dup 0 >=] ["counting\n" print] while
+    \>\> 3 \[1 - dup 0 >=\] ["counting\\n" print] while
     counting
     counting
     counting

     ( Greatest common devisor, yes this is a comment, nestable )
-    >> 144 124 [dup 0 >] [dup rollup rem] while pop .
+    \>\> 144 124 \[dup 0 \>\] \[dup rollup rem\] while pop .
     4

-    >> "abc" [upcase] map .
+    \>\> "abc" \[upcase\] map .
     "ABC"
-    >> [1 2 3] [2 *] map .
-    [ 2 4 6 ]
+    \>\> \[1 2 3\] \[2 *\] map .
+    \[ 2 4 6 \]

 you can define new words like this:

Quick Reference modified by CMarinier

CMarinier — Tue, 22 Apr 2014 22:55:32 -0000

Conca

Data

Conca knows about
- booleans,
- numbers,
- characters,
- strings, and
- lists.

Specify a character with a single quote, a string with double quotes, and a list with square brackets; the booleans are true and false.

Some special characters are
- \n newline
- \r return
- \t tab
- \b backspace

Words

Conca pushes data on the stack.

It executes words. Words operate on things stored in the stack.

Many words are pre-defined.

clear (removes all from stack )
. ( prints the top thing on the stack )
top ( prints the top thing on the stack )
top2 ( prints the top two things on the stack )
top3 ( prints the top three things on the stack )
drop ( remove top element from stack )
drop2 ( remove top two elements from stack )
drop3 ( remove top three elements from stack )
pop ( item -- ; removes top of stack )
dup ( item -- item item; duplicates top of stack )
swap ( a b -- b a; swaps top two items )
rotate ( a b c -- c b a )
rollup ( a b c -- c a b )
rolldown ( a b c -- b c a )
dip ( quotation item -- item; save top, execute function, restore item )
dip variants of previous five
operators : + - * /
arithmetic
rem
div
abs
trunc
neg
sign
predicates
=
!=
<
<=
=
boolean operators : and, or, not
math
power ( a b -- r; a raised to the power b )
exp ( a -- r, e raised to the power a )
sqrt, e, log, log10
pi, sin, cos, tan, asin, acos, atan, atan2

Words which operate on aggregates: strings and lists.

apply ( aggregate; execute the function in the aggregate )
size ( aggregate -- aggregate n; pushes number of items in the aggregate )
count ( aggregate -- n; pushes number of items in the aggregate and
consumes the aggregate )
at ( aggregate index -- r; element index of aggregate, zero based )
of ( index aggregate -- r; element index of aggregate, zero based )
cons ( aggregate atom -- aggregate; add atom to front of aggregate )
uncons ( aggregate -- aggregate atom; split the first item from the rest of
the aggregate )
first ( aggregate -- atom; replace aggregate with its first item )
rest ( aggregate -- aggregate; remove first item from aggregate )
join ( aggregate aggregate -- aggregate; joins the two aggregates )
unit ( atom -- [ atom ]; make a list from the top iten on the stack )
pair ( atom atom -- [ atom atom ]; make a list from the top two items
on the stack )
quote ( atom -- quotation; the same as unit )
range ( start end -- aggregate; make an aggregate of numbers from start to
end, step size is 1 )
reverse ( aggregate -- aggregate; reverse the other of the list or string )

Some control word.

choice ( a b c -> if a is true, then b, else c;
it chooses a value based on a boolean)
ifte ( [test] [then] [else]
if test returns true, execute then, otherwise execute else )
ifinteger ( a [then] [else]
if a in an integer, execute then, otherwise execute else )
iffloat ( a [then] [else]
if a in a float, execute then, otherwise execute else )
iflist ( a [then] [else]
if a in a list, execute then, otherwise execute else )
ifstring ( a [then] [else]
if a in a string, execute then, otherwise execute else )
while ( [test] [loop]
execute loop as long as test returns true )
times ( n [loop]
executes loop n times )
map ( aggregate quotation; apply the quotation to every item in the
aggregate and put the on the stack in an aggregate, the function
in the quotation must consume one item and produce one item)
foldr ( aggregate start-value quotation -- result; apply the quotation
which consumes two things to the start-value and the current front
of the aggregate, consume the whole aggregate and leave the result)
foldl ( aggregate start-value quotation -- result; apply the quotation
which consumes two things to the start-value and the current end
of the aggregate, consume the whole aggregate and leave the result)

Note : foldr and foldl with produce identical results when the quotation is commutative.

Some examples

>> 4 ["times\n" print] times
times
times
times
times

>> 3 [1 - dup 0 >=] ["counting\n" print] while
counting
counting
counting

( Greatest common devisor, yes this is a comment, nestable )
>> 144 124 [dup 0 >] [dup rollup rem] while pop .
4

>> "abc" [upcase] map .
"ABC"
>> [1 2 3] [2 *] map .
[ 2 4 6 ]

you can define new words like this:

quotation "name" define ( a quotation is a list I will execute )

example:
[ dup * ] "square" define

you can now do this:
111111111 square .
12345678987654321

load code form a file

"square.joy" load

"abc" [upcase] map .

[1 2 3] [2 *] map .

factorial

[1 2 3 4 5] 1 [*] foldr .

[ "this is" " a " "good idea"] "" [conca] foldr .

try it with foldl