Scheme Community

Встроенная Схема и указатель на объект

2011-09-10T06:38:20Z

Здравствуйте!

Есть проект на C++, к некоторым классам которого автоматически создаются привязки с помощью SWIG. Есть желание прикрутить к нему скрипты на Scheme. Вопрос: есть ли какой-то способ вызвать из кода на C++ схемную функцию, передав ей в качестве аргумента указатель на объект? (Желательно обёрнутый в SWIG-овский тип, но если у какой-то из встраиваемых Схем, не обязательно из числа поддерживаемых SWIG, есть для этого собственные средства, в крайнем случае сгодятся и они.)

Самостоятельно я способа это сделать в документации на SWIG и на три поддерживаемых им интерпретатора (CHICKEN, Guile, Racket) не нашёл. Пока остановился на таком решении: есть уникальный индентификатор объёкта (в моём случае оказалось удобно использовать обычную C-шную строку, char*) и C-шная функция, получающая по этому идентификатору указатель на объект. В схемную функцию передаётся идентификатор, а в написанных на C++ функциях, экспортируемых в Схему, по этому идентификатору снова получается указатель на объект. Но мне самому это решение не нравится, и ручной работы получается многовато, и архитектура выходит, на мой вкус, уродливой.

Кстати, все три Схемы, которые поддерживаются SWIG, показались мне не очень подходящими для прикручивания к плюсовому проекту. В Guile 1.8 тип SCM несовместим со стандартом C++ (в 2.0 это вроде поправили, но 2.0 поставишь сильно не во всякое окружение, уж больно новых библиотек он хочет). В CHICKEN очень расстроила тамошняя система пакетов, работающая в обход пакетного менеджера ОС, что гарантирует танцы с бубном при деплое (у меня не удалось заставить её нормально и стабильно работать). В Racket — количество телодвижений, необходимых, чтобы дёрнуть интерпретатор из своего C-шного кода.

Кто использовал скрипты на Scheme в своих приложениях на C++? Каким интерпретатором для этого пользовались? Насколько реально прикрутить в этих целях, например, Gambit?

Перевод третьей лекции SICP

2010-09-17T04:23:30Z

SICP по-русски.

2010-09-09T17:25:05Z

Сделал перевод первых двух лекций SICP.

Если кому-нибудь интересно вторую лекцию искать здесь ЦКУНК!
Если кто-то не в курсе SICP это вводный курс по программированию читался в MIT, в начале 80х. Не смотря на то что прошло уже четверть века, актуальности лекции не потеряли.

ru_scheme @ 2010-07-23T10:47:00

2010-07-23T05:19:35Z

Добрый день.

Меня зовут Лев Плинер. Я преподаю программирование на математико-механическом факультете Уральского государственного университета (Екатеринбург).

В одном из потоков специальности "Математика. Прикладная математика" наши студенты в качестве первого языка получают Scheme. Курс по Скиме рассчитан на 2 семестра и кроме собственно языка содержит простейшие алгоритмы, лямбда-исчисление, основы исчисления высказываний и основы исчисления предикатов. В третьем семестре мы рассказываем ассоциативное исчисление и Хаскелл, а в четвёртом учим регистровой машине. Материал третьего и четвёртого семестров находится сейчас только в планах, так как эксперимент с введением такого учебного плана начался всего год назад.

Вполне возможно, что именно я буду готовить курс по регистровой машине. У меня была идея написать интерпретатор для скимы, продублировав все юниты на ассемблере и Си, и именно работой с этим исходным кодом заниматься вторую часть семестра. Собственно, потому и пишу сюда - интерпретатор в каком-то виде уже готов: http://code.google.com/p/skbscheme/

Буду крайне благодарен коллегам из сообщества за ревью кода, дефекты и идеи доработок. Исходник написан под Visual C 2008. Заранее спасибо.

ru_scheme @ 2010-07-12T13:57:00

2010-07-12T09:56:52Z

Премодерацию включил. Добавил alexott в число модераторов, так что теперь нас трое. Будет плохо - поправим по ходу.

ru_scheme @ 2010-07-08T11:09:00

2010-07-08T07:08:57Z

Может премодерацию введём? А то, честно говоря, уже несколько поднадоело спам чистить. Возражения есть?

ru_scheme @ 2010-04-13T17:39:00

2010-04-13T14:40:25Z

Kawa теперь можно использовать для разработки под Google Android.

Статья на официальном сайте:
http://per.bothner.com/blog/2009/AndroidHelloScheme/

tail recursion [closed]

2010-03-10T20:07:47Z

Даны две функции:

(define accumulate-if-1 (lambda (test? lst init)
                    (define iter (lambda (lst acc)
                                   (cond ((empty? lst) acc)
                                         ((test? (car lst)) (iter (cdr lst) (+ acc (car lst))))
                                         (else (iter (cdr lst) acc)))))
                    (iter lst init)))

(define accumulate-if-2 (lambda (test? lst init)
                          (cond ((empty? lst) init)
                                ((test? (car lst)) (accumulate-if-2 test? (cdr lst) (+ init (car lst))))
                                (else (accumulate-if-2 test? (cdr lst) init)))))

Судя по затратам памяти и процессорного времени вторая функция не желает разворачивать в цикл. Объясните, пожалуйста, почему? Заранее благодарен.

Связь PLT Scheme и C(++,#)

2009-12-12T18:02:14Z

Приходилось ли вам реализовывать описанное здесь http://docs.plt-scheme.org/inside/index.html ? Имеется ввиду возможность вызова на Схеме функций из Си-библиотек.

Одно из первых что надо сделать в п.1.2.1 http://docs.plt-scheme.org/inside/overview.html
- это "скомпилировать" C-файл при помощи mzc.exe - при этом он не компилирует его сам, а использует найденный компилятор.

Вопрос - какой использовать компилятор, чтобы mzc его видел? (Windows) У меня только Ms Visual студия - mzc говорит "compile-extension: can't find an installed C compiler".

И реально ли связать Схему именно с C#? потому что я видел упоминания только о C/C++.

Благодарю за ответы :)

specialize

2009-12-03T12:51:53Z

Вопрос не про этот конкретный пример, это как-бы паттерн.
На примере проще объяснить.

; допустим есть функция
(define (vector-cmp-2? vec-length vec-ref ; интерфейс вектора
                       val=? val<?        ; интерфейс элемента вектора
                       a b)               ; сравниваемые вектора
                                          ; -1 если a < b
                                          ;  0 если a = b
                                          ;  1 если a > b
  (let ((a-len (vec-length a))
        (b-len (vec-length b)))
    (let loop ((i 0))
      (let ((a-end (= i a-len))
            (b-end (= i b-len)))
        (cond
          ((and a-end b-end) 0)
          (a-end -1)
          (b-end 1)
          (else 
           (let ((a-val (vec-ref a i))
                 (b-val (vec-ref b i)))
             (if (val=? a-val b-val)
                 (loop (+ 1 i))
                 (if (val<? a-val b-val) -1 1)))))))))

; частные случаи
(define (string-cmp? a b)
  (vector-cmp-2? string-length string-ref char=? char<? a b))

(define (string-cmp-ci? a b)
  (vector-cmp-2? string-length string-ref char-ci=? char-ci<? a b))

(define (bytes-cmp? a b)
  (vector-cmp-2? bytes-length bytes-ref = < a b))

; ну и так далее

Всё бы хорошо, но медленно.
Что делать?
Можно несколько раз скопипейстить тушку функцию vector-cmp-2
Можно превратить vector-cmp-2 в макрос.
Будет быстрее раза в 4.

Но оба варианта, на мой взгляд, не очень красивые.

Хочется иметь макрос specialize, оставить vector-cmp-2 и писать так:

(define (string-cmp? a b)
  (specialize vector-cmp-2? string-length string-ref char=? char<? a b))

(define (string-cmp-ci? a b)
  (specialize vector-cmp-2? string-length string-ref char-ci=? char-ci<? a b))

(define (bytes-cmp? a b)
  (specialize vector-cmp-2? bytes-length bytes-ref = < a b))

Только не понятно как такой макрос написать :(

ru_scheme @ 2009-11-30T12:40:00

2009-11-30T12:40:50Z

Почему такой код не валидный:

(define (f)
  (define x 1)
  (printf "~a~n" x)
  (define y 2)  ; тут ошибка - нельзя define после вызова функции
  (void))

А такой валидный:

(define (f2)
  (define x 1)
  (define _ (printf "~a~n" x))
  (define y 2)
  (void))

Какой смысл на запрет define после вызова функции ?

PLT Схема..

2009-11-24T15:13:09Z

Изучая PLT Scheme, не могу найти ответы на ряд вопросов.

1) пользуюсь т.н. средой разработки Dr.Scheme. Здесь при выборе опции Choose Language (выбрать язык) появляется много вариантов - в чем суть этих "языков"? Какой из них ближе к собственно Scheme?

2) как конкатенировать (объединять) строки?

3) пытаюсь написать класс..
(define point% (class object%
(init xin)
(init yin)
(define x xin)
(define y yin)
(super-new)
))
поля получаются автоматически private. как сделать public поля?
имею догадку что такой возможности нет, из-за идеи "правильного программирования" у функциональных языков. Но нигде не нашел упоминания что это невозможно..

Как называется стандартная функция, которая делает вот такое?

2009-11-20T11:12:35Z

; (indexed-zip '(1 0 0 2 1) ; список чисел от 0 до N-1
;              '("A" "B" "C") '("a" "b" "c") '("!" "@" "#")) ; N списков
;
; результат:        '("a" "A" "B" "!" "b")
;                      |   |   |   |   |
; значения взяты из   1го 0го 0го 2го 1го списков, согласно первому списку

Вопрос новичка: «выполнимые» и «невыполнимые» списки

2009-10-13T22:56:43Z

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

(define (blah x) (...))

как вызов некой встроенной в интерпретатор функции "define"? Если да, то, получается, что обработчик этой "функции" сам определяет, eval ли ему его аргументы, или не eval. Тогда почему явное указание "не eval"

(define '(blah x) '(...))

не верно? Нам ведь нужно взять тело функции как есть, в виде списка, и связать его с именем "blah". В чём я заблуждаюсь?

Вызов лямбда-функции из списка

2009-10-05T16:39:08Z

Приветствую! Изучаю Scheme (среда DrScheme, язык mzscheme) и никак не могу разобраться, как вызвать лямбда-функцию из списка (например, первую)

Т.е. пусть есть список

(define lst
  '(
    (lambda (x) (+ x 1))
    (lambda (x) (+ x 4))
    )
  )

((car lst) 3) ; ошибка!

Подскажите, пожалуйста, как это делается

MIT-GNU Scheme newbie problem

2009-08-25T11:48:52Z

Доброе. Установил интерпретатор от MIT. Дабл-ЛКМ по иконке. Открывается Edwin. Что нужно в нем нажать, чтобы наконец начать интерпретацию? Можно ли этим редактором открыть файл, созданный в другой программе, как это сделать и какая у файла должна быть кодировка? Видел кто-нибудь нормальный юзер мануал на английском или русском? Стоит ли перейти на другой, более вменяемый интерпретатор Scheme?

COM-объекты в PLT-Scheme

2009-08-04T07:53:26Z

Приветствую!

Два вопроса к тем, кто пользует MysterX в PLT-Scheme.

1) Есть ли способ остановить процесс, запущенный при создании com-объекта приложения? Нечто навроде vlax-release-object из автокадного VL. А то ведь он остается висеть в памяти даже после полного выключения программы.

2) Программы, в которых используется COM-технология довольно часто падают - хоть из DrScheme запускай, хоть откомпилированую. Причем, никаких общих признаков нет - то нормально работает, то вырубается безо всякой видимой причины со стандартным виндовским сообщением вида "PLT Scheme GUI application - обнаружена ошибка. Приложение будет закрыто". С чем это может быть связано?

PLTScheme - (current-milliseconds)

2009-07-08T23:01:51Z

Простой вопрос, наверное.

есть такая процедура в MIT Scheme , называется (runtime).

Типичное использование (display (- (runtime) start-time))

Я у себя держу PLT Scheme, там этой штуки нет. Зато есть (current-milliseconds)

Фишка в том, что (display (- (current-milliseconds) start-time)) внутри моего кода всегда выдает 0. Иногда почему-то 16.

В чем грабли, об которые я уже полдня натыкаюсь?

под катом код (упражнение 1.20 из SICP)



(define (timed-prime-test n start-time)
  (start-prime-test n start-time (current-milliseconds)))

(define (start-prime-test n start-time sttime2)
  (cond ((prime? n)
         (display " Total time: ")
         (display (- (current-milliseconds) start-time))
         (newline)
         (display n)
         (report-prime (- (current-milliseconds) sttime2))
      )))
      
(define (report-prime elapsed-time)
  (display " *** prime ")
  (display elapsed-time))


(define (search-for-primes m)
  (start-search-for-primes 1 m))

(define (start-search-for-primes s m)
  (cond ((>= s m) (newline)(display " ======= "))
        (else (timed-prime-test s (current-milliseconds)) (start-search-for-primes (+ s 1) m))))

Изменение пространства имен символа

2009-07-08T17:58:10Z

Доброго времени суток.
Долго шарил по разным учебникам в поисках ответа на такой вопрос. Увы пока безуспешно.
Подскажите пожалуйста, кто сталкивался с подобным...

Вот пример кода:

(define (some-function a-symbol)
  (define z 11)
  (eval a-symbol))

(some-function 'z)

Естественно, в данном случае интерпретатор отрапортует об ошибке, поскольку с символом z, передаваемым в some-function не связанно значение. Вопрос в следующем: как мне сделать именно так как хочется :), тоесть, чтобы внутри функции передаваемый символ связать с новым пространством имен.

В plt-scheme достаточно много различных функций по работе с пространствами имен. Можно их создавать, выбирать и т.д. Самым, кажется, связанным с данной темой является следующий пример:

  (let ((ns (make-base-namespace)))
    (parameterize ((current-namespace ns))
      (define z 11)
      (eval '(define z 14) ns)
      (display z)
      (newline)
      (display (eval 'z)))))

но тут я наталкиваюсь на другую проблему: получается что (define z 11) и (eval '(define z 14)) действуют в различных областях имен. Т.е., как я понимаю (parameterize ((current-namespace ns)) ...) действует только для оператора (eval ...) ?
Но мне хотелось бы именно совместить определенный символ в текущем контексте (при помощи (define ...)) с передаваемым в качестве аргумента функции символом. Подскажите пожалуйста как можно (и можно ли) подобного достичь?

Спасибо заранее.

Обратные функции

2009-06-16T21:39:16Z

Я в свободное время люблю пофантазировать на тему языков программирования, различных парадигм в программировании и всяких фишек, которые могли быть полезны. Например сегодня я хотел бы немного порассуждать на тему функций и передачи данных в них.
Ведь что такое функция? Это некоторый черный ящик, в который мы подаем данные, а на выходе получаем результат.

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

В данном примере мы вычисляем логическое значение, является ли Y суммой X и 5.
А теперь вопрос на засыпку, а кто сказал, что данные должны обязательно передаваться от вершин к корню? Почему бы нам не поменять направление в некоторых ветвях, например так.

Присвоить Y значение, равное сумме X и 5. Или еще лучше вот так.

Присвоить X такое значение, чтобы его сумма с 5 равнялась Y.
Во всех языках программирования операция присвоения нового значения переменной и операция логического сравнения - это две совершенно разные операции. Обычно обозначаются либо разными символами (в C++ это = и ==), либо разными функциями. Хотя по сути это одно и то же! Мы просто в одном случае спрашиваем, а равны ли X и Y, а в другом случае утверждаем что X равен Y. Т.е. логически это одна и та же операция, только направление движения данных отличается.
Конечно, далеко не все функции обратимы как операция сложения, но все-таки это было бы очень удобно. Например операция andmap и map в каком-то смысле одинаковые, только опять же данные движутся в другом направлении. В одном случае мы спрашиваем, а будет ли истиной какое-то выражение для всех значений списка, а в другом случае мы утверждаем, что некоторое выражение является истиной для всех значений списка.
А если взять и абстрагироваться от конкретных направлений, а просто взять и объявить некоторую формулу, например "X+5=Y". Вот имеется такая взаимосвязь переменных. А потом эту формулу использовать по своему усмотрению, в одном случае мы присваиваем Y значение суммы, в другом случае мы присваиваем X нужное значение, а в третьем мы просто хотим проверить истинно ли данное выражение.
Короче, я от слов к делу. Я немного поэкспериментировал на эту тему и вот что получилось.

#lang scheme
(define (sv! f v) (keyword-apply f '(#:value) (list v) '()))
(define (gv? f) (apply f '()))
(define-syntax-rule (g? x) (lambda () x))
(define-syntax-rule (s! x) (lambda (#:value value) (set! x value)))
(define-syntax-rule (defun fun x y value getter setter)
(define (fun x y)
(lambda (#:value (value 'novalue))
(if (eq? value 'novalue)
getter
setter))))
(defun summ x y value
(+ (gv? x) (gv? y))
(sv! x (- value (gv? y))))
(defun eqv x y value
(= (gv? x) (gv? y))
(if (eq? value #t)
(sv! x (gv? y))
#f))

(define x 56)
(define (formula x y z) (eqv (summ x y) z)) ;запоминаем формулу x+y=z
(sv! (eqv (summ (s! x) (g? 5)) (g? 9)) #t) ;вычислить x такое, чтобы x+5=9
x ;возвращает 4
(sv! (formula (s! x) (g? 3) (g? 10)) #t) ;вычислить то же самое с использованием формулы
x ;возвращает 7
(gv? (formula (g? x) (g? 5) (g? 12))) ;вычислить логичекое выражение x+5=12
;возвращает ИСТИНУ
Кстати, у нас получилась определенная ленивость. Например выражение
(sv! (eqv (summ (s! x) (g? 5)) (g? 9)) #f)
не будет изменять значение x, т.к. мы передаем #f.
По-моему идея, запихнуть результат обратно функции в ж..., довольно интересна и стоит размышлений :)

ru_scheme @ 2009-05-10T12:06:00

2009-05-10T08:09:23Z

как насчёт того, чтобы писать Flash анимацию прямо внутри PLT Scheme?
если ли кто заинтересованный в этом деле?

ru_scheme @ 2009-04-26T09:24:00

2009-04-26T05:33:56Z

работаю в PLT Scheme с sandbox-ами
надо сделать, чтобы можно было многократно прерывать работу sandbox-а, передавая наружу некое сообщение, которое бы обрабатывалось и закидывало некое сообщение обратно вовнутрь sandbox-а.
я пробовал с помощью обработки ошибок (вызывал raise) и "продолжений", но делать это многократно (больше одного раза) не получается - продолжения перестают работать
как такое сделать?

define_syntax

2009-04-22T11:47:07Z

Недавно начал изучать SICP, не бейте слишком строго.

Хотелось бы понять почему в SICP авторам как-то удачно удается обходится без define-syntax и явно определенных force и delay? В R5RS это не работает, собственно, натолкнулся на это, когда пытался сделать бесконечные потоки (streams) по методе, описанной в SICP.

(define (cons-stream a b) (cons a (delay b)))
(define (integers-from n) (cons-stream n (integers-from (+ n 1)))
(define natural-numbers (integers-from 1))

в R5RS немедленно заходит в бесконечный цикл. На самом деле надо писать
(define-syntax cons-stream (syntax () (cons-stream a b) (cons a (delay b)))).

Это что-то, похоже, связаное с порядком вычисления. В идеале бы хотелось еще понять, зачем было это изменение ;).

Счётчик вызова рекурсивной процедуры

2009-03-27T22:05:32Z

Никто не вставлял в рекурсивную процедуру счётчик вызова, чтобы процедура возвращала значение этого счётчика?

GNU Guile [solved]

2008-12-09T10:57:10Z

А есть здесь люди с опытом использования libguile? Что-то я пока не понимаю даже, как выполнить произвольный схемный код.

Проблема: вызов scm_c_eval_string роняет программу вместе с интерпретатором Схемы в случае ошибки, а scm_catch как-то довольно безумно работает, я не понимаю, что ему передавать в качестве второго аргумента. Или в случае scm_c_eval_string ошибки надо перехватывать другим способом? Или вместо scm_c_eval_string надо пользоваться чем-то ещё?

Guile 1.8.4. The Guile Reference Manual читал, примеры гуглил. Всё равно ничего не понимаю.

UPD Проблема решена использованием scm_internal_catch, tnx2 airat.