出典: フリー百科事典『ウィキペディア（Wikipedia）』
この項目では、プログラミング言語について説明しています。インスタントメッセンジャーについては「Miranda_IM 」を、カメラメーカー・ブランドについては「ミランダカメラ 」を、その他の用法については「ミランダ 」をご覧ください。
この記事は検証可能 な参考文献や出典 が全く示されていないか、不十分です。 出典を追加 して記事の信頼性向上にご協力ください。（このテンプレートの使い方 ） 出典検索? "Miranda" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL （2020年6月
M i r a n d a は 、 遅 延 評 価 方 式 の 純 粋 関 数 型 プ ロ グ ラ ミ ン グ 言 語 で あ る 。 作 者 デ ビ ッ ド ・ タ ー ナ ー ︵ D a v i d T u r n e r ︶ に よ る 以 前 の 言 語 S A S L や K R C の 後 継 で も あ り 、 ま た ML や H o p e の 影 響 も 受 け て い る 。 イ ギ リ ス の リ サ ー チ ・ ソ フ ト ウ ェ ア 社 ︵ R e s e a r c h S o f t w a r e L t d . ︶ が 販 売 し て お り 、 同 社 の 商 標 で も あ る 。 研 究 目 的 で は な い 商 用 を 目 指 し た 最 初 の 純 粋 関 数 型 言 語 で あ っ た 。
よ く あ る 例 題 を 解 く プ ロ グ ラ ム に 関 し て 言 え ば 、 M i r a n d a の コ ー ド は ︵ A P L な ど を 別 と す れ ば ︶ ほ と ん ど の 主 流 の プ ロ グ ラ ミ ン グ 言 語 よ り も 簡 単 で 短 く 表 現 で き 、 他 の 関 数 型 言 語 と 同 様 、 信 頼 性 の 高 い プ ロ グ ラ ム の 開 発 が 命 令 型 言 語 に 比 べ て 短 期 間 で 可 能 に な っ た と い う 報 告 が あ る 。
1 9 8 5 年 に 登 場 し た 。 処 理 系 の 実 装 と し て は U n i x 系 向 け の C 言 語 で 実 装 さ れ た も の の み が あ る 。 後 発 の H a s k e l l は 多 く の 面 で M i r a n d a の 影 響 を 受 け て い る 。
M i r a n d a は 遅 延 評 価 の 純 粋 関 数 型 言 語 で あ り 、 副 作 用 が な く 、 命 令 型 プ ロ グ ラ ミ ン グ 機 能 は 存 在 し な い 。
具 象 構 文 の 最 も 大 き い 特 徴 と し て は 、 オ フ サ イ ド ル ー ル を 採 用 し て い る 。
| | か ら そ の 行 の 終 わ り ま で が コ メ ン ト と し て 扱 わ れ る 。 別 の コ メ ン ト 記 法 は ﹁ 文 芸 的 プ ロ グ ラ ミ ン グ ﹂ 的 な も の で 、 行 の 先 頭 に > が な い 行 は 全 て コ メ ン ト と し て 扱 わ れ る 。
M i r a n d a の 基 本 デ ー タ 型 は c h a r 、 n u m 、 b o o l で あ る 。 文 字 列 は c h a r の リ ス ト で あ り 、 n u m は 内 部 的 に は 2 種 類 の 形 式 が あ っ て 、 自 動 的 に 変 換 さ れ る ︵ 多 倍 長 整 数 が デ フ ォ ル ト で 使 わ れ 、 必 要 に 応 じ て 浮 動 小 数 点 数 が 使 わ れ る ︶ 。
タ プ ル は 様 々 な 型 の デ ー タ の 羅 列 で あ り 、 抽 象 的 な 観 点 か ら は 直 積 型 で あ る 。
this_employee = ("Folland, Mary", 10560, False, 35)
リ ス ト も あ る 。 角 括 弧 で 表 さ れ 、 各 要 素 は カ ン マ で 区 切 ら れ る 。 全 要 素 は 同 じ 型 で な け れ ば な ら な い 。
week_days = ["Mon","Tue","Wed","Thur","Fri"]
リ ス ト の 連 結 は + + 、 差 分 は - - 、 要 素 追 加 は : 、 サ イ ズ ︵ 要 素 数 ︶ は # 、 イ ン デ ッ ク ス 指 定 は ! で あ る 。 以 下 に 使 用 例 を 挙 げ る 。
days = week_days ++ ["Sat","Sun"]
days = "Nil":days
days!0
→ "Nil"
days = days -- ["Nil"]
#days
→ 7
そ の 他 に も リ ス ト 構 築 の シ ョ ー ト カ ッ ト が あ る 。 . . は 要 素 が 数 列 の 場 合 に 利 用 可 能 で 、 1 ず つ 増 加 す る 数 列 以 外 も 指 定 可 能 で あ る 。
fac n = product [1..n]
odd_sum = sum [1,3..100]
さ ら に 強 力 な リ ス ト 構 築 機 能 と し て ﹁ リ ス ト 内 包 表 記 ﹂ ︵ ZF 記 法 と も 呼 ば れ て い た [ 2 ] ︶ が あ り 、 2 種 類 の 形 式 が あ る 。 式 を 項 の 列 に 適 用 す る 形 式 は 以 下 の よ う に な る 。
squares = [ n * n | n <- [1..] ]
こ の 意 味 は 、 n の 自 乗 の リ ス ト で 、 n は 全 て の 正 の 整 数 の リ ス ト か ら 取 ら れ る 。 ま た 、 あ る 項 が そ の 1 つ 前 の 項 の 関 数 か ら 得 ら れ る 形 式 は 以 下 の よ う に な る 。
powers_of_2 = [ n | n <- 1, 2*n .. ]
こ れ は 、 2 の べ き 乗 の リ ス ト で あ る 。 こ れ ら の 例 か ら 分 か る よ う に 、 M i r a n d a で は 無 限 の リ ス ト を 表 現 可 能 で あ る 。 た と え ば ご く 単 純 な 無 限 の リ ス ト の 例 と し て 、 全 て の 正 の 整 数 の リ ス ト [ 1 . . ] が あ る 。
さ ら に ︵ こ れ は H a s k e l l に は 無 い 機 能 の た め 、 M i r a n d a の 特 色 と 言 え る が ︶ 、 / / と い う 記 号 を 使 う d i a g o n a l i s i n g l i s t c o m p r e h e n s i o n s ︵ 対 角 化 リ ス ト 内 包 表 記 ︶ に よ り 、 [ 1 . . ] と い う よ う な 無 限 の リ ス ト 2 つ か ら 、 [ ( 1 , 1 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 1 , 3 ) , ( 2 , 2 ) , ( 3 , 1 ) , . . ] と い う よ う な そ れ ら を 合 成 し た リ ス ト を 作 る こ と が で き る ︵ 普 通 の 内 包 表 記 で 普 通 に 作 ろ う と す る と 、 片 方 の リ ス ト を 辿 り 続 け て し ま い 、 も う 片 方 の リ ス ト を 辿 る こ と を し な い た め 、 う ま く で き な い ︶ 。 [ ( x , y ) / / x < - [ 1 . . ] ; y < - [ 1 . . ] ] と い う よ う に 書 く 。 [ 3 ] 関 数 へ の 実 引 数 の 適 用 は s i n x の よ う に 、 単 に 関 数 に 実 引 数 を 続 け る 。
M i r a n d a は 他 の 純 粋 関 数 型 言 語 と 同 様 、 関 数 を 引 数 と し て 他 の 関 数 に 渡 し た り 、 関 数 の 結 果 と し て 関 数 を 返 し た り 、 デ ー タ 構 造 に 要 素 と し て 関 数 を 含 む と い っ た こ と が 可 能 で あ る 。 ま た 、 関 数 は 全 て 1 引 数 に カ リ ー 化 さ れ て い る も の と 見 る こ と も で き 、 実 引 数 の 数 が 足 り て い な い 適 用 は 部 分 適 用 と な る ︵ 注 意 : し ば し ば 混 同 さ れ る が 、 ﹁ カ リ ー 化 ﹂ と ﹁ 部 分 適 用 ﹂ は 違 う も の で あ る ︶ 。 例 え ば 次 の よ う に な る 。
add a b = a + b
increment = add 1
こ の 場 合 、 i n c r e m e n t は 自 身 の 引 数 に 1 を 加 算 す る 。 実 際 、 a d d 4 7 は 2 つ の 引 数 を と る 関 数 a d d だ が 、 こ れ も 実 際 に は 単 一 引 数 7 に 4 を 加 算 す る 関 数 と も 解 釈 で き る 。
2 つ の 引 数 を と る 関 数 を 中 置 演 算 子 に す る こ と が で き る 。 例 え ば 、 上 記 の a d d 関 数 で は 、 $ a d d と い う 項 を + 演 算 子 と 同 じ よ う に 使 う こ と が で き る 。 逆 に 2 つ の 引 数 に 作 用 す る 中 置 演 算 子 を 関 数 に 変 換 す る こ と も で き る 。 従 っ て 、 次 の よ う に な る 。
increment = (+) 1
こ れ は 、 引 数 に 1 を 足 す 関 数 を 記 述 す る 一 番 単 純 な 方 法 で あ る 。 同 様 に
half = (/ 2)
reciprocal = (1 /)
と い っ た 単 一 引 数 関 数 を 作 成 で き る 。 こ の 場 合 、 イ ン タ プ リ タ は 除 算 の ど ち ら の 引 数 が 関 数 の 引 数 と し て 供 給 さ れ る の か を 理 解 し て お り 、 引 数 を 2 で 割 る 関 数 や 1 を 引 数 で 割 る 関 数 が 得 ら れ る 。
M i r a n d a は 強 い 型 付 け を す る 言 語 だ が 、 記 述 上 は 明 確 な 型 の 宣 言 を 必 ず し も 要 し な い 。 関 数 の 型 が 明 示 さ れ な い 場 合 、 イ ン タ プ リ タ は 引 数 の 型 や 引 数 の 使 わ れ 方 か ら 型 推 論 を 行 う 。 例 え ば リ ス ト 逆 転 関 数 な ど で は 、 基 本 デ ー タ 型 ︵ c h a r , n u m , b o o l ︶ に 加 え て 、 引 数 の 型 を 問 題 と し な い a n y t h i n g 型 が あ る 。
rev [] = []
rev (a:x) = rev x ++ [a ]
こ れ は 、 任 意 の デ ー タ 型 の リ ス ト に 適 用 可 能 で あ る 。 こ れ を 明 示 的 に 関 数 型 を 宣 言 す る な ら 、 次 の よ う に な る 。
rev :: [*] -> [*]
モ ジ ュ ー ル 機 構 に よ る 名 前 空 間 の 分 離 機 構 も あ る 。 モ ジ ュ ー ル 外 か ら 内 部 の 名 前 が 見 え な い よ う に で き る 。
コ ー ド 例 [ 編 集 ] 以 下 の M i r a n d a の ス ク リ プ ト は 、 数 の 集 合 に つ い て 、 全 て の 部 分 集 合 を 求 め る 関 数 で あ る 。
subsets [] = [[]]
subsets (x:xs) = [[x ] ++ y | y <- ys] ++ ys
where ys = subsets xs
以 下 は 文 芸 的 な 記 法 で 、 全 て の 素 数 の リ ス ト を 与 え る 関 数 p r i m e s を 定 義 し て い る 。
> || The infinite list of all prime numbers, by the sieve of Eratosthenes.
The list of potential prime numbers starts as all integers from 2 onwards;
as each prime is returned, all the following numbers that can exactly be
divided by it are filtered out of the list of candidates.
> primes = sieve [2..]
> sieve (p:x) = p : sieve [n | n <- x; n mod p ~= 0]
^ 出典URL: https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads/ , 閲覧日: 2024年5月17日, 題名: Miranda download page
^ ZFはツェルメロ・フレンケル の意
^ https://www.cs.kent.ac.uk/people/staff/dat/miranda/manual/13/3.html
外部リンク [ 編集 ] 
