mlisp/doc/Doc.md

19 KiB

Command line options

option Description
-h Prints help
-b Skips loadin of std lib
-c code Runs given code
-f source_file .. Executes code in files
-run source_file .. Executes code in file, if first line of file is sheebang, it is skipped
-i Runs REPL
-d Turns on better stacktrace
-p Prints profile info at the end
-v Prints version string

REPL commands

Command Description
!q, !quit Quit REPL
!e, !env Display environment
!x, !export Exports command from this session. Asks for filename to save

Syntax and Special Forms

Special Form Argument Evaluations Purpose Section
(if cond a b) if only evaluates its cond argument. If cond is truthy (non-zero), then a is evaluated. Otherwise, b is evaluated. This special form is the main method of control flow. Language
(cond (test1 action1 ..) (test2 action2 ..) ... (testn ..)) The first clause whose test evaluates to non-nil is selected; all other clauses are ignored, and the consequents of the selected clause are evaluated in order. If none of the test conditions are evaluated to be true, then the cond statement returns nil. This special form is method of control flow. Language
(do a b c ...) do takes a list of s-expressions and evaluates them in the order they were given (in the current scope), and then returns the result of the last s-expression. This special form allows lambda functions to have multi-step bodies. Language
(scope a b c ...) scope takes a list of s-expressions and evaluates them in the order they were given in a new scope, and then returns the result of the last s-expression. This special form allows the user to evaluate blocks of code in new scopes. Language
(defn name params body) defn evaluates none of its arguments. This special form allows the user to conveniently define functions. Language
(defmacro name params body) defmacro evaluates none of its arguments. This special form allows the user to conveniently define macros. Language
(def name value) def evaluates the value argument, which is then assigned to name in the current scope. This special form allows the user to bind atoms to values in a scope. Language
(lambda params body) lambda evaluates none of its arguments. This special form allows the user to define anonymous functions. Language
(quote x) quote evaluates none of its arguments. This is equivalent to the 'expr syntactic sugar. Language
(for x list ...) for evaluates only its list argument. for iterates through the list storing each element in x, and then evaluating all of the rest of the values in the for body. It then returns the last value evaluated. Language
(while cond ...) while evaluates only its cond argument. while evaluates its condition expression every iteration before running. If it is true, it continues to evaluate every expression in the while body. It then returns the last value evaluated. Language
(and ...) and evaluates logical and on its list argument. and evaluates only until its true, it stops when becomes false. Language
(or ...) or evaluates logical or on its list argument. or evaluates while its false, it stops when becomes true. Language
(benchmark msg_string ...) benchmark takes a list of s-expressions and evaluates them in the order they were given (in the current scope), and then returns the result of the last s-expression and prints msg_string and timing info. Language
(set! x) set! ... .... Language

Library

Signature Description Return values Section
(= a b) Test whether two values are equal 1 when equal otherwise nil Language
(!= a b) Test whether two values are not equal 1 when not equal otherwise nil Language
(> a b) Test whether one value is greater to another 1 when greater otherwise nil Language
(< a b) Test whether one value is less to another 1 when less otherwise nil Language
(>= a b) Test whether one value is greater or equal to another 1 when greater or equal otherwise nil Language
(<= a b) Test whether one value is less or equal to another 1 when less or equal otherwise nil Language
(+ a b ..) Sum multiple values sum of values Language
(- a b) Substract two values result of substraction Language
(* a b ..) Multiply several values result of multiplication Language
(/ a b) Divide two values result of division Language
(% a b) Remainder of division result of operation Language
(list ..) Create a list of values List manipulation
(insert list index element) Insert an element into a list. Indexed from 0 new list with value inserted List manipulation
(index list index) Return element at index in list. First element is at index 0 Element at index List manipulation
(remove list index) Remove a value at an index from a list List with element removed List manipulation
(len list) Get the length of a list list length List manipulation
(push list element) Add an item to the end of a list new list with element added List manipulation
(pop list) Returns last element of list Last element List manipulation
(head list) Returns first element of a list >>> (head '(1 2 3)) => 1 List manipulation
(tail list) Return all elements of list except first one >>> (tail '(1 2 3)) => (2 3) List manipulation
(first list) Returns first element of a list >>> (first '(1 2 3)) => 1 List manipulation
(last list) Returns last element of list >>> (last '(1 2 3)) => 2 List manipulation
(range low high) Returns list with elements in range low .. high (range 1 5) => (1 2 3 4) List manipulation
(member lst item) Returns #t when item is inluded in lst otherwise nil List manipulation
(uniq list) Filter out any duplicates from list >>> (uniq '(1 2 2 3 4 5 2 2)) => (1 2 3 4 5) List manipulation
(flatten list) Flattens a list to single level >>> (flatten '(1 (2 2) 3)) => (1 2 2 3) List manipulation
(take list count) Returns sublist with count element of list >>> (take '(1 2 3 4) 3) => (1 2 3) List manipulation
(make-list len) Return list with len nil elements (make-list 3) => (nil nil nil) List manipulation
(make-list-of size value) Makes list with size elements of values >>> (make-list-of 5 0) => (0 0 0 0 0) List manipulation
(concat-lists seq1 seq2) Appends all elements from seq2 to seq1 >>> (concat-lists '(1 2 3) '(4 5 6)) => (1 2 3 4 5 6) List manipulation
(take lst size) Makes sublist of a lst with size length >>> (take '(1 2 3 4 5 6) 3) => (1 2 3) List manipulation
(find-val-in-list lst name) Returns tail od sublist which first element is name >>> (find-val-in-list '(("a" ("av" "avv")) ("b" "bv") (31 32 33) (41 42 43)) "b") => "bv" >>> List manipulation
(map ..) Returns list that is the result of executing lambda on its elements (map (lambda (x) (+ x 10)) '(1 2 3 4 5 6)) => (11 12 13 14 15 16) List manipulation
(filter lambda list) Returns list with elements for which passed lambda returns true (filter (lambda (x) (> x 2)) '(1 2 3 4 5)) => (3 4 5) List manipulation
(reduce lambda acumulator list) Reduces list >>> (reduce (lambda (x y) (+ (* x 10) y)) 0 '(1 2 3 4)) => 1234 List manipulation
(exit code) Exit the program with an integer code System
(quit code) Same as (exit ..) System
(print ..) Print several values and return the last one IO
(input [prompt]) Get user input with an optional prompt IO
(random low high) Get a random number between two numbers inclusively System
(include file) Read a file and execute its code IO
(read-file filename) Get the contents of a file IO
(read-file-lines filename lambda) Reads file and for each line call lambda with passing the line as a parameter (read-file-lines "/tmp/f.txt" (lambda (ln) (print ln)) IO
(write-file filename content-str) Write a string to a file IO
(read-url url [headers] [body] [method]) Reads URL Returns list (status-code content) IO
(system-cmd command_str) Execute system command System
(ls-dir dir) List a dir List of directory entries
(is-file? filename) Returns true if passed filename is a file IO
(is-dir? filename) Returns true if passed filename is a directory IO
(tcp-server port handler) Starts listening on port and when request comes calls passed lambda and writes its returned value back to client. Lambda must return either string or two element list where first element is boolean and second string.When first element is true it closes listening socker. (tcp-server 7777 (lambda (str) (list #t (string-upcase str)))) IO
(tcp-client address port data) Opens connection to server on port, writes there data and returns response. (print (tcp-client "127.0.0.1" 7777 "abcd")) IO
(is-dir? filename) Returns true if passed filename is a directory IO
(parse-csv string) Parse CSV string String manipulation
(parse-json json_string) Parse JSON string String manipulation
(save-csv ..) Save list as csv IO
(get-universal-time) Get current time as secs from epoch >>> (get-universal-time) => 1642152733 Date and time
(get-localtime-offset) Offset in seconds between local time and gmt time Date and time
(date-to-str date format) Converts date to formated string. Format is strftime format (https://www.tutorialspoint.com/c_standard_library/c_function_strftime.htm) >>> (date-to-str (get-universal-time) "%Y-%m-%d %H:%M:%S") => "2021-03-13 19:53:01" Date and time
(str-to-date string format) Converst string to time of secs since epoch. >>> (str-to-date "2021-03-13 19:53:01" "%Y-%m-%d %H:%M:%S") => 1615665181 Date and time
(date-add date amount unit) Add number of units to date. A unit is one of 'year', 'month', 'day', 'hour', 'minute' or 'second' >>> (date-to-str (date-add (str-to-date "2021-03-13 19:53:01" "%Y-%m-%d %H:%M:%S") 10 "day") "%Y-%m-%d %H:%M:%S") => "2021-03-23 20:53:01" Date and time
start-of-day datetime Returns epoch time of start of a day >>> (start-of-day (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1620864000 Date and time
end-of-day datetime Returns epoch time of end of day >>> (end-of-day (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1620950399 Date and time
start-of-month datetime Returns epoch time of start of month >>> (start-of-month (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1619827200 Date and time
start-of-next-month datetime Returns epoch time of start of following month >>> (start-of-next-month (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1622505599 Date and time
end-of-next-month datetime Returns epoch time of end of following month >>> (end-of-next-month datetime (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1622505600 Date and time
end-of-month datetime Returns epoch time of end of month >>> (end-of-month (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1625097599 Date and time
start-of-prev-month datetime Returns epoch time of start of previous month >>> (start-of-prev-month (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1617235200 Date and time
end-of-prev-month datetime Returns epoch time of end of previous month >>> (end-of-prev-month (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1619827199 Date and time
start-of-year datetime Returns epoch time of start of year >>> (start-of-year (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1609459200 Date and time
end-of-year datetime Returns epoch time of end of year >>> (end-of-year (str-to-date "2021-05-13 10:32:12" "%Y-%m-%d %H:%M:%S")) => 1640995199 Date and time
decode-universal-time time Returns the decoded time represented by the given universal time. Returns list with (second, minute, hour, day, month, year, day-of-the-week) >>> (decode-universal-time 0) => (0 0 0 1 1 1970 4) Date and time
(debug ..) TODO add me TODO add me IO
(display ..) Displays passed parameters >>> (display '(1 2 3)) => "(1 2 3)" IO
(string-replace source substr replacement) Replace a substring with a replacement string in a source string >>> (string-replace "abcdefg" "de" "DE") => "abcDEfg" String manipulation
(string-replace-re source substr replacement) Replace a substring regex with a replacement string in a source string >>> (string-replace-re "there is a subsequence in the string" "\\b(sub)([^ ]*)" "sub-$2") => "there is a sub-sequence in the string" String manipulation
(string-regex? where regex) Returns true if where contains regex, else nil >>> (string-regex? "aba123cdefg" "[0-9]+") => #t Regex
(string-regex-list where regex [mode] [ignorecase]) Returns list of substring from where captured by regex in mode match or tokens >>> (string-regex-list "<td class=\"xyz\">1</td><td>2</td>" "<td.*?>(.*?)</td>" "match" "ignore") => (("<td class=\"xyz\">1</td>" "<td>2</td>")) >>> (string-regex-list "<td class=\"xyz\">1</td><td>2</td>" "<td.*?>(.*?)</td>" "token") => (("1") ("2")) Regex
(string-pad str len char rpad_lpad) Pad string from start or to end with char to length String manipulation
(string-lpad str len char) Pad string from start with char to length len >>> (string-lpad "0" 10 "x") => "xxxxxxxxx0" String manipulation
(string-rpad str len char) Pad string from righ with char to length len >>> (string-rpad "0" 10 "x") => "0xxxxxxxxx" String manipulation
(string-split str separator) Splits string into list by regexp >>> (string-split "split me by space" "\s+") => ("split" "me" "by" "space") String manipulation
(string-rltrim str len RKRRKR) Removes " \n\r\t" from the begininfg or end or both ends of str Regex
(string-ltrim str) Removes " \n\r\t" from the begininfg of str String manipulation
(string-rtrim str) Removes " \n\r\t" from the end of str String manipulation
(string-trim str) Removes " \n\r\t" from the both strart and end of str String manipulation
(string-case str RKRRKR) Returns up or down cased string String manipulation
(string-upcase str) Returns up cased string >>> (string-upcase "abcdefghchijklmn") => "ABCDEFGHCHIJKLMN" String manipulation
(string-downcase str) Returns down cased string >>> (string-downcase "ABCDefghchijklmn") => "abcdefghchijklmn" String manipulation
(string-join lst sep) Returns string created as elements of concatenation of lst elements separated by sep >>> (string-join ("A" "B" "C" "D") ",") => "A,B,C,D" String manipulation
(string-len str) Returns string length >>> (string-len "abcdef") => 6 String manipulation
(string-substr str pos len) Returns substring from str starting at pos with len. If pos is negative returns substring from the end of string. First character is on pos 0 >>> (string-substr "ABCD" -2 2) => "CD" String manipulation
(string-find str lookup pos) Returns position of lookup in str starting on position. First char index is 0. If not found returns nil >>> (string-find " long long int;" "long" 2) => 6 String manipulation
(int value) Cast an item to an int >>> (int 3.41) => 3 Type casting
(float value) Cast item to a float >>> (int 3.41) => 3.14 Type casting
(string value) Cast int or float item to a string >>> (string 3.14) => "3.14" Type casting
(eval <exp>) Eval returns the value of the second evaluation >>> (eval '(+ 1 2)) => 3 Language
(type e) Returns data type of e >>> (type (+ 1 2)) => "int" Type casting
(list? e) Returns true if type of e is list >>> (list? 12) => nil >>> (list? '(1 2)) => #t Type casting
(empty-list? e) Returns true if type of e is empty list >>> (empty-list? '(1 2)) => nil >>> (empty-list? '()) => #t Type casting
(string? e) Returns true if type of e is string >>> (string? "str") => #t Type casting
(int? e) Returns true if type of e is integer >>> (int? "str") => nil >>> (int? 9) => #t Type casting
(float? e) Returns true if type of e is float >>> (float? 9) => nil >>> (float? 9.0) => #t Type casting
(nil? e) Returns true if type of e is nil >>> (nil? 9.0) => nil >>> (nil? nil) => #t >>> (nil? '()) => nil Type casting
(true? e) Returns true if type of e is #t Type casting
(parse ..) Parses string to be evaluated >>> (eval (first (parse "(+ 1 2)"))) => 3 Language
(quick-sort-by list cmp) Returns list sorted by comparsion function Language
(quick-sort list) Return sorted list >>> (quick-sort '(2 4 6 1 7 3 3 9 5)) => (1 2 3 3 4 5 6 7 9) Language
(quick-sort-reverse list) Return reverse sorted list >>> (quick-sort-reverse '(2 4 6 1 7 3 3 9 5)) => (9 7 6 5 4 3 3 2 1) Language
(not c) Logical NOT of c >>> (not 1) => nil Language
(neg n) Negates number >>> (neg -5) => 5 Language
(is-pos? n) Returns true if n is positive number Language
(is-neg? n) Returns true if n is negative number Language
(dec n) Return n decremented by 1 >>> (dec 5) => 4 Language
(inc n) Return n incremented by 1 >>> (inc 5) => 6 Language
(sleep time) Pauses execution for time interval of seconds System
(function? e) Returns true if type of e is lambda, macro or builtin >>> (function? index) => #t Language
(unless test v) If test is not truthy then v is evaluated. This is macro. >>> (unless (> 1 2) "1 < 2") => "1 < 2" Language
(dotimes v n body) Evaluates body n-times. For each eveluation v is set to value between 0 and n minus one (dotimes i 10 (print "i :" i)) Language
(doc::man "func_name") Prints short help for func_name Language
(doc::appropos "string") Looks for functions to be related passed string. String can be more words separated by space Language
(doc::look "string") Alias for appropos Language
(doc::lookup "string") Alias for appropos Language
(get-env var) Return environment variable var >>> (get-env "HOME") => "/Users/vaclavt" System
(second list) Returns second element of list >>> (second '(1 2 3 4 5 6 7)) => 2 List manipulation
(third list) Returns third element of list >>> (third '(1 2 3 4 5 6 7)) => 3 List manipulation
(fourth list) Returns fourth element of list >>> (fourth '(1 2 3 4 5 6 7)) => 4 List manipulation
(fifth list) Returns fifth element of list >>> (fifth '(1 2 3 4 5 6 7)) => 5 List manipulation
(nth i list) Return i-th elemenet of list. First element has index 1 >>> (nth 7 '(1 2 3 4 5 6 7)) => 7 List manipulation
(make-csv list) creates csv string from list of lists (print (make-csv '(("r1c1" "r1c2") ("r2c1" "r2c2")))) List manipulation
(sprintf ..) Writes string pointed by format to the standard output >>> (sprintf "%s, %d, %.2f" (list "string" 1000 3.14)) => "string, 1000, 3.14" String manipulation
(thread-create code..) Creates new thread, starts evalueating code and returns immediatelly thread id Threading
(thread-under-lock lockname code) Acquire lock with lockname and eval code. "ilock" currently is only allowed lockname Threading
(thread-sleep milisecons) Sleeps thread for given amount of miliseconds Threading
(threads-join) Wait for all running threads to finish Threading
(try block catch_block [finally_block]) Evaluates block and if an exception is thrown, evaluates catch_block.Eventually in both cases evals finally_block. Return evaluated last expression from block if no exception or last expression from catch_block, if exception is thrown from block. Variable ml-exception in catch block is available with astring describing exception Exceptions
(throw-exception exp_desc) Throws an exception with exp_desc describing what happened Exceptions