翻訳と辞書
Words near each other
・ minus
・ minus infinity
・ mips
・ mips project
・ mips r2000
・ mips r2010
・ mips r3000
・ mips r4000
・ mips technologies, inc.
・ miracula
・ miranda
・ mirfac
・ mirror
・ mirror site
・ mirroring
・ mis
・ mis director
・ misbug
・ misfeature
・ mishap


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Miranda : FOLDOC
Miranda
(From the Latin for "admirable", also the heroine of Shakespeare's "Tempest") A lazy purely functional programming language and interpreter designed by David Turner of the University of Kent in the early 1980s and implemented as a product of his company, {Research Software Limited}. Miranda combines the main features of KRC and SASL with strong typing similar to that of ML.
It features terse syntax using the off-side rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. It has nested pattern matching, {list comprehensions} and modules. It uses {operator sections} rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by {laws}.
It is implemented using {SKI combinator} reduction. Originally implemented for Unix, there are versions for most UNIX-li


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.