Difference between revisions of "SubL/examples.1"

From Public Domain Knowledge Bank
Jump to: navigation, search
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
==== constant-internal-id ====
 
===== (constant-internal-id #$Lenat) =====
 
  CYC(#): (constant-internal-id #$Lenat)
 
  [Time: 0.0 secs]
 
  1
 
  
{{SubL/examples.stringp}}
+
== Information gathering function examples ==
 +
{{:SubL/examples.constant-internal-id}}
  
==== numberp ====
+
== Input / Output function examples ==
===== (numberp 1) =====
+
{{:SubL/examples.print}}
  (numberp 1)
+
 
[Time: 0.0 secs]
+
== Type testing functions examples ==
  T
+
{{:SubL/examples.constantp}}
===== (numberp #$Lenat) =====
 
CYC(#): (numberp #$Lenat)
 
[Time: 0.0 secs]
 
NIL
 
==== constantp ====
 
===== (constantp #$Lenat) =====
 
CYC(#): (constantp #$Lenat)
 
[Time: 0.002 secs]
 
T
 
 
{{:SubL/examples.functionp}}
 
{{:SubL/examples.functionp}}
==== print ====
+
{{:SubL/examples.numberp}}
===== (print "hello") =====
+
{{:SubL/examples.stringp}}
CYC(#): (print "hello")
+
{{:SubL/examples.symbolp}}
"hello" [Time: 0.002 secs]
 
"hello"
 
===== (print stringp) =====
 
CYC(#): (print stringp)
 
Error: STRINGP is not bound.
 
===== (print #$Lenat) =====
 
CYC(#): (print #$Lenat)
 
 
#$Lenat [Time: 0.0 secs]
 
#$Lenat
 

Latest revision as of 03:18, 8 March 2019

Information gathering function examples

constant-internal-id

arg1 datatype is STRUCTURE
CYC(#): (constant-internal-id "hello")
Error: "hello" is not of type STRUCTURE.
CYC(#): (structurep "hello")
Error: STRUCTUREP is not fboundp.
(constant-internal-id #$Lenat)
CYC(#): (constant-internal-id #$Lenat)
[Time: 0.0 secs]
1

Input / Output function examples

print w/ 0 arguments is ERROR

CYC(#): (print)
Error: Cannot make an arity 0 function from #<Function PRINT> {req=1 ...}

print w/ 2 arguments

arg2 must be OUTPUT-TEXT-STREAM

CYC(#):(print "hello" #$Lenat)
Error: #$Lenat is not of type: OUTPUT-TEXT-STREAM.
CYC(#): (print "hello" "world")
[Time: 0.006 secs]
"hello"

print w/ 3+ arguments is ERROR

CYC(#): (print "hello" "world" #$Lenat)
Error: Cannot make an arity 3 function from #<Function PRINT> {req=1 opt=1 allowsrest=false}

print w/ 1 argument

(print "string")
CYC(#): (print "hello")
"hello" [Time: 0.002 secs]
"hello"
(print 'symbol )
CYC(15): (print 'symb)
SYMB [Time: 0.002 secs]
SYMB
(print stringp)
CYC(#): (print stringp)
Error: STRINGP is not bound.
(print #$Lenat)
CYC(#): (print #$Lenat)
#$Lenat [Time: 0.0 secs]
#$Lenat

Type testing functions examples

constantp

returns T if arg1 is a constant
returns NIL if arg1 is not a constant
?ignores arg2 ?
ERROR if arg0 or arg3 or more

constantp w/ 0 arg is ERROR

CYC(56): (constantp)
Error: Cannot make an arity 0 function from #<Function CONSTANTP> {req=1 ...}

constantp w/ >2 arg is ERROR

CYC(#): (constantp #$Lenat #$Lenat #$Lenat)
Error: Cannot make an arity 3 function from #<Function CONSTANTP> {req=1 opt=1 allowsrest=false}

constantp w/ 1 arg

(constantp "a")
CYC(54): (constantp "a")
[Time: 0.0 secs]
T
(constantp #$Lenat)
CYC(#): (constantp #$Lenat)
[Time: 0.002 secs]
T
(constantp 'a)
CYC(#): (constantp 'a)
[Time: 0.0 secs]
NIL
(constantp 1)
CYC(7): (constantp 1)
[Time: 0.0 secs]
T

constantp w/ 2 arg

(constantp #$Lenat "a")
CYC(#): (constantp #$Lenat "a")
[Time: 0.001 secs]
T

functionp

CYC(#): (functionp)
Error: Cannot make an arity 0 function from #<Function FUNCTIONP> {req=1 ...}
CYC(#): (functionp "a" 'a)
Error: Cannot make an arity 2 function from #<Function FUNCTIONP> {req=1 opt=0 allowsrest=false}

numberp

(numberp 1)
(numberp 1)
[Time: 0.0 secs]
T
(numberp #$Lenat)
CYC(#): (numberp #$Lenat)
[Time: 0.0 secs]
NIL

stringp

examples of use
CYC(#):  (stringp)
Error: Cannot make an arity 0 function from #<Function STRINGP> {req=1 ...}
CYC(#): (stringp "hello" "world")
Error: Cannot make an arity 2 function from #<Function STRINGP> {req=1 opt=0 allowsrest=false}
(stringp "hello")
CYC(#): (stringp "hello")
T
(stringp 1)
CYC(#): (stringp 1)
[Time: 0.0 secs]
NIL
(stringp NIL)
CYC(#): (stringp NIL)
[Time: 0.0 secs]
NIL
(stringp 'stringp)
CYC(#): (stringp 'stringp)
[Time: 0.0 secs]
NIL
(stringp #$Dog)
CYC(#): (stringp #$Dog)
[Time: 0.0 secs]
NIL

symbolp

symbolp w/ 0 args is ERROR

CYC(#): (symbolp)
Error: Cannot make an arity 0 function from #<Function SYMBOLP> {req=1 ...}

symbolp w/ 2+ args is ERROR

CYC(#): (symbolp "hello" "world")
Error: Cannot make an arity 2 function from #<Function SYMBOLP> {req=1 opt=0 allowsrest=false}

(symbolp <string> )

CYC(#): (symbolp "hello")
[Time: 0.0 secs]
NIL
CYC(#): (symbolp #$Lenat)
[Time: 0.0 secs]
NIL

(symbolp <number> )

CYC(#): (symbolp 1)
[Time: 0.0 secs]
NIL