typed-racket

2熱

1答えて

takeをflattenの出力に呼び出そうとしています。問題は、takeはaのリストを必要としますが、flattenはAnyのリストを返します。それらの間で変換する方法はありますか？あるいは私が取るべき別のアプローチ？私はRacket Docsで例を見つけることができませんでした。 (: extend (All (a) (-> (Listof a) Integer (Listof a))))

0熱

1答えて

ベクタークロスプロダクトのタイプミスマッチ

ベクタークロスプロダクトをタイプ/ラケットで行う必要があります。次のコードは、型の注釈なしで#lang racketで正常に動作します。 reference #lang typed/racket (: cross-product (-> VectorTop VectorTop VectorTop)) (define (cross-product X Y) (: len Intege

2熱

1答えて

型付きラケットオプティマイザ

私は、現時点では、いくつかの型指定されたラケットを学んでいると私はやや哲学的ジレンマを持っている：ラケットは、言語の開発フレームワークであることを主張し、型指定されたラケットは、その上に実装されそのような言語です。ドキュメントでは、型の使用により、コンパイラはより良い/より良い最適化を行うことができると述べています。具体的な質問：これらの最適化はどこで行われますか？コンパイルにおいて 1）/

3熱

2答えて

型付きラケットにprop：手続きを適用できません

型付きラケットに構造体を定義するとき、私はもはやprop:procedureを使用できません。通常のラケットでは、私のような何かを行うことができます。 (struct profile-unit (a t c g) #:property prop:procedure (thunk* 12)) (define t (profile-unit .1 .1 .2 .6)) (t) > 1

2熱

1答えて

多型ユニオン型の出現型

次の型指定されていないコードを型付きのラケットに変換したいとします。これらの関数は、SICPに触発され、純粋に関数からデータ構造を構築する方法を示しています。 (define (make-pair x y) (lambda (c) (cond ((= c 1) x) ((= c 2) y) (error "error in input

0熱

2答えて

どのように入力された/ラケットでこの機能を持っている場合は値が特定のタイプ

になることを「約束」へ： (: random-if-empty (-> (U Image-Color "empty") Image-Color)) (define (random-if-empty s) (cond [(equal? s "empty") (random-color)] [else s])) それの入力が"empty"の場合はランダムな色を返し、

1熱

1答えて

残りの引数を持つ型付きラケットのZip関数

任意の数のリストを一緒にジップする関数の構文に苦しんでいます。私は現在持っている：評価を次のエラーが発生 (define (zip . [lsts : (Listof Any) *]) (apply map (inst list Any) lsts)) ：これら以来 Error: struct:exn:fail:syntax /Applications/Racket v6.6/collects/r

1熱

1答えて

どのようにAny型の値をRealに変換するのですか？

私は、Racket-Stampsで遊んでいます。これは、タイプされたRacketと通常のRacketを組み合わせたものです。 (define bounding (make-parameter '())) ;; snip (when (not (empty? (bounding))) (let-values ([(x1 y1 x2 y2) (apply values (boundi

-1熱

1答えて

型付きラケットでオーバーライド

型付きラケットから型付けされていないラケットにクラスをオーバーライドしたい場合は可能ですか？可能であれば、以下のタイプのラケットクラスを型なしのラケットクラスにオーバーライドする方法を教えてもらえれば、とても感謝します。私はテキストを "これはフレームです"から "これはフレームではありません"に置き換えます。注：テキストを置き換える他のオプションがある場合は教えてください。あなたの型指定された

0熱

1答えて

typedracketのツリーへのリスト

整数のリストをツリーに変換しようとしています。次は私の関数定義されている：私は自宅から勉強 (define-struct (Some T) ([value : T])) (define-type (Option T) (U 'None (Some T))) (define-type BST (U 'E Nd)) (define-struct Nd ([r