scheme - スキーム式

Question

この質問を説明していただければ、本当にありがたいです。かなり長い間考えていましたが、解決できませんでした。私は自己学習者で、これは MIT の icampusutor サイトからの演習です。

次の各式のタイプを示します。記号 "->" を使用して "maps to" を示します。たとえば、手続き square の型は "number->number" です。次の用語を使用して、プリミティブ型のデータを説明します: 数値、ブール値、文字列。

1-(> 3 4) 
2-((lambda (x) (* x 2)) 4)
3-(lambda (a b) (+ a (if b 1 0)))

助けてくれてありがとう

Answer 1

助けを得ます：

Welcome to DrRacket, version ...
> (> 3 4)
#f
> ((lambda (x) (* x 2)) 4)
8
> (lambda (a b) (+ a (if b 1 0)))
#<procedure>

最初の式の型はブール値、2番目の式の型は数値、最後の式の型は手続きです。

手順の種類を確認するには、aとbの種類を自問してください。

<aのタイプ><bのタイプ>-><（+ ...）のタイプ>

+は常に数値を返すため、戻りタイプは数値である必要があります。

<aのタイプ><bのタイプ>->番号

次に、aとbのタイプを入力します。