Типы структур данных

С классификаторами покончено, то есть с авторской типизацией функций (и символов?). Хотел на тему предикатов ещё акцентировать статью “The 'select' Predicate“, но вспомнил, что уже была акцентирована функция select (но её нет в общем списке специфицирующихся функций как предикатов, что тоже вызывает вопросы …).
В конспекте, который я создаю для потенциального мануала с помощью Tiddlywiki есть тег “PicoLisp Work“, по которому собраны ссылки на статьи, фактически, являющиеся содержанием двух изданных, в бумажном варианте, книг - PicoLisp by Example и PicoLisp Works. Далее будет попытка их акцентирования и цитирования, а чтобы закрыть предыдущий цикл привожу ещё список “Other“ (других, но которые фактически, все отклассифицированы!) - ! $ % %@ & * */ + ++ - -> / : :: ; < <= <> \= \=: \== \==== \> \>= \>> ? @ @@ @@@ ^ %7C , а также “Data types”
Базовые типы (структур) данных:
num - Number
sym - Symbol
lst - List
Другие (производные) типы (структур) данных
any - Anything: Any data type
flg - Flag: Boolean value (NIL or non-NIL)
cnt - A count or a small number
dat - Date: Days, starting first of March of the year 0 A.D.
tim - Time: Seconds since midnight
obj - Object/Class: A symbol with methods and/or classes
var - Variable: Either a symbol or a cons pair
exe - Executable: An executable expression (eval)
prg - Prog-Body: A list of executable expressions (run)
fun - Function: Either a number (code-pointer), a symbol (message) or a list (lambda)
msg - Message: A symbol sent to an object (to invoke a method)
cls - Class: A symbol defined as an object's class
typ - Type: A list of cls symbols
pat - Pattern: A symbol whose name starts with an at-mark "@"
pid - Process ID: A number, the ID of a Unix process
fd - File descriptor: The number of an open file
tree - Database index tree specification
hook - Database hook object
Тема, в принципе, тоже большая и потому, что это и есть, по сути, содержание практики программирования, абстрагирование, классификация, категоризация, концептуализация, символизация, дефиниции, планирование организации вычислений, организация памяти, обозначения её фрагментов, поиск … и так далее … то есть, к ней мы постоянно возвращаемся и, собственно, этой самой типизацией занимаемся, спецификацией данных, формализацией, где код - тоже некоторый тип данных. Метафора - “Данные - это код или код - это данные” … это не принцип - это факт!
Subscribe to my newsletter
Read articles from Sergey Shishkin directly inside your inbox. Subscribe to the newsletter, and don't miss out.
Written by

Sergey Shishkin
Sergey Shishkin
Всегда чему-то учусь!