racket

0熱

1答えて

PLT-Redexを使用してセマンティクスをテストするときに型付きの言葉のみを生成する

私はラケットには新しく、特にredexの使用に興味があります。私は、Pierceの型とプログラミング言語の本で見つかった型付き算術式の小さなモデルを作成しました。コードは次の要点にあります：https://gist.github.com/rodrigogribeiro/e0fd3e1e3ff017b614dcfeee9f9154e0 私が進行状況と保存のようなプロパティをテストしようとしたとき、私

-2熱

1答えて

Racket 2htdp/worldのbase10 RGBアルファチャンネルを定義します。

私は、Racket 2htdp/worldプログラムで使用しているタイルセットから画像を取得しました。私は望むタイルをつかむことができますが、背景は青のように列挙された名前ではありません。画像エディタでタイルセットを編集することなく、「中空」のピクセルを背景と同じ色にします。 RGB値を指定して画像の色を透明にする方法はありますか？

3熱

1答えて

カスタム＃％module-beginで機能を定義する方法は？

カスタム言語で生成された文字列を表示するなど、何かをしたいです。私はモジュールを作成しました。次のようなものから始めてください： (define-syntax (module-begin stx) (syntax-case stx() [(_ EXPR ...) #'(display (apply string-append (filter string? (list

0熱

1答えて

スキーム - 誰かがこの出力を私に説明できますか？これらの定義された関数で

： (define (foldr op z ls) (if (null? ls) z (op (car ls) (foldr op z (cdr ls))))) (define (snoc x y) (cons y x)) と私はこの実行すると： (foldr snoc '() (list 1 2 3)) を、私はこの出力を得る： => (((() . 3

0熱

1答えて

ラケット

と生のバイナリデータを処理する私はラケットラングに新しいですし、以前私は、次のタスクを実行する方法を把握しようとしていますC++、JavaとCのコードの行数千人を書いた：は次の形式を持つ（C uint8_t配列のような）配列を指定：最初のバイトは、「フォーマット」を示すために使用される、のはこれがそうでは0x0A、0x0Bのと可能性がありましょう。残りのデータには、NULL終端文字と整数を持

0熱

1答えて

フィルタアウトフィールド値を（未知の長さを持つリスト）

画像： (define-type Example [E1(salary number?)] [E2(salary number?) (age number?)] [E3(salary number?) (name string?)] [E4(random number?)]) は、今私は (define e1(E1 4)) (define e2(E2

0熱

1答えて

データマークがラケットで動作しない

this pageの下部の例を使用して、this Prolog codeをラケットのDatalogに移植しようとしています。 #lang datalog edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y). path(X

0熱

1答えて

ルートとして実行されていないプログラムにファイルとして書き込む方法はありますか？

私は、他のものの中でもユーザーの名前に基づいて処理するので、rootとして実行するべきではないプログラムがあります。しかし、ルートとして書き込み可能なファイルを書く必要がある可能性があります。私は何ができるのでしょうか、そうではないでしょうか、ファイルを一時ファイルに書き込んでから、(system "sudo mv /tmp/myfile /destination/myfile")です。そうすれ

0熱

1答えて

除数の量を求める

#langラケットに正の整数の除数の量を決める関数を書く必要があります。（例：6 4つの除数を有し; 1,2,3,6-）これまでのところ私は：（定義（ABを分割する）（（= 0（モジュロAB）であれば）#tを＃私はそれがN の除数の数を計算するように1及びk（間除数の数を計算するn個有していること（除数-点で最大NK）関数を記述するために、このヘルパー関数を使用する必要がF））値kまで）。

3熱

1答えて

ストラクチャのプロパティとラケットのジェネリック

ラケットには、タイプごとの情報を構造体に追加する2つのメカニズムがあるようです：genericsとpropertiesです。残念ながら、ドキュメントは、どちらが優先されるのかを示すようには見えません。ドキュメントは次のようになります。汎用インタフェースは、構造型プロパティの上位に高レベルのAPIを提供します。しかし、私がもう一方を使うべきであるときには、それは良い直感を提供してくれないようです