ラケット：しかし、私はそれは私にエラーを与えるしかし機能「車」と「CDR」</p> <pre><code>(require (typed-in racket (car : (pair -> any/c)) (cdr : (pair -> any/c)))) </code></pre> <p>を使用したい、私はプラーイ型付けされた言語でプログラムを作ってるんだ

Question

ペアタイプの機能を必要としますペア：不良タイプ

これはなぜですか？ドキュメントでは、両方の関数の入力がペアになっているので、 'pair'の代わりに 'type'と入力してください。

私は私はあなたが次に(... * ...)

(require (typed-in racket 
        (car : (('a * 'b) -> 'a)) 
        (cdr : (('a * 'b) -> 'b)) 
        (cons : ('a 'b -> ('a * 'b))))) 

をしたいと思いますしかし、どれも仕事

Answer 1

'をペア' 'ペア' 'ペア' 'ペア' と入力してみました：

> (cons 1 2) 
- (number * number) 
'(1 . 2) 
> (car (cons 1 2)) 
- number 
1 

有効なタイプがありますhttps://docs.racket-lang.org/plai-typed/index.html#%28part._.Types%29に記載されています。 any/cまたはpairは無効です。

pair,fst,sndがplai-typedにあることにも注意してください。