問題タブ [rascal]

構文仕様の*andの意味に少し混乱しています。+私は次のようなものを期待しています

セミコロンで区切られて終了するステートメントのブロックを意味します。しかし、ドキュメントには次のように書かれています：

セミコロンで区切られたステートメントのブロック

一部のコードでは、そのような構文仕様によりステートメントのようなステートメント{ x = 1; x }を解析できることがわかります。なぜそうなのですか？

rascal tutor のこのページでは、マップで定義された削除関数が表示されます。

次のコード行があります。

このコードを実行すると、次のエラーが表示されます。 list[&T], int); 条件 = 削除 (シンボル) 条件 = 削除 (シンボル)"

これはrascalのバグですか、それとも何か間違っていますか? 助けてくれてありがとう。

Rascal は、機能的であると同時に必須でもあると感じています。課題をサポートします。しかし、それは純粋であるとも主張されています。だから、割り当てのような機能がシミュレートされていると思います。それでは、Rascal の命令型モデル、モナドによる Haskell 方式、または一意性による Clean 方式とは何でしょうか?