Мира́нда (Уран V) — самый близкий и наименьший из пяти крупных спутников Урана. Открыт в 1948 году Джерардом Койпером и названа в честь Миранды из пьесы У. Шекспира «Буря». Этот спутник был исследован с близкого расстояния лишь одним космическим аппаратом — «Вояджером-2», изучавшим систему Урана в январе 1986 года. С Мирандой он сблизился теснее, чем с другими спутниками Урана, и поэтому заснял её детальнее. Но удалось изучить только южное полушарие, потому что северное было погружено во тьму.
Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML, преподаётся во многих университетах. Функциональные объекты строятся с помощью карринга (частичного применения) существующих функций. Обладает ленивой семантикой. Программа представляет собой множество определений.
Подробнее: Миранда (язык программирования)