Сконструировать \lambda-вызов и вычислить его значение Lambda

@Walimas · Регистрация: 20.04.2014

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

Задание
Для выражения из таблицы согласно номеру варианта сконструировать \lambda - вызов и вычислить его значение. Присваивать полученное значение символу не нужно.

Lisp

1
2
3

((Lambda (x y) 
              (cond((< 1 (expt (+ y x) 2)) (exp (+ x y)) 
                                               ((and ( >=2)) (exp (expt (+ y x) 2))) (t 1))))  0.2 - 2)

(expt x y) - это х в степени у, т.е. x^y
а вот (exp x) - это e^x

сделал код лисп и вставляю comon lisp, нет результата=\ Как правильно сделать функцию? Заранее благодарю.

@helter · 06.11.2014, 22:31

Правильно - вот так:

Lisp

((lambda (x y) 
   (cond ((> 1 (expt (+ y x) 2)) (exp (+ x y)))
         ((>= (expt (+ y x) 2) 2) (exp (expt (+ y x) 2)))
         (t 1)))
 0.2
 -2)

Ваши ошибки:
1) У cond-а каждая ветка своей скобке:

Lisp

cond (cond1 form11 ... form1n1)
     (cond2 form21 ... form 2n2)
    ...
     (condk formk1 ... form knk)

А у вас всё залезло в первую скобку, так что получилась как бы одна ветка. Если б вы пользовались редактором, который правильно расставляет отступы (читай: Emacs), вы бы сразу поняли по отступам.

2) В первой ветке условие должно быть (> 1 ...): единица должна быть больше.

3) and во второй ветке не нужен (хотя ничего плохого от него нет, так что не ошибка).

4) ( >=2) - это какая-то жертва войны правок. Заметьте, что нужно разделить пробелом, а то >=2 - единый символ.

5) - 2 (через пробел) - это минус отдельно, 2 отдельно. Число -2 надо писать без пробела.

Пробелы разделяют, скобки группируют. Это почти весь синтаксис.

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

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

нет результата=\

Такого не бывает. Какой-то результат всегда будет. Обычно при наличии ошибок появляются полезные сообщения. Не мешало бы их почитывать, да и на форум можно постить.

@Walimas · 07.11.2014, 04:12 **[ТС]**

2) В первой ветке условие должно быть (> 1 ...): единица должна быть больше.
4) ( >=2) - это какая-то жертва войны правок. Заметьте, что нужно разделить пробелом, а то >=2 - единый символ.

Мне трудно понимать. Почему именно > 1, а не < 1? там же написано задачи что (x+y)²<1, значит делаем так (< 1 (expt (+ y x) 2) посмотри на картинке примере (вы можете объясните?) P.S. Я понял, что ты вы написали, но я до конца не все понимаю.

5) - 2 (через пробел) - это минус отдельно, 2 отдельно. Число -2 надо писать без пробела.

я ошибся. не заметил.

нет результата=\

Такого не бывает. Какой-то результат всегда будет. Обычно при наличии ошибок появляются полезные сообщения. Не мешало бы их почитывать, да и на форум можно постить.

Я не знаю как правильно сказать.=) Думаю можно так сказать нет вывода результатов или аргумент. Хз...%)

@helter · 07.11.2014, 06:36

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

Мне трудно понимать. Почему именно > 1, а не < 1? там же написано задачи что (x+y)2<1, значит делаем так (< 1 (expt (+ y x) 2) посмотри на картинке примере (вы можете объясните?) P.S. Я понял, что ты вы написали, но я до конца не все понимаю.

(< a b) в обычной математической записи означает a < b. "Меньше a, чем b": лисп - язык с необычным порядком слов: глагол на первом месте.

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

Я не знаю как правильно сказать.=) Думаю можно так сказать нет вывода результатов или аргумент. Хз...%)

Правильно сказать вот так: Ctrl+C, Ctrl+V. Например, я ввожу ваше выражение в репл (SBCL), получаю следующий результат:

Код

; in:
;      (LAMBDA (X Y) (COND ((< 1 (EXPT # 2)) (EXP (+ X Y)) ((AND #) (EXP #)) (T 1)))) 0.2
;     ((AND (>=2)) (EXP (EXPT (+ Y X) 2)))
; 
; caught ERROR:
;   illegal function call

;     ((LAMBDA (X Y) (COND ((< 1 #) (EXP #) (# #) (T 1)))) 0.2 - 2)
; --> SB-C::%FUNCALL 
; ==>
;   (#<SB-C::CLAMBDA
;      :%SOURCE-NAME SB-C::.ANONYMOUS.
;      :%DEBUG-NAME (LAMBDA (X Y))
;      :KIND NIL
;      :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)>
;      :WHERE-FROM :DEFINED
;      :VARS (X Y) {CB7F6E9}>
;    0.2 - 2)
; 
; caught WARNING:
;   function called with three arguments, but wants exactly two
;   See also:
;     The ANSI Standard, Section 3.2.2.3
; 
; caught WARNING:
;   The function T is undefined, and its name is reserved by ANSI CL so that even
;   if it were defined later, the code doing so would not be portable.
; 
; compilation unit finished
;   Undefined function:
;     T
;   caught 1 ERROR condition
;   caught 2 WARNING conditions
invalid number of arguments: 3
   [Condition of type SB-INT:SIMPLE-PROGRAM-ERROR]

Уже можно смекнуть, что лямда неправильная, что t почему-то воспринимается как функция, и куда-то суют 3 аргумента вместо 2. Попробую одну лямду щёлкнуть:

Код

; in: LAMBDA (X Y)
;     ((AND (>=2)) (EXP (EXPT (+ Y X) 2)))
; 
; caught ERROR:
;   illegal function call

; in: LAMBDA (X Y)
;     (T 1)
; 
; caught WARNING:
;   The function T is undefined, and its name is reserved by ANSI CL so that even
;   if it were defined later, the code doing so would not be portable.
; 
; compilation unit finished
;   Undefined function:
;     T
;   caught 1 ERROR condition
;   caught 1 WARNING condition

Вижу, что явно ни в дугу ни в Красную армию. Ладно, дошло, что всё в одну ветку записано, переделываю на

Lisp

1
2
3

(lambda (x y)
   (cond ((< 1 (expt (+ y x) 2)) (exp (+ x y)) )
         ((and ( >=2)) (exp (expt (+ y x) 2))) (t 1)))

В этот раз пишет:

Код

;     (>=2)
; 
; caught STYLE-WARNING:
;   undefined function: >=2
; 
; compilation unit finished
;   Undefined function:
;     >=2
;   caught 1 STYLE-WARNING condition

Думаю: что это за кракозябра, >=2? Посмотрели, осознали. И т. д. и т. п.

Ничего плохого нет, чтобы спросить на форуме. Но вы могли и сами это сделать. Если вы игнорируете то, что пишет интерпретатор или компилятор, вам очень тяжко будет дебажить.

PS В лиспе не пользуются большими буквами, lambda - не исключение.

@Catstail · 07.11.2014, 12:55

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

Lisp

((lambda (x y) 
  (let* ((x+y (+ x y)) ;; x+y - допустимое имя
         (tmp (expt x+y 2))) ;; (x+y)^2
     (cond ((> 1 tmp) (exp x+y))
           ((>= tmp 2) (exp (expt x+y 2)))
           (t 1))))
 0.2
 -2)

@castorsky · 07.11.2014, 17:34

Lisp

;; racket-lang.org
(define foo
  (lambda (x y)
    (let ((condition (expt (+ x y) 2.)))
      (when (< condition 1) (exp (sqrt condition)))
      (when (>= condition 2) (exp condition))
      1)))

Не по теме:

helter, и не лень Вам иной раз такие простыни писать?

@korvin_ · 07.11.2014, 17:59

castorsky, зачем ты неправильный код повторил?

@castorsky · 07.11.2014, 18:17

ага, шлёма, так веселей

Lisp

;; racket-lang.org
(define foo
  (lambda (x y)
    (let ((condition (expt (+ x y) 2.)) (retval 1))
      (define (bar) (exp (sqrt condition)))
      (define (baz) (exp condition))
      (when (< condition 1) (set! retval (bar)))
      (when (>= condition 2) (set! retval (baz)))
      retval)))

@helter · 07.11.2014, 18:18

Не по теме:

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

helter, и не лень Вам иной раз такие простыни писать?

Хочется попонятней...

@castorsky · 07.11.2014, 18:24

Не по теме:

Понятней в книгах, тут от лени или праздности. Впрочем, оставим.

@korvin_ · 07.11.2014, 20:08

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

так веселей

Lisp

(define (foo x y)
  (let/cc return
    (let ((c (expt (+ x y) 2)))
      (when (<  c 1) (return (exp (sqrt c))))
      (when (>= c 2) (return (exp c)))
      (return 1))))

=)

@castorsky · 08.11.2014, 13:13

Неистовые продолжения

Lisp

(define foo
  (case-lambda
    [(x)
     (let/cc return
       (when (null? x) (return null))
       (when (number? x)
         (return
          (let/cc ret
            (when (< x 1) (ret (exp (sqrt x))))
            (when (>= x 2) (ret (exp x)))
            (ret 1))))
       (when (list? x)
         (return 
          (let/cc ret
            (when (list? (first x))
              (ret (append `(,(foo (first x))) (foo (rest x)))))
            (when (and (= (length x) 2) (andmap number? x))
              (ret (foo (first x) (second x))))
            (ret null))))
       (return (void)))]
    [(x y)
     (let/cc return
       (when (and (number? x) (number? y))
         (return (foo (expt (+ x y) 2))))
       (return (void)))]
    [() (void)]))

@Walimas · 09.11.2014, 09:57 **[ТС]**

Правильно сказать вот так: Ctrl+C, Ctrl+V. Например, я ввожу ваше выражение в репл (SBCL), получаю следующий результат:
Код Code
; in:
; (LAMBDA (X Y) (COND ((< 1 (EXPT # 2)) (EXP (+ X Y)) ((AND #) (EXP #)) (T 1)))) 0.2
; ((AND (>=2)) (EXP (EXPT (+ Y X) 2)))
;
; caught ERROR:
; illegal function call

; ((LAMBDA (X Y) (COND ((< 1 #) (EXP #) (# #) (T 1)))) 0.2 - 2)
; --> SB-C::%FUNCALL
; ==>
; (#<SB-C::CLAMBDA
; :%SOURCE-NAME SB-C::.ANONYMOUS.
; :%DEBUG-NAME (LAMBDA (X Y))
; :KIND NIL
; :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)>
; :WHERE-FROM

EFINED
; :VARS (X Y) {CB7F6E9}>
; 0.2 - 2)
;
; caught WARNING:
; function called with three arguments, but wants exactly two
; See also:
; The ANSI Standard, Section 3.2.2.3
;
; caught WARNING:
; The function T is undefined, and its name is reserved by ANSI CL so that even
; if it were defined later, the code doing so would not be portable.
;
; compilation unit finished
; Undefined function:
; T
; caught 1 ERROR condition
; caught 2 WARNING conditions
invalid number of arguments: 3
[Condition of type SB-INT:SIMPLE-PROGRAM-ERROR]

Уже можно смекнуть, что лямда неправильная, что t почему-то воспринимается как функция, и куда-то суют 3 аргумента вместо 2. Попробую одну лямду щёлкнуть:

Код Code

; in: LAMBDA (X Y)
; ((AND (>=2)) (EXP (EXPT (+ Y X) 2)))
;
; caught ERROR:
; illegal function call

; in: LAMBDA (X Y)
; (T 1)
;
; caught WARNING:
; The function T is undefined, and its name is reserved by ANSI CL so that even
; if it were defined later, the code doing so would not be portable.
;
; compilation unit finished
; Undefined function:
; T
; caught 1 ERROR condition
; caught 1 WARNING condition

Думаю: что это за кракозябра, >=2? Посмотрели, осознали. И т. д. и т. п.

Ничего плохого нет, чтобы спросить на форуме. Но вы могли и сами это сделать. Если вы игнорируете то, что пишет интерпретатор или компилятор, вам очень тяжко будет дебажить.

PS В лиспе не пользуются большими буквами, lambda - не исключение

helter, о как много ты написал свою функцию - это уже лишний) Мое мнение. Ладно я все понял спасибо большое!) осознал!)

@helter · 09.11.2014, 15:29

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

о как много ты написал свою функцию

Вообще-то я цитировал дебаггер. (Вздыхает.)

Сконструировать \lambda-вызов и вычислить его значение Lambda

Решение

Решение

@Walimas 2 / 2 / 1 Регистрация: 20.04.2014 Сообщений: 93
	07.11.2014, 04:12 [ТС]	3
	2) В первой ветке условие должно быть (> 1 ...): единица должна быть больше. 4) ( >=2) - это какая-то жертва войны правок. Заметьте, что нужно разделить пробелом, а то >=2 - единый символ. Мне трудно понимать. Почему именно > 1, а не < 1? там же написано задачи что (x+y)²<1, значит делаем так (< 1 (expt (+ y x) 2) посмотри на картинке примере (вы можете объясните?) P.S. Я понял, что ты вы написали, но я до конца не все понимаю. 5) - 2 (через пробел) - это минус отдельно, 2 отдельно. Число -2 надо писать без пробела. я ошибся. не заметил. нет результата=\ Такого не бывает. Какой-то результат всегда будет. Обычно при наличии ошибок появляются полезные сообщения. Не мешало бы их почитывать, да и на форум можно постить. Я не знаю как правильно сказать.=) Думаю можно так сказать нет вывода результатов или аргумент. Хз...%) Миниатюры $Сконструировать \lambda-вызов и вычислить его значение Lambda$ 0

@korvin_ 4486 / 2721 / 485 Регистрация: 28.04.2012 Сообщений: 8,589
	07.11.2014, 17:59	7
	castorsky, зачем ты неправильный код повторил? 1

@helter
	07.11.2014, 18:18 #9
	Не по теме: Сообщение от castorsky helter, и не лень Вам иной раз такие простыни писать? Хочется попонятней... 0

@castorsky
	07.11.2014, 18:24 #10
	Не по теме: Понятней в книгах, тут от лени или праздности. Впрочем, оставим. 0

@Walimas 2 / 2 / 1 Регистрация: 20.04.2014 Сообщений: 93
	09.11.2014, 09:57 [ТС]	13
	Правильно сказать вот так: Ctrl+C, Ctrl+V. Например, я ввожу ваше выражение в репл (SBCL), получаю следующий результат: Код Code ; in: ; (LAMBDA (X Y) (COND ((< 1 (EXPT # 2)) (EXP (+ X Y)) ((AND #) (EXP #)) (T 1)))) 0.2 ; ((AND (>=2)) (EXP (EXPT (+ Y X) 2))) ; ; caught ERROR: ; illegal function call ; ((LAMBDA (X Y) (COND ((< 1 #) (EXP #) (# #) (T 1)))) 0.2 - 2) ; --> SB-C::%FUNCALL ; ==> ; (#<SB-C::CLAMBDA ; :%SOURCE-NAME SB-C::.ANONYMOUS. ; :%DEBUG-NAME (LAMBDA (X Y)) ; :KIND NIL ; :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> ; :WHERE-FROM EFINED ; :VARS (X Y) {CB7F6E9}> ; 0.2 - 2) ; ; caught WARNING: ; function called with three arguments, but wants exactly two ; See also: ; The ANSI Standard, Section 3.2.2.3 ; ; caught WARNING: ; The function T is undefined, and its name is reserved by ANSI CL so that even ; if it were defined later, the code doing so would not be portable. ; ; compilation unit finished ; Undefined function: ; T ; caught 1 ERROR condition ; caught 2 WARNING conditions invalid number of arguments: 3 [Condition of type SB-INT:SIMPLE-PROGRAM-ERROR] Уже можно смекнуть, что лямда неправильная, что t почему-то воспринимается как функция, и куда-то суют 3 аргумента вместо 2. Попробую одну лямду щёлкнуть: Код Code ; in: LAMBDA (X Y) ; ((AND (>=2)) (EXP (EXPT (+ Y X) 2))) ; ; caught ERROR: ; illegal function call ; in: LAMBDA (X Y) ; (T 1) ; ; caught WARNING: ; The function T is undefined, and its name is reserved by ANSI CL so that even ; if it were defined later, the code doing so would not be portable. ; ; compilation unit finished ; Undefined function: ; T ; caught 1 ERROR condition ; caught 1 WARNING condition Думаю: что это за кракозябра, >=2? Посмотрели, осознали. И т. д. и т. п. Ничего плохого нет, чтобы спросить на форуме. Но вы могли и сами это сделать. Если вы игнорируете то, что пишет интерпретатор или компилятор, вам очень тяжко будет дебажить. PS В лиспе не пользуются большими буквами, lambda - не исключение helter, о как много ты написал свою функцию - это уже лишний) Мое мнение. Ладно я все понял спасибо большое!) осознал!) 0

@helter 4527 / 3521 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	09.11.2014, 15:29	14
	Сообщение от Walimas о как много ты написал свою функцию Вообще-то я цитировал дебаггер. (Вздыхает.) 0