10
票
Accepted
おすすめのR7RS規格Scheme処理系は?
現時点で充分に R7RS の仕様を満たしていると私が認識しているのは以下の五つです。
Gauche
Sagittarius
Foment
Chibi
Picrin
それぞれについて私の感想を述べます。
Gauche
人気のある処理系で、日本語のドキュメントがあるのがありがたいです。
スクリプト言語的な利用に便利な拡張も多く持っています。
作者自身が仕事に使っていることもあって、...
10
票
Accepted
ラムダ式を利用したクロージャを利用するときの挙動について
関数呼び出しフォーム (a b c d ...) があった場合、Schemeではa, b, c, d… が一旦全て評価されてから、aの評価結果を関数として呼び出します。したがってaの位置に「関数を値とする式」を自由に書くことができます。
しかしCommon Lispでは、第一要素aは通常の意味で評価されません。これはCommon Lispが、関数と変数の名前空間を分けるLisp-...
8
票
おすすめのR7RS規格Scheme処理系は?
おすすめはGaucheです (キリッ
…と言いきれるほど他の処理系を使っていないのですが、私の知る範囲でご質問にお答えしますと:
R7RS準拠度
現時点で最も大きな非互換性はキーワードオブジェクトです。R7RSではコロンで始まる名前は
シンボルですが、Gaucheではキーワードという特別な型になります。
近い将来、キーワードをシンボルのサブタイプとすることでR7RSの上位互換となる予定です。
...
5
票
おすすめのR7RS規格Scheme処理系は?
Kawaも2.0から、JVMという環境上call/cc等サポートがほぼ不可能なものは除きますが、R7RSほぼ準拠しています。
製作者という立場から多少Sagittariusの特徴を以下に少し記述します。
SagittariusはR7RS-largeのサポートも積極的に行っていく予定です。現状で既にいくつかR7RS-largeとして決定されたライブラリがサポートされています(SRFI-111等)。...
4
票
Accepted
Chez Scheme 用ライブラリのインストール先
残念ながら現状ではデファクトな作法は特にないと思います。GitHub上にあるChez用のライブラリのリポジトリのいくつかではMakefileを提供してはいますが、どのライブラリも最終的にCHEZSCHEMELIBDIRを設定することを要求しています。
インストール用のスクリプトをChezで書くのであれば、library-...
4
票
Accepted
関数型プログラミングは、変更に柔軟ですか?
関数型プログラミングは処理の変更に、オブジェクト指向は処理の対象の変更に強いという明確な特徴があり、どこに柔軟性を持たせるかによって使い分けるのが望ましいです。
関数型プログラミングは、対象となるデータを定めるのを基本にすることが多く、対象が固定されているために関数を追加、あるいは修正しても一貫性が保たれます。例えば代数的データ型data T = A | B | Cを定義した際、...
4
票
Accepted
chicken schemeにおけるimport と useの違い。
importはモジュールのロードは行いません。既にロードもしくはリンクされているモジュールを、現在の名前空間から見えるようにするだけです。
http://wiki.call-cc.org/man/4/Modules#import
useはモジュールを(必要なら)ロードした上でimportを行います。
http://wiki.call-cc.org/man/4/Non-standard%...
2
票
ラムダ式を利用したクロージャを利用するときの挙動について
CLには、まずシンボルというものがあります。
CLのシンボルはc言語で言う構造体です。
あえてC言語風に書くとするのなら以下のような感じになります。
struct Symbol {
function FUNCTION;
macrolet MACROLET;
string NAME;
package PACKAGE;
list PLIST;
...
2
票
関数型プログラミングは、変更に柔軟ですか?
関数型言語でも、オブジェクト指向言語でも、変更に強いプログラムの作成は、可能です。
それは言語の問題ではなく、プログラマの技量の問題です。
ヘボなプログラマなら、どの言語を使おうが、変更に強いプログラムを作成するのは不可能でしょう。逆に、優秀なプログラマなら、どんな言語を使おうと、変更に強いプログラムの作成が可能でしょう。
あと、関数型言語とオブジェクト指向言語は相反するものではありません。
...
1
票
Accepted
Guile Schemeでニュートン法を実行しようとしたが、エラーが出て実行できない。
Guileにはモジュールシステムがありますが、loadした定義ファイルにモジュール指定の記述がないため、REPLのモジュールとは別のモジュールに定義されたのが原因だと思います。
定義時のモジュールと呼び出し時のモジュールを一致させるか、モジュールを指定して呼び出す必要があります。
(なお、loadでモジュールを何も指定しないと(ice-9 popen)モジュールが設定されるようです。)
...
1
票
関数型プログラミングは、変更に柔軟ですか?
プログラミング言語やスタイルの種類が、変更に柔軟かどうか直接的に繋がることはありません。
プログラムという言葉を「pro」と「gram」に分割すると「前もって」と「書く」という意味が根源的に含まれていることがわかります。
プログラムという言葉はよくコンピュータ用語で使われますが、あらかじめ実行する内容を定めた予定表や計画書のことも「プログラム」なんて言いますよね。
つまり、...
Only top scored, non community-wiki answers of a minimum length are eligible