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

Sergey ShishkinSergey Shishkin
2 min read

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

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

0
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

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