Тут начинается самое интересное: фигура может включать себя саму. Взгляните:
startshape TENTACLE
shape TENTACLE {
SQUARE []
TENTACLE [y 1 rotate 5 size 0.8]
}
Шупальце состоит из квадрата и ещё одного щупальца, только чуть повыше, поменьше и повёрнутого на пять градусов. А это второе щупальце в свою очередь состоит из квадрата и ещё одного щупальца поменьше. А то щупальце включает в себя ещё меньшее щупальце. И так далее.
Получаем фрактал, то есть самоподобную фигуру. Щупальце здесь включает в себя собственную точную копию.
К слову: язык гораздо лучше воспринимать не как императивный или функциональный, а как декларативный. Мы пишем не функции, которые друг друга вызывают и что-то рисуют, мы именно описываем, что картинка из себя представляет. Если бы это был традиционный язык, в этом примере мы бы получили либо переполнение стека, либо бесконечный цикл.