Lisp без скобок

@Shamil1 · Регистрация: 26.03.2015

Студворк — интернет-сервис помощи студентам

Почему бы не заменить скобки отступами? Всё-равно код приходится форматировать отступами, так как неотформатированный код нечитабелен.

Достаточно простого, однопроходного препроцессора. Наверное, можно даже макрос на Lisp написать.

Чтобы код:

Lisp
1
2
3
4
5
6
7
8
9
10
(define (sqrt x)
  (define (good-enough? guess)
    (< (abs (- (square guess) x)) 0.001))
  (define (improve guess)
    (average guess (/ x guess)))
  (define (sqrt-iter guess)
    (if (good-enough? guess)
        guess
        (sqrt-iter (improve guess))))
  (sqrt-iter 1.0))

Выглядел так:

Lisp
1
2
3
4
5
6
7
8
9
10
define (sqrt x)
  define (good-enough? guess)
    < (abs (- (square guess) x)) 0.001
  define (improve guess)
    average guess (/ x guess)
  define (sqrt-iter guess)
    if (good-enough? guess)
       guess
       sqrt-iter (improve guess)
  sqrt-iter 1.0

Для того, чтобы превратить второй код в первый, достаточно в начале каждой строки поставить открывающую скобку, а закрывающую поставить после последней "смещённой вправо" (позиция первого символа больше) строки.

@antares0 · 12.01.2020, 16:00

Сообщение от Shamil1

Почему бы не заменить скобки отступами? Всё-равно код приходится форматировать отступами, так как неотформатированный код нечитабелен.

Если вспомнить про Code<=>Data в макросах то удобство сомнительное.
А так вроде никто не мешает. приниципиальная Возможность в стандарт заложена и это дело время от времени переизобретают что бы вновь уйти в забвение

https://cliki.net/readable

@helter · 12.01.2020, 16:24

А потом окажется, что лямбды можно только однострочные.

@sodda · 13.01.2020, 09:14

А зачем? Если говорить о блочной структуре scheme, то будет не понятно где начинается внутреннее определение, и где оно заканчивается

@Shamil1 · 13.01.2020, 12:28 **[ТС]**

Сообщение от sodda

Если говорить о блочной структуре scheme, то будет не понятно где начинается внутреннее определение, и где оно заканчивается

По отступам понятно. (аналогично можно убрать фигурные скобки и точки с запятой из Си).
И при желании можно записать всё в одну строку, используя скобки (как и раньше).

Сообщение от helter

А потом окажется, что лямбды можно только однострочные.

Lisp
1
2
3
4
5
6
7
8
9
10
11
define (sqrt x)
  define (good-enough? guess)
    < (abs (- (square guess) x)) 0.001
  define (sqrt-iter guess)
    if (good-enough? guess)
       guess
       sqrt-iter 
          lambda (g) 
             average g (/ x g)
          guess
  sqrt-iter 1.0

Теоретически, можно усложнить правила, чтобы можно было писать

Lisp
1
2
sqrt-iter (lambda (g) 
              average g (/ x g)) guess

но не думаю, что это оправдано.

@helter · 14.01.2020, 01:50

А как понять, что в восьмой строке guess, а не (guess)?

@Shamil1 · 14.01.2020, 22:58 **[ТС]**

Сообщение от helter

А как понять, что в восьмой строке guess, а не (guess)?

Если в строке одно слово, то скобки не добавляются.

@helter · 15.01.2020, 00:21

А в другом примере, где lambda после sqrt-iter, это последнее слово без скобок. Наверно, надо к этой поправке добавить поправку об индентации следующей строки, особенно на случай форм типа begin/progn.

Добавлено через 1 минуту
А вот пустую begin, наверно, либо со скобками записывать, либо вводить слово pass.

Добавлено через 11 минут
Ещё для тех лиспов, где есть ключевые слова, нужно и для них внести поправки, чтобы можно было писать

Lisp
1
2
(connect :host "localhost"
         :port 4005)

@Catstail · 15.01.2020, 09:37

Сообщение от Shamil1

Почему бы не заменить скобки отступами?

- идея занятная. Но такой текст будет легко "испортить". см. двумерный синтаксис в Питоне или Хаскелле. Я не против двумерного синтаксиса (наоборот!) - но проблемы "табуляция - пробелы" - это нечто!

И, главное, зачем убирать скобки из Лиспа? Популярности Лиспу это вряд ли прибавит. А тем, кто Лисп "принял душой", скобки не мешают.

Своего мнения не навязываю.

@Shamil1 · 15.01.2020, 10:09 **[ТС]**

Сообщение от Catstail

проблемы "табуляция - пробелы" - это нечто!

Нужен редактор, который автоматически заменяет табуляцию на пробелы. В правильных редакторах для Haskell, F# и т.п. такой проблемы нет.

Сообщение от Catstail

А тем, кто Лисп "принял душой", скобки не мешают.

При правильном форматировании проблем нет. Но код из первого сообщения можно отформатировать так:

Lisp
1
2
3
4
5
6
7
(define (sqrt x) (define (good-enough? 
    guess) (< (abs (- (square guess) x)) 
    0.001)) (define (improve guess) 
    (average guess (/ x guess))) (define 
    (sqrt-iter guess) (if (good-enough? 
    guess) guess (sqrt-iter (improve 
    guess)))) (sqrt-iter 1.0))

И тогда сложно разобраться, что же он делает.
На практике вряд ли кто-нибудь считает скобки - скорее полагаются на то, что количество скобок соответствует форматированию.

Мне даже в C# скобки (фигурные) мешают (и точки с запятой тоже). Занимают место на экране. А при рефакторинге делают весь код ниже невалидным на время, что сильно замедляет работу интеллисенс и прочих анализаторов кода. ИМХО "позиционный" синтаксис лучше "скобочного".

@Shamil1 · 15.01.2020, 10:13 **[ТС]**

Сообщение от helter

Ещё для тех лиспов, где есть ключевые слова, нужно и для них внести поправки, чтобы можно было писать

Изначально идея была чуть сложнее: смысл кода зависел от позиции начала следующей строки по отношению к началу слов предыдущей (а не только началу предыдущей строки). Но потом я решил, что это уже излишнее усложнение. Проще добавить символ "продолжение строки":

Lisp
1
2
connect :host "localhost" \\
        :port 4005

@helter · 15.01.2020, 13:04

Сообщение от Shamil1

смысл кода зависел от позиции начала следующей строки по отношению к началу слов предыдущей (а не только началу предыдущей строки)

Сейчас тоже так, или же

Lisp
1
2
3
sqrt-iter 
  lambda (g) 
    average g (/ x g)

тоже надо продолжение строки указывать (так как sqrt-iter стоит сам по себе, он не станет заворачиваться в скобки).

Сообщение от Catstail

И, главное, зачем убирать скобки из Лиспа?

Не, из лиспа категорически нельзя убирать скобки. Уже сейчас, без попытки что-то реализовать, видно, насколько лисповая идея "пробелы разделяют, скобки группируют" проще. Это случай гениальной простоты. Мы все свидетели, что совокупность разделения и группировки, опирающаяся на идею неоднородного списка, имеет достаточно выразительной способности, чтобы на ней программировать. Поэтому с помощью двух этих операций можно выразить что угодно. Другими словами, с помощью S-выражений можно формализовать что угодно (что можно формализовать). Мне нравятся примеры из начала PAIP, где Норвиг загоняет грамматические правила в S-выражения, и делает замечание, что при работе со сложной областью имеет смысл изначально использовать как можно более естественную нотацию. Вообще, создание формализаций - дело непростое, поэтому хорошо, если инструмент не создаёт лишнего шума. Мы не считаем скобки, но, вероятно, нам не очень сложно мыслить ими, то есть через группировку. Лично я бы предпочёл про создании DSL не отвлекаться на отступы, продолжения строки, и питоновское двоеточие. Мы группируем скобками, а редактор делает красиво.

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

Кроме прочего, что показывается практика программирования на отступах? "Код на питоне читается как псевдокод!" - больше ничего не приходит на ум. Всё вполне заурядно, включая тенденцию к уменьшению уровня вложенности. S-выражения - киллер-фича, а отступы не киллер-фича.

@Shamil1 · 15.01.2020, 14:04 **[ТС]**

Сообщение от helter

sqrt-iter стоит сам по себе, он не станет заворачиваться в скобки

Так как следующая строка имеет больший отступ, то в начале этой строки будет поставлена открывающая скобка, а закрывающая будет поставлена в конце группы строк, имеющих больший отступ (то есть, после guess в строке 10).

Lisp
1
2
3
4
5
       (sqrt-iter 
          lambda (g) 
             average g (/ x g)
          guess)
  sqrt-iter 1.0

Добавлено через 48 минут

Сообщение от helter

Это случай гениальной простоты.

Я согласен.

Сообщение от helter

Другими словами, с помощью S-выражений можно формализовать что угодно (что можно формализовать).

Это основное достоинство Лиспа и его преимущество над другими языками. Но читать не совсем удобно, так как некоторые вещи записываются длиннее, чем могли бы. Более длинный код дольше читать. Кроме того, меньше кода уменьшается на один экран и чаще встречаются ситуации, когда для того, чтобы понять код, приходится скролить. И из-за этого код ещё дольше читать. Говоря "дольше", я сравниваю не с каким-то конкретным языком, а с неким несуществующим идеальным языком.
ИМХО было бы удобно использовать некоторые дополнительные соглашения по синтаксису S-выражений - запись без скобок, операторы, частичное применение, генераторы коллекций, явное задание стратегии вычислений и т.п.

@vlisp · 17.01.2020, 13:43

Сообщение от Shamil1

Почему бы не заменить скобки отступами?

получится питон

@sodda · 21.01.2020, 23:21

Оставлю тут..
Язык Shen. Выглядит как какая-то смесь Sheme, CL, CLojure, ML и Prolog.
Подробнее тут

вот пример qsort на языке

JavaScript
1
2
3
4
5
6
7
8
9
10
11
12
13
(define filter
  {(A --> boolean) --> (list A) --> (list A)}
  _   []      -> []
  T?  [A | B]  -> (append [A] (filter T? B)) where (T? A)
  T?  [_|B]    -> (filter T? B)
)
  
(define q-sort
  {(list number) --> (list number)}
  [] -> []
  [A | B] -> (append (q-sort (filter (> A) [A|B]))
                     [A]
                     (q-sort (filter (< A) [A|B]))))

@sodda · 22.01.2020, 15:56

Почитал вчера немного мануал - прикольная штука. Можно сопоставить с Clojure. Реализован, кстати, на Common Lisp.

Функция которая складывает все цифровые в списке. Список там заключается в квадратные скобки, как вектор в Clojure.

Lisp
1
2
3
4
5
6
(define total
        [] -> 0
        [X | Y] -> (+ X (total Y)))
 
(total [10 20 4])
=> 34

Тут используется сопоставление и деструктуризация, так если бы использовали в Clojure cond и механизм деструктуризации.
В коде выше - X соответствует первому элементу (first coll), a Y хвосту (rest coll)

Lisp
1
2
3
4
5
6
(defn total [[x & xs]]
     (cond (empty? (rest xs)) (last xs)
               :else (+ x (total xs))))
 
(total [10 20 4])
=> 34

Lisp
1
2
3
4
5
6
(define triples
        [] -> []
        [W X Y | Z] -> [[W X Y] | (triples Z)])
 
(triples [1 2 3 4 5 6])
=> [[1 2 3] [4 5 6]]

Lisp
1
2
3
4
5
6
(defn three-prts [[x y z & xs]] 
     (cond (empty? (rest xs)) (cons [x y z] []) 
               :else (cons [x y z] (three-prts xs))))
 
three-prts [1 2 3 4 5 6 7])
=> ([1 2 3] [4 5 6])

Добавлено через 58 минут
Подумал, как можно избавится от лишнего когда типа (empty? (rest xs)) и вспомнил про безусловное выполнение в CL.
Так будет лучше.

Lisp
1
2
3
(defn three-prts [[x y z & xs]] 
     (cond (empty? xs)  [] 
               true (cons [x y z] (three-prts xs))))

Добавлено через 6 минут

Lisp
1
2
3
(defn total [[x & xs]]
     (cond (empty? xs) x 
               true (+ x (total xs))))

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	12.01.2020, 16:24
	А потом окажется, что лямбды можно только однострочные. 1

@sodda Заблокирован
	13.01.2020, 09:14
	А зачем? Если говорить о блочной структуре scheme, то будет не понятно где начинается внутреннее определение, и где оно заканчивается 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	14.01.2020, 01:50
	А как понять, что в восьмой строке guess, а не (guess)? 0

Lisp без скобок

Решение