Size: a a a

Сообщество Scheme

2020 August 11

b⛅

bouncepaw ⛅ in Сообщество Scheme
bouncepaw ⛅
какая-то бесполезная функция
а, вопрос не в этом, понял
источник

y

yosk in Сообщество Scheme
Pig Greenest
А может у тебя cbn
Что такое cbn?
источник

PG

Pig Greenest in Сообщество Scheme
yosk
Что такое cbn?
Call by name
источник

PG

Pig Greenest in Сообщество Scheme
Стратегия вычисления такая
источник
2020 August 12

D

Dias in Сообщество Scheme
yosk
Есть вопрос по схеме:
почему (define (func arg) arg arg) выполняет arg только один раз, хотя (define (func arg1 arg2) arg1 arg2) выполняет и arg1 и arg2?
можно так:
(define (func arg) (arg) (arg))
(func (lambda () (display "a")))
источник

VZ

Vadim Zaigrin in Сообщество Scheme
А зачем здесь вообще display?
источник

VZ

Vadim Zaigrin in Сообщество Scheme
В смысле, в исходном варианте
источник

y

yosk in Сообщество Scheme
Vadim Zaigrin
А зачем здесь вообще display?
Просто как пример
источник

a

anton in Сообщество Scheme
yosk
Есть вопрос по схеме:
почему (define (func arg) arg arg) выполняет arg только один раз, хотя (define (func arg1 arg2) arg1 arg2) выполняет и arg1 и arg2?
в x попадает не функция (display ..), а ее результат
источник

a

anton in Сообщество Scheme

ts> (define (x a) (eval a) (eval a))
x
ts> (x '(display "a\n"))
a
a
#t
ts>

или через лямбды, как у @librerush
источник

a

anton in Сообщество Scheme
хах

ts> ((lambda (x x) (+ x x)) 1 2)
4
источник

AK

Andrew Kravchuk in Сообщество Scheme
Гм
источник

AK

Andrew Kravchuk in Сообщество Scheme
источник

a

anton in Сообщество Scheme
tinyscheme это вам не ракет
источник

a

anton in Сообщество Scheme
jscheme:

> ((lambda (x x) (+ x x)) 1 2)
2
источник

a

anton in Сообщество Scheme
а если считать, что функция нескольких аргументов - это синтаксический сахар над каррингом?
источник

a

anton in Сообщество Scheme
Welcome to Racket v6.11.
> (((lambda (x) (lambda (x) (+ x x))) 1) 2)
4
источник

PG

Pig Greenest in Сообщество Scheme
слишком просто выстрелить в ногу
источник

b⛅

bouncepaw ⛅ in Сообщество Scheme
anton
а если считать, что функция нескольких аргументов - это синтаксический сахар над каррингом?
В схеме это не так
источник

a

anton in Сообщество Scheme
bouncepaw ⛅
В схеме это не так
а кстати, откуда это известно?
источник