問題タブ [mit-scheme]

MIT/GNU スキーム repl で最後に評価された式の戻り値を参照するために使用されるシンボルはありますか?

例えば：

Python の使用_

Haskell の使用it

私はスキームの最終試験に向けて勉強していますが、ローカル状態のオブジェクトは常に難しいテーマでした。

これは、私の最終試験の問題で、助けが必要です。

a1 を返す 2 回目に呼び出されるのはなぜですか? 私はコードを見ていますが、n私たちが与えるものは常に 3elseです。

Berkeley OpencoursewareのCS61A (Spring 2011)とOCWのMIT 6.001のコースを読んでいます。1 つはSTk (と呼ばれる) を使用し、もう1 つは講義用のプログラミング言語として使用します。stk-simplymit-scheme

Heron のメソッドを使用して単純な平方根の手順を書きました。ファイルは sqrt.scm として保存されました

これは STk では問題なく動作します。

しかし、計画ではありません。

説明書を確認しましたが、原因がわかりませんでした。これはなぜですか？または、無視しているコードにエラーがありますか? 私はスキームとSTkの両方の初心者です。

サブ問題 b に対する元の解決策を入力したとき。SICP の演習 2.29:

次のデータでテストしました。

インタープリター (MIT/GNU スキーム) がエラーを報告しました:「cdr の最初の引数として渡されたオブジェクト 3 は正しいタイプではありません」。でも表情を消すと

次のコードを使用します。

プログラムは正常に動作し、結果を出力しました

混乱しました。誰でもこの問題を試して助けてもらえますか?

「The Little Lisper」を読み進めようとしているのですが、最初の章ですでに障害に遭遇しています。私は Emacs に比較的慣れていません (Lisp と clojure の学習への関心が高まりました)。Mit-scheme アプリをダウンロードし、Edwin で演習を行っています。

私はしようとしています：

ここで、a はアトムで、l はすでに定義されているリストです。次のエラーが表示されます。

なんで？「ヌル？」の使用に問題はありません。関数。「アトム？」と思いました。返された値がアトムかどうかをチェックする内部関数です。

どんな説明でも大歓迎です。私はまだ emacs で schema を実行するように設定していません。すべての Lisp 方言の小さな違いが私の忍耐力を試しています。

SICP contains an partially complete example of the n-queens solutions, by walking a tree of every possible queen placement in the last row, generating more possible positions in the next row to combine the results so far, filtering the possibilities to keep only ones where the newest queen is safe, and repeating recursively.

This strategy blows up after about n=11 with a maximum recursion error.

I've implemented an alternate strategy that does a smarter tree-walk from the first column, generating possible positions from a list of unused rows, consing each position-list onto an updated list of yet-unused rows. Filtering those pairs considered safe, and recursively mapping over these pairs for the next column. This doesn't blow up (so far) but n=12 takes a minute and n=13 takes about 10 minutes to solve.

Not really looking for code, but a simple explanation of a strategy or two that's less naive and that clicks well with a functional approach.