0

optionオプション値 (OCaml の型、Haskell の型など)を表す数学記号またはその他の簡潔な表記法はありますMaybeか?

これは関数型プログラミングでよく見られるので、この型の簡潔な構文を見つけることを期待します。リストにはやや標準的な[]表記法があり、関数には->表記法があるなどです。

より正式なコンテキストでは、部分的な関数表記を使用できることはわかっていますが、ほとんどの場合、Some/None (または Just/Nothing) の明示的な記号ほどうまく適合しません。

理想的には、次のようなものを書きたいと思います。

This function returns #42 if the input is valid, @ otherwise.

Whereはを#42表し、 を表しますが、標準的な方法で、ほとんどの読者 (または少なくとも数学的な背景を持つ人) が簡単に理解できます。Some 42@None

4

1 に答える 1

0

そのような具体的な表記は見たことがありません。私が知っている最も近いのは、数学記号を使用して型を表現することです: α ⊕ 1. ここで ⊕ は型の直和 (素和) を表し、1 は単位型を表します。

この表記法は、圏論または型付けシステムで使用されます。

于 2012-11-22T08:29:11.543 に答える