Atlast - как Forth, но лучше

Atlast это по сути удачная реализация языка Форт для юникса. Возник проект как часть продукта Autodesk, и изначально расшифровывался как Autodesk Threaded Language Application System Toolkit. Нынче оперсорс.

Исходники на Гитхабе: github.com/Fourmilab/atlast

Там фактически две отдельные реализации: одна для 32-битных компьютеров, другая для 64-битных. Поддерживаются плавающая точка, Си-шные строки, юниксный доступ к файлам.

Документация для 32-битной версии: atlast.html

Для 64-битной версии: atlast2.html

Пример программы: вычисление числа пи по алгоритму Тамура-Канада.

variable a
variable b
variable c
variable y

: tamura-kanada ( n -- fpi )
    1.0 a !
    1.0 2.0 sqrt f/ b !
    0.25 c !
    1.0
    swap 1 do
        a @ dup y !
        b @ f+ 2.0 f/ a !
        b @ y @ f* sqrt b !
        c @ over a @ y @ f-
        dup f* f* f- c ! 2.0 f*
    loop
    drop
    a @ b @ f+ dup f* 4.0 c @ f* f/
;

Чую бесовщину, но обосновать не могу

Штудирую людена нашего, Кристофера Лангана. Один из, а может и самый умный чувак на планете. IQ под две сотни.

Laws do not stand on their own, but must be defined with respect to the objects and attributes on which they act and which they accept as parameters. Similarly, objects and attributes do not stand on their own, but must be defined with respect to the rules of structure, organization and transformation that govern them. It follows that the active medium of cross-definition possesses logical primacy over laws and arguments alike, and is thus pre-informational and pre-nomological in nature…i.e., telic. Telesis, which can be characterized as “infocognitive potential”, is the primordial active medium from which laws and their arguments and parameters emerge by mutual refinement or telic recursion.

В переводе:

Законы не существуют сами по себе, а должны определяться относительно объектов и атрибутов, на которые они действуют и которые принимают в качестве параметров. Точно так же объекты и атрибуты не существуют сами по себе, а должны определяться с учетом правил структуры, организации и трансформации, которые ими управляют. Отсюда следует, что активная среда перекрестных определений обладает логическим первенством как над законами, так и над аргументами и, таким образом, является доинформационной и дономологической по своей природе… то есть телетической. Телезис, который можно охарактеризовать как «инфокогнитивный потенциал», представляет собой изначальную активную среду, из которой законы, их аргументы и параметры возникают путем взаимного уточнения или телетической рекурсии.

Гляжу как баран на новые ворота. Как отец Серафимий на интернет. 😀