Miranda，一种编程语言，采用惰性求值的纯粹函数编程语言，由英国学者大卫·特纳（David Turner）所设计。采用来自ML语言与Hope语言的概念，他用此来作为他先前所设计的SASL语言与KRC语言的后继者。稍后发展出的Haskell，采用了很多由Miranda所发展出的概念。

Miranda IM是一款支持多种协议的即时聊天客户端程序，高效便捷，无需安装即可使用，而且占用内存更少。特别适合经常在不同机器上聊天的用户，可以把Miranda IM拷贝到闪存上随处聊。超强的插件系统让MirandaIM获得极高的扩展性，软件本身只内置了最常用的通讯功能，其余强大特性可随时通过网站上提供的数百个插件扩展获取。安装插件后MirandaIM可以支持QQ，ICQ，AIM，MSN，Jabber， 雅虎，Gadu-Gadu，Tlen，Netsend等等国际流行聊天工具。