Различные IDE для диалектов лиспа

@helter · Регистрация: 12.03.2013

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

Я работаю с лиспом (развлекаюсь, конечно, а не работаю) в vim + slimv. Буду нести эту связку в массы. Сразу оговариваюсь, что я не эксперт по slimv-у, поэтому что-то могу делать неоптимально и могу не знать многих фич. Однако и так он устанавливает достаточно удобный диалог с лиспом для того, чтобы не разменивать Редактор на всякую ерунду.

Slimv - это плагин, который имитирует функциональность Slime. В частности, он устанавливает диалог с работающим лисповым процессом. Написан на vimlang и python (та часть, которая отвечает за общение процессов через сокеты).

Да, я буду писать линуксоцентрично. Вроде бы slimv работает и на Windows, но пользователи оной ОС пусть сами разбираются, как его ставить. Также я буду писать CL-центрично, хотя slimv поддерживает и другие диалекты.

Я буду предполагать общее знакомство читателя с vim-ом, но нубовопросы по виму задавать можно и нужно.

Начать с установки.

Требования: vim с python и python.

Установка плагина тривиальна. Если есть pathogen, просто распаковать свежий slimv в ~/.vim/bundle. Если нет pathogen-а, сначала установить его по инструкции и см. п. 1.

Ещё у меня есть файл ~/.vim/ftplugin/lisp.vim следующего содержания:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
set lw-=if
set lw+=set-macro-character
set lw+=set-dispatch-macro-character
set lw+=block
set lw+=defsetf
 
inoremap <buffer> <C-\> lambda 
nnoremap <buffer> <Space> <C-w>w
 
nmap <buffer><silent> == :call Scheme_indent_top_sexp()<cr>
 
let g:slimv_browser_cmd = "dillo"
 
" Indent a toplevel sexp.
fun! Scheme_indent_top_sexp()
    let pos = getpos('.')
    silent! exec "normal! 99[(=%"
    call setpos('.', pos)
endfun

Что вам отсюда может быть нужно? Сначала корректируется параметр lispwords - он перечисляет список слов, которые требуют "лисповый" стиль индентации. Из числа lispwords исключаем if, чтобы его индентация соответствовала требованиям http://dept-info.labri.u-borde... ation.html. Затем добавляем несколько лиспослов, которые виму почему-то неизвестны.

Затем пара мапов: в режиме вставки C-\ даёт лямбду (баловство) и более важное: в нормальном режиме пробел переключает между окнами. Удобно прыгать из файла в репл и обратно.

Дальше == перемапливается на функцию, индентирующую с-выражение верхнего уровня, содержащее курсор. Это полезнее, чем дефолт (индентовать строку). Функцию откуда-то скопипастил вместе с названием.

Ну и в качестве браузера, в котором открывается HyperSpec, я себе назначил dillo.

@Dastin · 24.06.2014, 23:18

Так же на андроид присутствуют gambit и специальное дополнение для SL4A под названием jscheme вроде бы. Название последнего точно не помню..

transformator.t · 25.06.2014, 07:39

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

Мир не так уж и плох.

мир прекрасен, тащемто (имхо)

@user user · 30.06.2014, 23:45

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

а emax aka lispbox был удален мной через 10 минут после бессвязного тыкания.

А если более связно потыкать? Вот нашел наконец у себя в почте, писал когда-то кому-то типа "быстрый старт". Правда, тут не сборка lispbox - все компоненты были по отдельности поставлены. Есть немного бреда и ошибок, но править уже лень, извиняйте.

1. Запуск Емакса, переход в рабочий каталог (M-x cd полный путь к каталогу), открытие нового файла (C-x C-f ввести имя файла).

2. Запуск SLIME (M-x slime).

3. Переключаюсь на буфер с файлом (C-x b имя буфера), в данном случае имя буфера отобразится в мини-буфере и имя самого буфера набирать не нужно, можно просто нажать Enter. Набираю код первой функции и тут же компилирую ее (С-с С-с), т.е ее текст посылается в запущенный лисп и компилируется, вместо компиляции можно выбрать выполнение этого определения функции (Eval , C-M-x).

Так же полезно изучить другие комбинации для исполнения, к примеру, выделив сразу несколько функций можно и объявлений переменных можно все их сразу послать в лисп (Eval Region, C-c C-r), выполнить последнее выражение (Eval C-x C-e) удобно использовать для выполнения объявлений новых переменных, констант и т.д. (defvar, defconstant).

4. Проверяю, как работает моя функция – нажимаю C-c C-y (Call defun), фрейм делится на два окна и имя функции подставляется в REPL, жму Enter, вижу результат.

5. Переключаюсь на окно с файлом (C-x o) и продолжаю редактировать – печатаю вторую функцию. Далее, точно так же, как и первую, компилирую ее (С-с С-с), но в REPL у меня появляется предупреждение о том, что функция FROMAT не определена. Да, действительно, опечатался и набрал это вместо FORMAT.

6. Делаю исправления, повторно компилирую (C-c C-c), передаю на выполнение (С-с С-y) и убеждаюсь, что все работает нормально.

7. Еще одна функция. Все повторяется по уже знакомому сценарию – переключение на окно с файлом (С-х о), редактирование, компиляция, проверка работы.

8. Опять переключаюсь на окно с файлом, сохраняю его (С-x C-s). Выхожу из Емакса (C-x C-c), при выходе обычно задается вопрос, отвечаю yes.

@castorsky · 01.07.2014, 00:56

Нет, ну на уровне обучения это все красиво. А вот работать на постоянной основе в emacs сможет во истину гик. Самое печальное, что это чревато синдромом снобизма. (сказал субъект, который думает что переборол этот синдром)

@korvin_ · 01.07.2014, 07:57

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

А вот работать на постоянной основе в emacs сможет во истину гик.

Т.е. почти все лисперы — гики? =)

@castorsky · 01.07.2014, 10:58

однозначно (с)

@user user · 07.07.2014, 22:29

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

А вот работать на постоянной основе в emacs сможет во истину гик.

Ну, тык, я только по праздникам и во время поста

А так в основном фаровским редактором.

@Nameless One · 08.07.2014, 05:37

Про Emacs уже говорили? Тему не читал.

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

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

с этим почти у всех проблемы

В Emacs есть отличный интерфейс для GDB, например.

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

Хотя разработку в среде mocl, судя по видеодемонстрации возможностей, лучше вести на планшетном компьютере с портативной подключаемой клавиатурой.

Не, разработку будет лучше вести на полноценном компьютере.

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

Греет сердце то, что на андроиде доступно множество чрезвычайно полезных программ - математическое приложение Maxima (в буквальном смысле дочка системы Macsyma), использующее Lisp в качестве ядра, а также (не по теме, список того, что мне удалось загрузить): целый IDE Squeak Smalltalk (интерфейс так и просит экрана побольше), интерпретатор Пролога Jekejeke Runtime, простой интерпретатор Scheme - Scheme Droid, приложение-справочник для инженерных расчётов Mechanical Engineering Toolbox и т.д. Бесплатно. Мир не так уж и плох.

К сожалению, всё это не нужно без как минимум «планшетного компьютера с портативной подключаемой клавиатурой», который всё равно по удобству не сравнится с десктопом или лэптопом.

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

Т.е. почти все лисперы — гики? =)

Ну, Emacs'ом не только лисперы пользуются.

@korvin_ · 08.07.2014, 06:58

Сообщение от Nameless One

Ну, Emacs'ом не только лисперы пользуются.

Дело не в этом, а в том, что почти все лисперы пользуются емаксом.

@_sg · 26.09.2014, 09:37

From Vim to Emacs+Evil chaotic migration guide

Обсуждение на Hacker News

@Vtulhu · 30.09.2014, 19:48

Есть еще MIT/GNU Scheme, с ним идет редактор в комплекте (Emacs). Для такого чайника (и в лиспах, и в имаксах) это удобно. Я вообще предпочитаю языки, с которыми среда в комплекте идет. Так удобнее - уже все настроено. Хотел сегодня поставить MIT/GNU Scheme, но заигрался с языком Ela (по синтаксису - вылитый Haskell, но при этом интерпретируемый и динамически типизированный), с ним тоже среда своя идет. Теперь уж на завтра оставлю MIT/GNU Scheme. Если, конечно, меня кто-нибудь не отговорит. А то вдруг у него, например, есть какие-то известные всем (кроме меня) косяки. Буду дальше выбирать. Синдром Буриданова осла?

@helter · 30.09.2014, 23:20 **[ТС]**

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

Есть еще MIT/GNU Scheme, с ним идет редактор в комплекте (Emacs). Для такого чайника (и в лиспах, и в имаксах) это удобно.

Я ничего не понял. Как это Emacs - "редактор в комплекте", если Emacs - целая вселенная сам по себе?

@Vtulhu · 01.10.2014, 09:24

Не по теме:

[TROLLMODE]

Да, многие считают, что Emacs - это, фактически, операционная система. Для нее даже игрушки есть. У этой ОС всего-навсего один существенный недостаток: убогий текстовый редактор, поставляемый с нею в комплекте.

[/TROLLMODE]

@helter · 01.10.2014, 16:54 **[ТС]**

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

Да, многие считают, что Emacs - это, фактически, операционная система. Для нее даже игрушки есть. У этой ОС всего-навсего один существенный недостаток: убогий текстовый редактор, поставляемый с нею в комплекте.

По-моему, это не троллинг, а общее место.

Я в первую очередь не понял, можно ли считать отношения Emacs-а с MIT Scheme более тесными, чем, например, Emacs-а с CL (поставил Slime, M-x slime и вперёд).

@Vtulhu · 01.10.2014, 17:35

В комплекте с MIT/GNU Scheme идет Edwin - клон Emacs, написанный на MIT/GNU Scheme. Но главное, конечно - это то, что этот редактор изначально настроен на схему и даже запускает ее.

@helter · 01.10.2014, 17:46 **[ТС]**

А. То есть для CL нужно сначала в Emacs-е сделать M-x slime, а тут само запускается. Понятно.

Cheb · 07.10.2014, 15:18

Установка редактора Sublime Text 3 для SBCL + настройка REPL (для пингвинов и новичков в лиспе)

Установка среды и редактора

Если нет SBCL, устанавливаем

Code
1
$  sudo aptitude install sbcl

Качаем и устанавливаем Sublime Text 3 с http://www.sublimetext.com/3

установим quicklisp

Code
1
$ sbcl --load quicklisp.lisp

в sbcl ввести команду
Code
1
* (quicklisp-quickstart:install)

Чтобы quicklisp загружался со средой вести
Code
1
(ql:add-to-init-file)

Теперь вы можете устанавливать любые библиотеки вводя
(ql:quickload "libraryname")

Установка Package Control

Запустите редактор. Вызовите консоль View > Show Console (или нажав [ Ctrl + ` ] )
На странице https://sublime.wbond.net/installation скопируете текст из окна (выбрав версию редактора) в строку консоли. Этот код установит пакетный менеджер.

Установка REPL

Нажмите [Ctrl + Shift + P ]. появиться палитра команд (command palette), выберите Package Control:Add Repository. (просто напечатайте dry)

Внизу, в строку ввода поместите ссылку на репозиторий: https://github.com/wuub/SublimeREPL

Снова откройте палитру и выберите пункт Package Control:Install Package (напечатайте install)
Загрузиться репозиторий, найдите SublimeREPL и установите его.

Теперь можно запустить его из меню Tools > SublimeREPL > Common Lisp > SBCL

Настроим горячие клавиши

Меню Preferences > Key Bindings — User . В открывшемся окне введите и сохраните текст:

Кликните здесь для просмотра всего текста

[
{
"keys": ["super+ctrl+h"],
"command": "repl_open",
"args": {
"type": "subprocess",
"encoding": "utf8",
"cmd": ["sbcl", "-i"],
"cwd": "$file_path",
"external_id": "lisp",
"syntax": "Packages/Lisp/Lisp.tmLanguage"
}
}
]

Все REPL будет открываться сочетанием [ SUPER + Ctrl + H ]

Сборка

Откройте окно Tools > Build System > New Build System и введите текст,

Кликните здесь для просмотра всего текста

{
"shell_cmd": "/usr/local/bin/sbcl --disable-debugger --load $file",
"working_dir": "$file_path"
}

сохраните его как SBCL.sublime-build

Теперь предварительно выбрав Tools > Build System > SBCL , можно собирать ваш проект сочетанием [ Ctrl + B ]

@helter · 07.10.2014, 15:38 **[ТС]**

Здорово!

Хотелось бы ещё несколько моментов уточнить.

Как отправить лиспу определение функции, не загружая заново файл? Как вычислить значение заданного выражения в файле? Как открыть CLHS для данного символа?

Cheb · 07.10.2014, 15:49

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

не загружая заново файл? Как вычислить значение заданного выражения в файле? Как открыть CLHS для данного символа?

Если честно я пока не знаю... Меня только на это все хватило, предлагаю найти ответы совместно.
Но вот есть

Code
1
(load "hello.lisp")

загрузит в REPL файл
Или так

Code
1
(load (compile-file "hello.lisp"))

быстро.
Вообще я пока просто не понимаю зачем это нужно (то что вы спрашиваете), тк пока сам не сталкивался, я полный новичек в лиспе, и только выбирал себе IDE. Хотя это не ИДЕ, а текст-редактор

@helter · 07.10.2014, 16:32 **[ТС]**

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

Вообще я пока просто не понимаю зачем это нужно (то что вы спрашиваете)

Это норма, к которой привыкли программисты на лиспе. Интерактивная разработка в лиспе более интерактивная, чем во многих других языках. Поэтому лисп требователен к редакторам. Можете попробовать выяснить, насколько Sublime Text соответствует требованиям, сформулированным Норвигом, и если не соответствует - жалуйтесь, пока не пофиксят, как он ЕМНИП советует.

Новые блоги и статьи Все статьи Все блоги /
Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .

@Dastin 23 / 23 / 3 Регистрация: 21.06.2014 Сообщений: 36
	24.06.2014, 23:18
	Так же на андроид присутствуют gambit и специальное дополнение для SL4A под названием jscheme вроде бы. Название последнего точно не помню.. 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	01.07.2014, 00:56
	Нет, ну на уровне обучения это все красиво. А вот работать на постоянной основе в emacs сможет во истину гик. Самое печальное, что это чревато синдромом снобизма. (сказал субъект, который думает что переборол этот синдром) 1

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	01.07.2014, 10:58
	однозначно (с) 0

@_sg 4710 / 4405 / 380 Регистрация: 12.05.2012 Сообщений: 3,102
	26.09.2014, 09:37
	From Vim to Emacs+Evil chaotic migration guide Обсуждение на Hacker News 3

@Vtulhu 431 / 385 / 200 Регистрация: 12.08.2011 Сообщений: 1,610
	30.09.2014, 19:48
	Есть еще MIT/GNU Scheme, с ним идет редактор в комплекте (Emacs). Для такого чайника (и в лиспах, и в имаксах) это удобно. Я вообще предпочитаю языки, с которыми среда в комплекте идет. Так удобнее - уже все настроено. Хотел сегодня поставить MIT/GNU Scheme, но заигрался с языком Ela (по синтаксису - вылитый Haskell, но при этом интерпретируемый и динамически типизированный), с ним тоже среда своя идет. Теперь уж на завтра оставлю MIT/GNU Scheme. Если, конечно, меня кто-нибудь не отговорит. А то вдруг у него, например, есть какие-то известные всем (кроме меня) косяки. Буду дальше выбирать. Синдром Буриданова осла? 0

@Vtulhu
	01.10.2014, 09:24
	Не по теме: [TROLLMODE] Да, многие считают, что Emacs - это, фактически, операционная система. Для нее даже игрушки есть. У этой ОС всего-навсего один существенный недостаток: убогий текстовый редактор, поставляемый с нею в комплекте. [/TROLLMODE] 0

@Vtulhu 431 / 385 / 200 Регистрация: 12.08.2011 Сообщений: 1,610
	01.10.2014, 17:35
	В комплекте с MIT/GNU Scheme идет Edwin - клон Emacs, написанный на MIT/GNU Scheme. Но главное, конечно - это то, что этот редактор изначально настроен на схему и даже запускает ее. 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	01.10.2014, 17:46 [ТС]
	А. То есть для CL нужно сначала в Emacs-е сделать M-x slime, а тут само запускается. Понятно. 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	07.10.2014, 15:38 [ТС]
	Здорово! Хотелось бы ещё несколько моментов уточнить. Как отправить лиспу определение функции, не загружая заново файл? Как вычислить значение заданного выражения в файле? Как открыть CLHS для данного символа? 0