Test console

This is a console for testing out expressions in the minimal programming language CosmicOS starts off with. Type help for a sketch of the syntax, and examples for some expressions to try out.

Within the message

The console is also available within the message text. Just pick a section, pick a line, and click the little triangle. The console will start, loading all definitions up to that point.

0introduce numbers (in unary notation)
unaryisintsquareprime
1introduce equality and inequality of numbers
=><
2introduce logical negation
not
3introduce addition
+
4introduce subtraction
-
5introduce multiplication
*
6introduce non-unary representation of numbers
7show alternative groupings
8show local assignment
assign
9demonstrate existence of memory
square++
10introduce true and false
truefalse
11show conditionals
ifmaxminfactorial
12introduce the AND logical operator
and
13introduce the OR logical operator
or
14introduce pairs
conscarcdr
15introduce mutable cells
make-cellset!get!
16introduce lists
listundefinedheadtaillist-lengthlist-reffunction?equallist=prependpairfirstsecond
17introduce map and reduce
mapreduce
18how to change the imagined interpreter
translatevector
19some more list functions
list:findlastexcept-lastlist:reverseappendselect-match
20introduce pi and e
minusfracabswithinrangeevenodddecimalepipower:10pow:intpowexp
21introduce i
sumi
22define let expressions
let
23lambda functions
lambda
25some pure lambda calculus definitions - optional
pure:ifpure:truepure:falsepure:conspure:carpure:cdrpure:0pure:1pure:2pure:nextpure:+pure:*pure:prevpure:=:0fixed-pointpure:int:get
26introduce universal quantifier
forall
27introduce existential quantifier
exists
28introduce logical implication
=>
29introduce sets and set membership
elementset:<=set:=set:0
30introduce graph structures
graph:makeexists:graph:2exists:graph:2:list
31show how to execute a sequence of instructions
begin
32introduce environment/hashmap structure
hash-addhash-refhash-nullhash-defaultmake-hash
33introduce simple mutable structures
mutable-struct
34introduce turing machine model
tape:dotape:maketape:resultdemo:tape:function:+:1
35quoting syntax
quote
36introduce simple form of typing, for ease of documentation.
condinstanceofreflective
37message passing / object example - a 2D point
point
38message passing / object example - a container
container
39adding a special form for classes
list-appendclass
40wrapper class for cells
cell
41playing around with doors and rooms
doorroomcharacter
42introduce the elements
protonelectronneutronmasshydrogenheliumcarbonnitrogenoxygenhydrogen:2oxygen:2oxygen:3waternitrogen:2ammoniamethaneethane
44simulating unless gates
unlessmake-matrixmatrix-setmatrix-getsimulate-unlessbit-getmake-imageimage-getimage-heightimage-widthdistill-circuit
45testing alternate primer based on gates: cos_not circuit
cos_not_gatecos_not_image
46testing alternate primer based on gates: cos_and circuit
cos_and_gatecos_and_image
47testing alternate primer based on gates: cos_or circuit
cos_or_gatecos_or_image
48testing alternate primer based on gates: cos_nor circuit
cos_nor_gatecos_nor_image
49testing alternate primer based on gates: cos_osc circuit
cos_osc_gatecos_osc_image
50testing alternate primer based on gates: cos_sr circuit
cos_sr_gatecos_sr_image
51testing alternate primer based on gates: cos_d circuit
cos_d_gatecos_d_image
52probing networks of unless gates
54a mechanism for referring to parts of the message
primer
55some preparatory work for integrating with Java code
ObjectIntegerStringjavajvm-maker
56class translation 'COS_JavaTest'
57check that automatic conversion is workable
58another simple little text-adventure space
59native implementation of a Java list, hash classes
60testing the JList class
61basic iterator implementation
62class translation 'COS_JDoor'
63class translation 'COS_JThing'
64class translation 'COS_JRoom'
65class translation 'COS_JNamed'
66class translation 'COS_JWorld'
67class translation 'COS_JRobo'
68test JRoom, JDoor, JThing, etc