#パターンに#u8(...)をリテラルとして許すことはできますが、その中にパターン変数は書けないんですよね。#u8(a b c)というのはread時にエラーになっちゃう
#パターンを新設する必要がありますね。それか既存のパターンにかぶせるか（例えば ($ <u8vector> a b c) とか）。
#コンストラクタがパターンマッチにできる言語だと綺麗なんですが、Schemeだとコンストラクタと普通の手続き呼び出しの区別がないからな… ($ <u8vector> ...) はいけそうな感じがしますね。
#$ をコンストラクタパターンだと思えば自然な拡張になるかと思ったんですが、現状でもレコード以外のオブジェクトにスロット順でマッチなんですね。ユーザ定義でuvectorのようなクラスを作って
#<u8vector>とかはスロット無いんでバッティングしないだろうと思ったんだけど将来的に不定長要素＋スロットを持つハイブリッドな何かが出てきた時困るか
#途中で送信してしまった。uvectorのようなクラスを作ったらuvectorとしての中身を取り出したいときととスロットで取り出したいときで衝突してしまいますね。@ パターンで回避はできますが
#はい。
#欲を言えばユーザ定義も可能なコンストラクタパターンみたいなものがあるとよさそうなんですが、それはちょっと大きな工事になりそうです。
#安直に記号を増やすなら ($$ <u8vector> ...) とか… (コンストラクタではなく)クラス名を使うメリットは ($$ <sequence> ...) のようにジェネリックなマッチもできる
#そうですね。コンストラクタと言いつつ、メソッドでexpanderを引っ張ってくるようなものを考えていました。
Gauche > Archives > 2019/10/26