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

С классификаторами покончено, то есть с авторской типизацией функций (и символов?). Хотел на тему предикатов ещё акцентировать статью “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

Тема, в принципе, тоже большая и потому, что это и есть, по сути, содержание практики программирования, абстрагирование, классификация, категоризация, концептуализация, символизация, дефиниции, планирование организации вычислений, организация памяти, обозначения её фрагментов, поиск … и так далее … то есть, к ней мы постоянно возвращаемся и, собственно, этой самой типизацией занимаемся, спецификацией данных, формализацией, где код - тоже некоторый тип данных. Метафора - “Данные - это код или код - это данные” … это не принцип - это факт!